Lógica para computación /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Buenos Aires :
Eudeba,
1986
|
| Colección: | Informática y computación
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- PRIMERA PARTE. CALCULO DE PROPOSICIONES. Capítulo I. Sintaxis del lenguaje formal. Capítulo II. Semántica del lenguaje formal. Capítulo III. Deducción, noción de modelo, inconsistencia, arboles, teorema de finitud. Capítulo IV. Escritura booleana del cálculo proposicional : algebra de Boole de Lindenbaum. Capítulo V. El lenguaje del cálculo de predicados. Capítulo VI. Rudimentos de la teoría de modelos.