Pacote Linguagem, Prova e Lógica
CONTEÚDO
• O livro Linguagem, Prova e Lógica;
• Uma versão atualizada e melhorada do premiado programa Mundo de Tarski, que ensina o básico da lógica de primeira ordem;
• Fitch, um novo programa que permite a criação e verificação de provas de dedução natural;
• Boole, um novo programa que facilita criação de tabelas-verdade;
• Submit, um serviço on-line de avaliação, que permite que os alunos submetam soluções para centenas de exercícios baseados em computador para avaliação imediata;
• O manuscrito completo do texto em formato Adobe PDF;
• Manual do Software LPL.* Livro e manual do software (impresso) traduzidos para português.
** CD com softwares e manual (digital) na versão original em inglês.
INFORMAÇÕES DO PRODUTO
É um pacote completo de texto e software que fornece uma introdução autocontida aos conceitos básicos da lógica: linguagem, verdade, argumento, consequência, prova e contraexemplo. O texto não assume qualquer estudo prévio de lógica e é apropriado para cursos introdutórios e avançados de lógica. Instrutores em filosofia, ciência da computação e matemática encontrarão um amplo material para permitir a cobertura de temas específicos a suas disciplinas.
Dave Barker, coautor do livro, fala sobre o pacote Linguagem, Prova e Lógica. Clique aqui