25,20 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
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.
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.
| Erscheinungsjahr: | 2017 |
|---|---|
| Fachbereich: | Grundlagen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 274 |
| ISBN-13: | 9781848902626 |
| ISBN-10: | 184890262X |
| Sprache: | Portugiesisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Dalen, Dirk Van |
| Hersteller: | College Publications |
| Maße: | 234 x 156 x 15 mm |
| Von/Mit: | Dirk Van Dalen |
| Erscheinungsdatum: | 15.11.2017 |
| Gewicht: | 0,421 kg |
| Erscheinungsjahr: | 2017 |
|---|---|
| Fachbereich: | Grundlagen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 274 |
| ISBN-13: | 9781848902626 |
| ISBN-10: | 184890262X |
| Sprache: | Portugiesisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Dalen, Dirk Van |
| Hersteller: | College Publications |
| Maße: | 234 x 156 x 15 mm |
| Von/Mit: | Dirk Van Dalen |
| Erscheinungsdatum: | 15.11.2017 |
| Gewicht: | 0,421 kg |
Ähnliche Produkte
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar