Lógica para computación / Francisco S. Naishtat.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 9502302826
- 21 005.131
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|
![]() |
Biblioteca Manuel Belgrano Depósito | D 005.131 N 55308 (Navegar estantería(Abre debajo)) | Disponible | 55308 |
Bibliografía: p. 293-300.
Prefacio -- Apéndice sobre la teoría de conjuntos -- Pte.1. Cálculo de proposiciones. Introducción -- 1. Sintaxis del lenguaje formal -- 2. Semántica del lenguaje formal -- 3. Deducción, noción de modelo, inconsistencia, árboles, teoría de finitud -- 4. Escritura booleana del cálculo proposicional: álgebra de Boole de Lindenbaum -- 5. El lenguaje de cálculo de predicados -- 6. Rudimentos de la teoría de modelos -- Bibliografía.
Donación Lic. Carlos Pérez Mackeprang
No hay comentarios en este titulo.