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: 1996| Item type | Current location | Call number | Status | Date due |
|---|---|---|---|---|
Libros y Folletos
|
Biblioteca Central | 004:164 Ar332 (Browse shelf) | Available |
Browsing Biblioteca Central Shelves Close shelf browser
| No cover image available | No cover image available | No cover image available | ||||||
| 004.056 G586 Seguridad en sistemas operativos Windows y Linux / | 004=111 G485b1 Ej.1 Basic english for computing : | 004=111 G485b1 Ej.2 Basic english for computing : | 004:164 Ar332 Lógica formal para informáticos / | 004:174 Es18 Ej.1 Informática y poder : | 004:174 Es18 Ej.2 Informática y poder : | 004:174 Es18 Ej.3 Informática y poder : |
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.