Logica Formal: Origens E Aplicacoes (Portuguese Edition)

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."

Author: Arlete Lima, Marcos Cerqueira Lima

Publisher: CreateSpace Independent Publishing Platform

Publication Date: Jul 07, 2017

Number of Pages: 276 pages

Language: Portuguese

Binding: Paperback

ISBN-10: 1546760563

ISBN-13: 9781546760566