- Colecção: Trajectos Ciência
 - Nº: 1
 - Estado: Como Novo
 - Páginas: 277
Este livro é uma iniciação informal à lógica e aritmética (formais), reflectindo as preferências e a experiência pessoais do Autor, sendo também abordadas algumas questões de filosofia e fundamentos da matemática. A escolha de assuntos e o nível de aprofundamento são adequados para um primeiro contacto com coisas lógicas, ao nível dos anos terminais do ensino secundário ou do primeiro ano de uma licenciatura em Matemática, Informática, Engenharia ou Letras (Filosofia), ou até para o leitor autodidacta. Exercícios propostos e resolvidos complementam o texto.
O livro trata essencialmente daquela 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 (através de um sistema de dedução natural, caracterizado pela grande facilidade de manipulação). Os resultados meta-matemáticos mais importantes são abordados mais levemente do que seria natural num livro avançado de lógica matemática, chamando-se todavia a atenção para a sua importância filosófica e para os fundamentos.


Lógica e Aritmética

  • Editora: Gradiva
  • Autor: Augusto Franco de Oliveira
  • ISBN-CB: 14115
    Páginas:
    Estado: Muito Bom
    Loc:
  • Situação: Disponivel
  • 13,95€

Voltar