Arlete Cerqueira Lima

Logica Formal Arlete Cerqueira Lima

Este livro é uma introdução à história da Lógica (Parte I), à utilização simbólica da Lógica na Matemática (Parte II) e suas aplicações em pesquisa, na linguagem e na ciência da computação. Nas palavras do reitor da Universidade Federal da Bahia, João Carlos Salles (atual Reitor da UFBA e autor do prefácio), "A possibilidade de demonstrar o que é demonstrável é apresentada nesse livro com maestria e prazer. Talvez não seja mero acaso a imagem inicial de sua apresentação, uma imagem culinária, própria de alguém capaz de reunir e utilizar os mais diversos ingredientes, produ-zindo, ao fim e ao cabo, manjares e ambrosias. Quem teve o privilégio de ser aluno da Profa. Arlete Cerqueira Lima não se surpreenderá então. O livro está atravessado pelo mesmo brilho no olhar, o mesmo encantamento e sofisticação que caracterizam suas aulas. E sentirá a mesma motivação de uma professora que nos acompa-nha em nossas manipulações simbólicas e malabarismos conceituais, disciplinando ou libertando adequadamente nossa imaginação lógica. Em suma, um livro de especial interesse para leitores que, como aprendizes ou sobretudo como docentes, desejam dar continuidade e aprofundar estudos de lógica."