Lógica para computación.
Guardado en:
| 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:
- Contenido: Sintáxis del lenguaje formal. Semántica del lenguaje formal. Deducción, noción de modelo, inconsistencia, arboles, teorema de finitud. Escritura booleana del cálculo proposicional: algebra de Boole de Lindenbaum. El lenguaje del calculo de predicados. Rudimentos de la teoría.