| Título: | Lógica para computación |
| Autores: | Francisco S. Naishtat |
| Tipo de documento: | texto impreso |
| Editorial: | Buenos Aires : Editorial Universitaria de Buenos Aires (EUDEBA), 1986 |
| Colección: | Informática y Computación |
| ISBN/ISSN/DL: | 950-23-0282-6 |
| Dimensiones: | xx, 300 p. / 24 cm. |
| Langues: | Español |
| Clasificación: | 164 (Logística. Lógica simbólica. Lógica matemática. Cálculo lógico ) |
| Materias: | Informática | Lógica | Lógica matemática |
| Nota de contenido: | 1. Sintaxis del lenguaje formal; 2. Semantica del lenguaje formal; 3. Deducción, noción de modelo, inconsistencia, arboles, teorema de finitud; 4. Estritura booleana del cálculo proposicional: algebra de boole de Lindenbaum; 5. El lenguaje del cálculo de predicados; 6. Rudimentos de la teoría de modelos; |
Ejemplares (1)
| Pedir por | Ubicación | Estado |
|---|---|---|
| 164 N155 | Biblioteca Central | Disponible |
