Escreva a um representante
O livro apresenta um texto original em português que, sem perder a abordagem introdutória, expõe rigor matemático e profundidade adequados para o público-alvo. A obra apresenta os fundamentos e métodos da lógica matemática para estudantes de Ciência da Computação, permitindo-lhes apreciar os benefícios e as dificuldades advindos da aplicação de métodos formais – e mais especificamente dos métodos fundamentados em lógica formal – para as diversas facetas e ramificações da Ciência da Computação.
Livro-texto para as disciplinas lógica e métodos formais nos cursos de graduação e pós-graduação em Ciências da Computação, Matemática e Filosofia. Leitura complementar para a disciplina fundamentos matemáticos da computação. Leitura recomendada também para profissionais e todos aqueles que, direta ou indiretamente, lidam com métodos formais e matemáticos para a resolução de problemas.
ARTIGOS DE INTERESSE
