Next:
Introducción
Up:
Informática y matemáticas
1
.
Previous:
Informática y matemáticas
1
.
Indice
Introducción
La matemática como cálculo.
El cálculo geométrico
El cálculo aritmético
El álgebra y los algoritmos.
El cálculo de proposiciones.
Las leyes del pensamiento.
Los circuitos lógicos
La formalización como cálculo.
Lenguajes formales
Sistemas formales
Calculabilidad
Funciones recursivas
Maquinas de Turing.
Conclusión: Las máquinas automáticas
About this document ...
Miquel 2001-03-13