Adicionar ao carrinho
Lógica e Aritmética
Este livro é uma iniciação à lógica e aritmética (formais), reflectindo as preferências e a experiências pessoais do autor. São também abordadas algumas questões da filosofia e fundamentos da matemática. A maior parte dos assuntos escolhidos e o grau de aprofundamento são adequados a um primeiro contacto com coisas lógicas, 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é ao leitor autodidacta. O destaque desta edição revista e aumentada vai para as novas secções (opcionais) mais afins dos tópicos usuais da lógica computacional. Exercicíos propostos e resolvidos complementam o texto, e a bibliografia foi actualizada. O livro trata essencialmente aquela parte da lógica clássica que analisa as proposições e sistematiza o raciocínio, apresentada sob os pontos de vista semântico e dedutivo. Os resultados metamatemáticos mais importantes são tratados mais levemente do que seria natural num livro avançado de lógica matemática, chamando-se à atenção para a sua importância filosófica e para os fundamentos.
Categorias:
Autor: Augusto J. Franco de Oliveira