Crie uma conta gratuita e continue exatamente desta página.
Crie uma conta gratuita e continue exatamente desta página.
Lógica para computação 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 matemáticos rigorosos para a resolução de problemas e, acima de tudo, a enorme importância dos 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. Em sua segunda edição, a obra apresenta novos exercícios e sugestões de ferramentas de apoio aos temas apresentados.
Livros na mesma categoria
Desenvolvendo Aplicacoes Comerciais Java
K. Z. Ahmed
Guia de Pascal
Judith | Watt David Watt
Distributed Computing - Fundamentals, Simulations And Advances Topics
Hagit | Welch Jennifer Attiya
Redes Domiciliares e Redes de Acesso à Internet
LuíS Henrique Maciel Kosmalski | Duarte Otto Carlos Muniz Bandeira | Rubinstein Marcelo GonçAlves Costa
Ms-Project 2010: do Planejamento ao Controle com Earned Value
Alex Damasio
Metrics For It Service Management
Peter Brooks
Advanced Rails
Brad Ediger
Computer Science Logo Style Vol.1 - Symbolic Computing
Brian Harvey
Applied Pattern Recognition
VáRios Autores
Jflap: An Interactive Formal Languages And Automata Package
Susan H. Rodger
Java Web Development Illuminated
Kai Quian
Finite Element Method Using Matlab, The
Young W. Kwon
Dicas e recomendações para leitores
O gênero policial é o mais democrático da literatura: faz leitores de quem nunca leu e vicia quem já leu. Uma seleção dos thrillers, policiais e suspenses mais viciantes, do clássico ao contemporâneo.
O aluno que lê por obrigação raramente vira leitor. Mas há formas de apresentar a leitura escolar que mudam essa equação. Veja o que a pesquisa diz e como professores estão fazendo diferente.
A crise climática é o desafio do século. Estes livros explicam o que está acontecendo, por que importa e o que pode ser feito, com ciência, urgência e esperança.
Para escolas, universidades, autores e editoras
