LPL_M

Pacote Linguagem, Prova e Lógica

R$ 196.00

É 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

Descrição do produto

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.