Lógica computacional /
by Paniagua Arís, Enrique.
Published by : Thomson, (Madrid : ) Physical details: xiv, 205 p. : il. ; 25 cm. ISBN:8497321820. Year: 2003Item type | Current location | Call number | Status | Date due |
---|---|---|---|---|
Libros y Folletos | Biblioteca Central | 510.6 P193 Ej.1 (Browse shelf) | Available | |
Libros y Folletos | Biblioteca Central | 510.6 P193 Ej.2 (Browse shelf) | Available | |
Libros y Folletos | Biblioteca Sede Chamical | 167 (Browse shelf) | Available |
Browsing Biblioteca Central Shelves Close shelf browser
510.6 M319l1 Ej.5 Lógica para principiantes / | 510.6 M319m1 Ej.4 Lógica para principiantes / | 510.6 P193 Ej.1 Lógica computacional / | 510.6 P193 Ej.2 Lógica computacional / | 510.6 Su765 Ej.1 Primer curso de lógica matemática / | 510.6 Su765 Ej.2 Primer curso de lógica matemática / | 510.6 Su765 Ej.3 Primer curso de lógica matemática / |
Indice: p. 201-205.
Bibliografía: p. 199-200.
Capítulo 1. La sintaxis de la lógica. Capítulo 2. La semántica de la lógica. Capítulo 3. El método axiomático. Capítulo 4. El método interpretativo. Capítulo 5. La demostración automática de teoremas. Capítulo 6. Los agentes inteligentes y la lógica.
There are no comments for this item.