Lógica matemática
España peninsular
En el presente libro se expone de modo sistemático una serie de apartados de la lógica matemática moderna y de la teoría de los algoritmos. El libro puede usarse como manual de lógica matemática en las universidades y también como material ...
Leer más...- ISBN13 9785884170773
- ISBN10 5884170777
- Tipo LIBRO
- Páginas 280
Materias
MatemáticasLógica matemática
En el presente libro se expone de modo sistemático una serie de apartados de la lógica matemática moderna y de la teoría de los algoritmos. El libro puede usarse como manual de lógica matemática en las universidades y también como material ...
España peninsular
Detalles del libro
En el presente libro se expone de modo sistemático una serie de apartados de la lógica matemática moderna y de la teoría de los algoritmos. El libro puede usarse como manual de lógica matemática en las universidades y también como material didáctico en la lectura de cursos especializados.
Prefacio
Introducción
Capítulo 1. Cálculo de las proposiciones.
Capítulo 2. Teoría de los conjuntos.
Capítulo 3. Veracidad en los sistemas algebraicos.
Capítulo 4. Cálculo de los predicados.
Capítulo 5. Teoría de los modelos.
Capítulo 6. Teoría de las demostraciones.
Capítulo 7. Algoritmos y funciones recursivas.