Cultura Acadêmica

Existem 992 usuários on-line.

Ciências da Computação


versão digital (ebook)impressão sob demanda
Aspectos formais da computação

Santos, Clotilzio Moreira dos e Silva, Aparecida Francisco da

Sinopse

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.

ISBN: 9788598605883
Assunto: Ciências da Computação
Páginas: 391
Ano: 2009