Lógica formal para informáticos /
by Arenas Alegría, Lourdes.
Published by : Díaz de Santos, (Madrid : ) Physical details: 331 p. ; 24 cm. ISBN:8479782404. Year: 1996Item type | Current location | Call number | Status | Date due |
---|---|---|---|---|
Libros y Folletos | Biblioteca Central | 004:164 Ar332 (Browse shelf) | Available |
Primera parte. Cáculo de proposiciones. 1. Intruducción. 2. Métodos semántico. teoría interpretativa. 3. Teoría de la demostración. 4. Coherencia entre la teoría interpretativa y la teoría de la demostración. Parte segunda: Cálculo de predicados de primer orden. 5. Introducción. 6. Métodos semántico. teoría interpretativa. 7. Teoría de la demostración. 8. Coherencia entre la teoría semántica y la teoría de la demostración. Parte tercera. Demostración automática de teoremas. 9. Introducción a la demostración automática de teoremas. 10. Principios de resolución.
There are no comments for this item.