Aspectos Formais Da Computação

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.

O site pede cadastro. É fácil, rápido e vale a pena.

Links para Download

Link Quebrado?

Caso o link não esteja funcionando comente abaixo e tentaremos localizar um novo link para este livro.

Deixe seu comentário

Mais Lidos

Blog

Aspectos Formais Da Computação

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.

O site pede cadastro. É fácil, rápido e vale a pena.

Link Quebrado?

Caso o link não esteja funcionando comente abaixo e tentaremos localizar um novo link para este livro.

Deixe seu comentário

Pesquisar

Mais Lidos

Blog