No livro, apresentamos conceitos e resultados introdutórios de lógica clássica, aritmética dos números inteiros, estruturas booleanas e finalizamos com um capítulo onde exploramos alguns conceitos e resultados relacionados a computabilidade de funções e de decidibilidade de predicados. A idéia principal é trabalhar os conceitos, explorando exemplos e propondo exercícios clássicos e úteis para a um aluno ingressante em cursos de ciência da computação.
Aspectos formais da computação
| Formatos | |
|---|---|
| Ano | |
| Páginas | |
| ISBN | |
| Autor |
Aparecida Francisco da Silva, Clotilzio Moreira dos Santos |
| Coleções |
PROGRAD |





