Lógica Matemática para informáticos : ejercicios resueltos /
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | , , , |
| Formato: | Livro |
| Colecção: | Prentice práctica
|
| Assuntos: | |
| Acesso em linha: | Ver en el OPAC |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Sumário:
- 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.