Lógica e Aritmética

Lógica e Aritmética de Augusto Franco de Oliveira

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 são 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.

7,00 

informação do livro

Título: Lógica e Aritmética
Autor: Augusto Franco de Oliveira
Edição: Gradiva
Colecção | Nº: Trajectos Ciência | 1
Ano: 1991
Páginas: 204
Encadernação: Mole
Depósito Legal: 48572/91

Alfarrabista

 

Sem apontamentos

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 são 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.

Peso 300 g

sugestões do alfarrabista

0
    0
    Carrinho
    Carrinho VazioRegressar à Loja