Lógica Matemática para informáticos : ejercicios resueltos /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , , |
| Formato: | Libro |
| Colección: | Prentice práctica
|
| Materias: | |
| Acceso en línea: | Ver en el OPAC |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Lógica proposicional
- Sintaxis y semántica
- Formalización, técnicas de razonamiento
- Equivalencia lógica, leyes booleanas
- Cálculo lógico con tableux
- Lógica de primer orden
- Sintaxis y semántica
- Formalización, Tecnicas de razonamiento
- Equivalencia lógica, Leyes de los cuantificadores
- Cálculo lógico con tableux
- Cálculo lógico con resolución
- Ejercicios propuestos.