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.
Detalhes de: Aspectos formais da computação

Aspectos formais da computação
Formatos | |
---|---|
Ano | |
Páginas | |
ISBN | |
Autor | Aparecida Francisco da Silva (Autor), Clotilzio Moreira dos Santos (Autor) |
Coleções | PROGRAD |

Aspectos formais da computação
Formatos | |
---|---|
Ano | |
Páginas | |
ISBN | |
Autor | Aparecida Francisco da Silva (Autor), Clotilzio Moreira dos Santos (Autor) |
Coleções | PROGRAD |
Clotilzio Moreira dos Santos (Autor)
Formado em Ciências Sociais pela USP e em Relações Internacionais pela PUC-SP, Fernando Santomauro é mestre em História Social pela PUC-SP e fez parte da primeira turma de Doutorado em Relações Internacionais do Programa San Tiago Dantas (Unesp, Unicamp e PUC-SP). Foi pesquisador-visitante do Instituto de Estudos Políticos de Paris (2005-6) e da Montclair State University (2013-4). Trabalhou como repórter na Folha de S. Paulo e nas assessorias internacionais da Prefeitura de São Paulo e Belo Horizonte. Atualmente é Coordenador de Relações Internacionais da Prefeitura de Guarulhos e Presidente do Fórum Nacional de Secretários e Gestores Municipais de Relações Internacionais (FONARI).