1. Abstracción
1.1. Extracción de características relevantes de un problema.
1.2. Definir estandares de problemas
1.3. Sinónimo de simplificación.
1.3.1. Remplazar un modelo complejo y detallado, por uno entendible y manipulable.
1.4. Eejemplos
1.4.1. Cuando dejamos caer un objeto de un globo, nos limitamos a omitar factores irrelevantes en la caida del mismo, y nos quedamos con lo más relevante: v=gt, ó , d= 1/2 gt^2
1.4.2. Para leer un libro en otro idioma, necesitamos extraer las ideas principales para la comprensión del mismo.
2. Teoría
2.1. Método axiomático (griegos)
2.2. Criterios formales del conocimiento
3. Gestión del Conocimiento (ligado a la abstracción).
3.1. Luego de abstraer, debemos representar los factores relevantes, para manipularlos.
3.2. Puede hacer doble clic o arrastrar y soltar el lienzo
3.3. Formas
3.3.1. Lógica Propocicional
3.3.1.1. F=(A.~B)+(~A+B)
3.3.1.2. Relaciones
3.3.1.3. scripts
3.3.1.4. Lógica de predicados
3.3.1.4.1. Inferir información manipulando hechos
3.3.1.5. Redes semánticas
3.3.2. Estructuras de datos básicas
3.3.2.1. Lista
3.3.2.1.1. Colección de elementos (Nodos)
3.3.2.2. Pila
3.3.2.2.1. Lista a la cual se puede adicionar o eliminar elementos solo por un extremo
3.3.2.3. Cola
3.3.2.3.1. Lista a la cual se puede adicionar o eliminar elementos por los dos extremos
3.3.2.4. Grafo
3.3.2.4.1. Representar relaciones arbitrarias entre elementos de una colección
3.3.2.5. Árbol
3.3.2.5.1. Estructura jerárquica de elementos
3.3.3. Lógica en computación
3.3.3.1. Lenguaje sintáctico y semántica, para definir objetos matemáticos
3.3.3.1.1. Bases de datos
3.3.3.1.2. Inteligencia artificial
3.3.3.1.3. Ingeniería de software
3.3.3.1.4. Criptografía