Lógica y lenguajes formales 2 : Sistemas de primer orden y deducción /
"Para un lector con una información mínima en lenguajes y conjuntos, este nuevo texto es prácticamente autosuficiente. De hehco, ambos volúmenes mantienen una continuidad y constituyen un solo libro que hemos dividido por motivos técnicos. Este segundo volumen, aplica los contenidos del primero...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Buenos Aires :
Centro Editor de América Latina,
1986
|
| Edición: | 1a ed. |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Sumario: | "Para un lector con una información mínima en lenguajes y conjuntos, este nuevo texto es prácticamente autosuficiente. De hehco, ambos volúmenes mantienen una continuidad y constituyen un solo libro que hemos dividido por motivos técnicos. Este segundo volumen, aplica los contenidos del primero, de carácter estructural, a problemas teóricos; básicamente el de la deducción. Presenta la lógica clásica como un cálculo proposicional uqe puede basarse en cualquier lenguaje de primer orden; esto, después de la introducción d ela lógica proposicional (de orden cero), cuya finalidad única es demostrar el uso de esa lógica en la de predicados." |
|---|---|
| Descripción Física: | 269 p. : 21 cm. |
| ISBN: | 9502513185 |