09/12/2014 – Sexta-feira, dia 12 de dezembro, a Editora Ensinart promove uma palestra com Dave Barker-Plummer, às 18h30, na Livraria Cultura do Shopping Iguatemi em São Paulo. A palestra terá como tema: “A importância do ensino e aprendizagem de lógica”. Na mesma noite, será lançada a versão em português do livro Language, Proof and Logic, do qual o conferencista é coautor.
Linguagem, Prova e Lógica – Manual do Software é um pacote completo de ensino de lógica. A tradução da obra para o português visa consolidar a demanda do público no Brasil, que vem utilizando a versão em inglês, ampliando o número de cursos de filosofia, ciências da computação, matemática e linguística nos quais o livro é adotado.
Esse livro coloca o leitor em contato com alguns dos conceitos e ferramentas mais importantes da lógica: “Queremos que você entenda como as leis da lógica resultam inevitavelmente dos significados das expressões que usamos para fazer proposições. Convenção é crucial para dar sentido a uma linguagem, mas uma vez que o significado é estabelecido, as leis da lógica são resultados inevitáveis.” (pág. 3)
A obra traz cerca de 770 exercícios e programas que oferecem ferramentas educacionais que podem ser utilizadas no ensino efetivo da lógica. Além disso, é apoiada por um site com dicas e soluções para exercícios selecionados. Todos os usuários registrados também têm acesso ao software de avaliação automática Grade Grinder.
Desde sua primeira versão, há uma década, a obra tem sido utilizado em várias instituições de ensino, de aproximadamente 50 países.
Dave Barker-Plummer é PHD em Inteligência Artificial pela Edinburgh University. Desde 1995, é gerente do projeto Openproof da Universidade de Stanford, voltado para desenvolvimento de softwares educativos para o ensino de lógica. Desenvolveu experiência na área de Inteligência Artificial, professor das áreas de ciências da computação e lógica, da Universidade de Stanford, Swarthmore College e da Universidade de Duke. Coautor do Livro “Language, Proof and Logic” e Coeditor da coleção “Words, Proofsand Diagrams”.
Palestra e lançamento do livro
Data: 12/12/14
Horário: 18h30
Local: Livraria Cultura do Shopping Iguatemi
Endereço: Av. Brigadeiro Faria Lima, 2232, Jardim Paulistano
Para participar, é preciso se credenciar no site: https://eventioz.com.br/e/palestra-e-lancamento-livro-linguagem-prova-e-logi
