Una introducción amigable a la lógica matemática

En la intersección de las matemáticas, la informática y la filosofía, la lógica matemática examina el poder y las limitaciones del pensamiento matemático formal. En esta ampliación de la 1ª edición de Leary, de fácil uso, se introduce a los lectores sin estudios previos en el campo a los fundamentos de la teoría de modelos, la teoría de la prueba y la teoría de la computabilidad. El texto está diseñado para ser utilizado tanto en un aula universitaria de nivel superior como para el autoaprendizaje. Actualizando el tratamiento de lenguajes, estructuras y deducciones de la 1ª edición, lo que lleva a pruebas rigurosas de los Primer y Segundo Teoremas de Incompletitud de G del, la 2ª edición ampliada incluye una nueva introducción a la incompletitud a través de la computabilidad, así como soluciones a ejercicios seleccionados.

Autor: Christopher C. Leary, Lars Kristiansen
Editorial: Milne Library
Publicado: 23/01/2019
Páginas: 380
Tipo de encuadernación: Tapa blanda
Peso: 1.22lbs
Tamaño: 9.00h x 6.00w x 0.85d
ISBN13: 9781942341079
ISBN10: 1942341075
Categorías BISAC:
- Matemáticas | Lógica
- Educación | General
- Informática | Programación | General

Este título no es retornable