Bibliographic Details
| Other Authors: |
Hortalá, González, Teresa,
Martí Oliet, Narciso,
Palomino Tarjuelo, Miguel,
Rodríguez Artalejo, Mario,
Vado Vírseda, Rafael del |
| Format: |
Book
|
| Language: |
Spanish |
| Published: |
Madrid :
Pearson Educación,
c2007.
|
| Subjects: |
|
| Notas Contenido: |
- Lógica proporcional
- Sintaxis y semántica
- Formalización, técnicas de razonamiento
- Equivalencia lógica. Leyes booleanas
- Cálculo lógico con tableaux
- Lógica de primer orden
- Sintaxis y semántica
- Formalización. Técnicas de razonamiento
- Equivalencia lógica. Leyes de los cuantificadores
- Cálculo lógico con tableaux
- Cálculo lógico con resolución
- Ejercicios propuestos
|
