Versión en PDF
(250Kb)
Next:
Indice
 
Contents
Informática y matemáticas
1
.
Ernesto García Camarero
2
11 diciembre 2000
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