Lógica computacional Enrique Paniagua Arís , Juan Luis Sánchez González y Fernando Martín Rubio
Material type:
TextEspaña : Thomson 2003Edition: 1Description: 205 páginas ; 24 cm. ilContent type: - texto
- no mediado
- volumen
- 84-9732-182-0
- 511.3 P192lo
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca La Matriz INGENIERIA EN INFORMATICA Y SISTEMAS COMPUTACIONALES / LA MATRIZ | Acervo general de Libros | 511.3 P192lo (Browse shelf(Opens below)) | Ej.1 | Available | 008913-15 |
Browsing Biblioteca La Matriz shelves, Shelving location: INGENIERIA EN INFORMATICA Y SISTEMAS COMPUTACIONALES / LA MATRIZ, Collection: Acervo general de Libros Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 G9847ma Matemáticas para informáticos | 511.3 H788ló Lógica matemática para informáticos: ejercicios resueltos | 511.3 H788ló Lógica matemática para informáticos: ejercicios resueltos | 511.3 P192lo Lógica computacional | 511.8 O775si Simulink aplicado a sistemas de control | 512 G6439al Álgebra elemental moderna | 512.5 G8787ma Matemáticas 4; Álgebra lineal |
1. La sintaxis de la lógica. 2. La semántica de la lógica. 3. El método axiomático. 4. El método interpretativo. 5. La demostración automática de teoremas. 6. Los agentes inteligentes y la lógica.
El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas. Es a causa de esta relación entre la lógica y el desarrollo de los sistemas inteligentes por la que es necesario la utilización de mecanismos de razonamiento automático.
VA/Ingeniería en Sistemas de la Información
There are no comments on this title.