E n c i c l o p e d i a
de Conocimientos Fundamentales
UNAM ˜ SIGLO XXI
TEMA 5
ABSTRACCION
5.1 ABSTRACCIÓN
5.1.1 Los inicios: sentido de número y contar
5.1.2 Abstracción: el camino del conocimiento
5.1.3 Abstracción en computación
Abstracción para construcción
Abstracción para análisis
5.2 MODELOS DE CÓMPUTO
5.2.1 Máquinas de estados finitos
Los autómatas finitos no lo pueden todo
Cajas negras en la vida real
5.2.2 La geometría plana, un modelo de cómputo restringido
5.2.3 Modelos de computadoras
La máquina de Turing
Otros modelos de computadoras
5.2.4 Tesis de Church-Turing
5.3 LÓGICA
5.3.1 El sueño de Leibniz
5.3.2 Un problema fundamental
5.3.3 La limitación inherente de las matemáticas
5.3.4 Álgebra booleana
5.3.5 Lógica de primer orden
5.3.6 Lógica y conocimiento
5.4 ANÁLISIS DE PROBLEMAS
5.4.1 En el banco
5.4.2 La visión del computólogo
5.4.3 Abstracción en programación
5.5 RESUMEN
