Logica Formal: Origens e Aplicacoes [Portuguese]

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

• Format: Paperback
• Language: Portuguese
• ISBN: 1546760563
• ISBN13: 9781546760566
• Release Date: July 2017
• Publisher: Createspace Independent Publishing Platform
• Length: 278 Pages
• Weight: 0.83 lbs.
• Dimensions: 0.6" x 6.0" x 9.0"