{"product_id":"logica-formal-origens-e-aplicacoes-9781546760566","title":"Logica Formal: Origens e Aplicacoes","description":"\u003cp\u003e • Author(s): Marcos Cerqueira Lima | Arlete Cerqueira Lima\u003cbr\u003e • Publisher: Createspace Independent Publishing Platform\u003cbr\u003e • Publisher Imprint: Createspace Independent Publishing Platform\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eEste 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.\"\u003c\/p\u003e","brand":"Atlantic Books","offers":[{"title":"Paperback","offer_id":46315567054999,"sku":"9781546760566","price":1044.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781546760566.webp?v=1768674943","url":"https:\/\/atlanticbooks.com\/products\/logica-formal-origens-e-aplicacoes-9781546760566","provider":"Atlantic Books","version":"1.0","type":"link"}