• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logica Formal: Origens e Aplicacoes

Logica Formal: Origens e Aplicacoes

Paperback

Fiction

ISBN10: 1546760563
ISBN13: 9781546760566
Publisher: Createspace
Published: Jul 7 2017
Pages: 278
Weight: 0.83
Height: 0.58 Width: 6.00 Depth: 9.00
Language: Portuguese
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.

Also in

Fiction