Logica e Estrutura
Dalen, Dirk Van
| Autor: | Dalen, Dirk Van |
|---|---|
| Veröffentlichungsdatum: | 15.11.2017 |
| EAN: | 9781848902626 |
| Sprache: | metaCatalog.groups.language.options.portuguese |
| Seitenzahl: | 274 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | College Publications |
Produktinformationen "Logica e Estrutura"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen