Lógica para computação: Vencedor do 49º Prêmio Jabuti de 2007

Lógica para computação: Vencedor do 49º Prêmio Jabuti de 2007

Flávio soares corrêa da silva, Marcelo finger, Ana cristina vieira de melo

Editora: Cengage Learning Editores SA de CVISBN 9788522108510
  • starstar_borderstar_half
  • starstar_borderstar_half
  • starstar_borderstar_half
  • starstar_borderstar_half
  • starstar_borderstar_half
  • avaliações

Resumo

Livro-texto para as disciplinas lógica e métodos formais nos cursos de graduação e pós-graduação em Ciência 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.
Lógica para computação: Vencedor do 49º Prêmio Jabuti de 2007

A biblioteca de livros é um conteúdo restrito para assinantes.