Apuntes y problemas de lógica matemática /
Gallinari Biraghi, Alessandra.
Apuntes y problemas de lógica matemática / Alessandra Gallinari Biraghi - 1ª Ed., 1ª reimp. - 274 páginas : gráficas ; 24 cm.
Factura Educativa
Introducción -- Algunas nociones de teoría de conjuntos, relaciones y funciones -- Lógica de proposiciones -- Sintaxis de la lógica proposicional -- Semántica de la lógica proposicional. Teoría interpretativa -- Teoría de la demostración y sistema de educación natural de Gentzen -- Problemas de repaso sobre lógica proposicional resueltos -- Lógica de predicados de primer orden -- Sintaxis de la lógica de primer orden -- Semántica de la lógica de primer orden. Teoría interpretativa -- Teoría de la demostración y sistema de deducción natural de Gentzen -- Problemas de repaso resueltos -- El sistema de Kleene.
9788498494754
MATEMATICAS PURAS
CALCULO PROPOSICIONAL Y PREDICADOS
510 / G1372 2009
Apuntes y problemas de lógica matemática / Alessandra Gallinari Biraghi - 1ª Ed., 1ª reimp. - 274 páginas : gráficas ; 24 cm.
Factura Educativa
Introducción -- Algunas nociones de teoría de conjuntos, relaciones y funciones -- Lógica de proposiciones -- Sintaxis de la lógica proposicional -- Semántica de la lógica proposicional. Teoría interpretativa -- Teoría de la demostración y sistema de educación natural de Gentzen -- Problemas de repaso sobre lógica proposicional resueltos -- Lógica de predicados de primer orden -- Sintaxis de la lógica de primer orden -- Semántica de la lógica de primer orden. Teoría interpretativa -- Teoría de la demostración y sistema de deducción natural de Gentzen -- Problemas de repaso resueltos -- El sistema de Kleene.
9788498494754
MATEMATICAS PURAS
CALCULO PROPOSICIONAL Y PREDICADOS
510 / G1372 2009
