LOGICA E ARITMETICA - UMA INTRODUCAO A LOGICA MATEMATICA E COMPUTACIONAL
AUGUSTO J. OLIVEIRA
Quantidade limitada no estoque. Envio imediato.
Editora Gradiva
Área MATEMÁTICA
Idioma Português
Número de páginas 302
Edição 3ª ED 2010
ISBN 9789896163624
EAN 9789896163624
Este livro é uma iniciação informal à lógica e à aritmética (formais), reflectindo as preferencias e a experiência pessoais do autor. São também abordadas algumas questões de filosofia e fundamentos da matemática. A maior parte dos assuntos escolhidos e o grau de aprofundamento são adequados a um primeiro contato com coisas logicas, ao nível da formação de professores do ensino secundário ou do primeiro ano de uma licenciatura em Matemática, Informática, Engenharia ou Letras (Filosofia), ou até do leitor autodidacta. O destaque desta edição revista e aumentada vai para as novas secções (opcionais) mais afins dos tópicos usuais de logica e computacional. Exercícios propostos e resolvidos complementam o texto, e a bibliografia foi actualizada. O livro trata essencialmente aquela parte logica clássica que analisa as proposições e sistematiza o raciocínio, apresentada sob os pontos de vista semântico e dedutivo (através de sistemas de dedução natural e de tableaux, caracterizados pela grande facilidade de manipulação). Os resultados metamatemáticos mais importantes são enunciados, todavia sap tratados mais levemente do que seria natural num livro avançado de lógica matemática, chamando-se a atenção para sua importância filosófica e para os fundamentos.