Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Česká pošta Čtvrtek 06.06
PPL Čtvrtek 06.06
Osobní odběr Pátek 07.06
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Einführung in die mathematische Logik

Einführung in die mathematische Logik
7 %

788  Kč 851 Kč

Sleva až 70% u třetiny knih
Einleitung.- Syntax der Sprachen erster Stufe.- Semantik der Sprachen erster Stufe.- Ein Sequenzenkalkül.- Der Vollständigkeitssatz.- Der Satz von Löwenheim und Skolem und der Endlichkeitssatz.- Zur Tragweite der ersten Stufe.- Syntaktische Interpretationen und Normalformen.- Erweiterungen der Logik erster Stufe.- Berechenbarkeit und ihre Grenzen.- Freie Modelle und Logik-Programmierung.- Eine algebraische Charakterisierung der elementaren Äquivalenz.- Die Sätze von Lindström.- Lösungshinweise zu den Aufgaben.- Literaturverzeichnis.- Symbolverzeichnis.- Sach- und Personenverzeichnis.
Autor:
Nakladatel: Springer, Berlin
Rok vydání: 2018
Jazyk : Němčina
Vazba: Paperback / softback
Počet stran: 367
Mohlo by se vám také líbit..