El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
|a Lógica para computación /
|c Francisco S. Naishtat.
260
|a Buenos Aires :
|b Eudeba,
|c 2017
300
|a xx, 300 p.
490
0
|a Colección Informática y computación
504
|a Bibliografía: p. 293-300.
505
0
|a 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.