Logica e Estrutura

Paperback

€ 24,95

Afwijkende levertijd: 28-30 werkdagen.
Logica e Estrutura

Paperback

€ 24,95

Boeken gratis bezorgd vanaf € 15,- binnen NL en BE
Altijd de laagste prijs voor nieuwe Nederlandstalige boeken
Ruilen of retourneren binnen 14 dagen
Koop lokaal, ook online!
Bekijk winkelvoorraad

O livro-texto popular de Dirk van Dalen, Lógica e Estrutura, agora em sua quinta edição, oferece uma introdução abrangente aos fundamentos da lógica clássica e da lógica intuicionística, da teoria dos modelos e do famoso teorema da incompletude de Gödel.

A lógica proposicional e a lógica de predicados são apresentadas num estilo fácil de ler usando a dedução natural de Gentzen. O livro prossegue com alguns conceitos e fatos básicos da teoria dos modelos: uma discussão sobre compaccidade, Skolem-Löwenheim, modelos não-padrão e eliminação de quantificadores. A discussão da lógica clássica é encerrada com uma exposição concisa da lógica de segunda ordem.

Em vista do crescente reconhecimento de métodos e princípios construtivos, a lógica intuicionística e a semântica de Kripke são cuidadosamente exploradas. Uma série de características construtivas específicas, como a separação e a igualdade, a tradução de Gödel, as propriedades da disjunção e da existência também foram incluídas.

O último capítulo sobre o primeiro teorema da incompletude de Gödel é autocontido e fornece uma exposição sistemática da teoria da recursão necessária.

Esta nova edição foi devidamente revisada e contém uma nova seção sobre ultraprodutos.
ISBN
9781848902626
Vorm
Paperback
Uitgever
College Publications
Taal
Portugees
Pagina's
274 pp.
Genre
Theologie, Esoterie & Filosofie
Geen recensies beschikbaar.
pro-mbookslibr3 : libris