Apuntes y problemas de lógica matemática / Alessandra Gallinari Biraghi
Editor: España : Dykinson , 2009Edición: 1ª Ed., 1ª reimpDescripción: 274 páginas : gráficas ; 24 cmTipo de contenido:- texto
- no mediado
- volumen
- 9788498494754
- 510 G1372 2009
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
![]() |
Sede Santo Domingo Sala general | Col General | 510 G1372 2009 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | SDO004698 | ||
![]() |
Sede Santo Domingo Sala general | Col General | 510 G1372 2009 (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | SDO004699 | ||
![]() |
Sede Santo Domingo Sala general | Col General | 510 G1372 2009 (Navegar estantería(Abre debajo)) | Ej.3 | Disponible | SDO004700 |
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.
Administración de Empresas, Contabilidad y Auditoría, Arquitectura, Tecnologías de la Información, Ingeniería Civil, Sistemas de la Información
NR
No hay comentarios en este titulo.