Lógica Matemática para informáticos : ejercicios resueltos /
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , , , |
| Format: | Livre |
| Collection: | Prentice práctica
|
| Sujets: | |
| Accès en ligne: | Voir à l'OPAC |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Table des matières:
- 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.