The Mathematics Of Logic A Guide To Completeness Theorems An

Descripción

LIBROS
-----------------------------------------------------------------------------
---------------------- TIEMPOS DE ENVÍO ------------------------
--------------------------- DE 4 A 8 DÍAS ---------------------------
---------- HÁBILES A CIUDADES PRINCIPALES -----------
-----------------------------------------------------------------------------


--TITULO--
Las matemáticas de la lógica una guía para los teoremas de integridad y sus aplicaciones

--TITULO--
The Mathematics of Logic A Guide to Completeness Theorems and their Applications


--DESCRIPCIÓN LARGA--
Revisión Kaye (matemáticas puras, U de Birmingham) ofrece a los estudiantes graduados de primer y primer año los materiales clave para un primer curso de lógica, incluido un informe matemático completo del Teorema de integridad para la lógica de primer orden A medida que construye una serie de sistemas aumentando la complejidad, y probando y discutiendo el Teorema de integridad para cada uno, Kaye mantiene la terminología desconocida al mínimo y proporciona pruebas de todos los resultados teóricos del conjunto requerido Cubre el Lema de K y lt; o y gt; nig (incluidas dos formas de ver las matemáticas) , posets y elementos máximos (incluido el orden), sistemas formales (incluidos sistemas de correos y compatibilidad como bonificaciones), deducción en los posets (incluidas las declaraciones de prueba sobre un poset), álgebras booleanas, lógica proposicional (incluido un sistema para la prueba de las proposiciones), valoraciones (incluyendo semántica para lógica proposicional), filtros e ideales (incluida la teoría algebraica de álgebras booleanas), lógica de primer orden, integridad y compacidad, teoría de modelos (incluyendo modelos contables) y análisis no estándar (incluyendo números infinitesimales) Book News Book Description Libro de texto de pregrado que cubre el material clave para un primer curso típico en lógica, que incluye una explicación matemática del resultado más importante en lógica, el Teorema de integridad para la lógica de primer orden El autor se asegura de que la cantidad de conceptos nuevos en cada etapa sea manejable, al tiempo que brinda aplicaciones matemáticas vivas en todo momento Ver Comentarios editoriales

Peso del Producto: 1 Libra