Lógica para computación / Francisco S. Naishtat.
Tipo de material: TextoSeries Colección Informática y computaciónDetalles de publicación: Buenos Aires : Eudeba, 2017Descripción: xx, 300 pISBN:- 9502302826
- 21 005.131
Contenidos:
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.
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|
Libro | 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.