Logica Formal: Origens e Aplicacoes

ISBN-13: 9781546760566 / Portugalski / Miękka / 2017 / 278 str.

Arlete Cerqueira Lima; Marcos Cerqueira Lima

Opis

Este livro e uma introducao a historia da Logica (Parte I), a utilizacao simbolica da Logica na Matematica (Parte II) e suas aplicacoes em pesquisa, na linguagem e na ciencia da computacao. Nas palavras do reitor da Universidade Federal da Bahia, Joao Carlos Salles (atual Reitor da UFBA e autor do prefacio), "A possibilidade de demonstrar o que e demonstravel e apresentada nesse livro com maestria e prazer. Talvez nao seja mero acaso a imagem inicial de sua apresentacao, uma imagem culinaria, propria de alguem capaz de reunir e utilizar os mais diversos ingredientes, produ-zindo, ao fim e ao cabo, manjares e ambrosias. Quem teve o privilegio de ser aluno da Profa. Arlete Cerqueira Lima nao se surpreendera entao. O livro esta atravessado pelo mesmo brilho no olhar, o mesmo encantamento e sofisticacao que caracterizam suas aulas. E sentira a mesma motivacao de uma professora que nos acompa-nha em nossas manipulacoes simbolicas e malabarismos conceituais, disciplinando ou libertando adequadamente nossa imaginacao logica. Em suma, um livro de especial interesse para leitores que, como aprendizes ou sobretudo como docentes, desejam dar continuidade e aprofundar estudos de logica."