Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
1 Aussagenlogik.- 1.1 Aussagenlogische Strukturen der Umgangssprache.- 1.2 Theorie der Wahrheitsfunktionen.- 1.3 Eine Axiomatisierung der Aussagenlogik.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Strukturen in der Umgangssprache.- 2.2 Die Sprache der Prädikatenlogik.- 2.3 Der Kalkül P 1.- 2.4 Formalisierungen des natürlichen Schließens.- 3 Erweiterungen und Anwendungen der Prädikatenlogik.- 3.1 Die Identität.- 3.2 Kennzeichnungs- und Funktionsterme.- 3.3 Elementare Systeme.- 4 Die Prädikatenlogik der zweiten Stufe.- 4.1 Die Sprache der Prädikatenlogik der zweiten Stufe.- 4.2 Die Unvollständigkeit der Prädikatenlogik der zweiten Stufe.- 4.3 Der Vollständigkeitssatz von Henkin.- 4.4 Relationsprodukte und Relationsketten * *.- 4.5 Die Kategorizität der Peanoaxiome.- 5 Klassenlogik.- 5.1 Begriffe und Klassen.- 5.2 Die elementare Klassenalgebra 3°.- 5.3 Relationen und Funktionen 3*.- 5.4 Ein logisches Modell der Peanoaxiome.- 5.5 Das Problem der Geschlossenheit des Aufbaus der Logik.- 5.6 Die logischen Antinomien.- 6 Einige Themen aus der Geschichte der Logik.- 6.1 Die aristotelische Syllogistik..- 6.2 Die BooLESche Klassenlogik.- 6.3 FREGES Definitionslehre.- Verzeichnis der Abkürzungen und Symbole.- Verzeichnis der Axiome und Definitionen.- Verzeichnis der Theoreme.
1 Aussagenlogik.- 1.1 Aussagenlogische Strukturen der Umgangssprache.- 1.2 Theorie der Wahrheitsfunktionen.- 1.3 Eine Axiomatisierung der Aussagenlogik.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Strukturen in der Umgangssprache.- 2.2 Die Sprache der Prädikatenlogik.- 2.3 Der Kalkül P 1.- 2.4 Formalisierungen des natürlichen Schließens.- 3 Erweiterungen und Anwendungen der Prädikatenlogik.- 3.1 Die Identität.- 3.2 Kennzeichnungs- und Funktionsterme.- 3.3 Elementare Systeme.- 4 Die Prädikatenlogik der zweiten Stufe.- 4.1 Die Sprache der Prädikatenlogik der zweiten Stufe.- 4.2 Die Unvollständigkeit der Prädikatenlogik der zweiten Stufe.- 4.3 Der Vollständigkeitssatz von Henkin.- 4.4 Relationsprodukte und Relationsketten * *.- 4.5 Die Kategorizität der Peanoaxiome.- 5 Klassenlogik.- 5.1 Begriffe und Klassen.- 5.2 Die elementare Klassenalgebra 3°.- 5.3 Relationen und Funktionen 3*.- 5.4 Ein logisches Modell der Peanoaxiome.- 5.5 Das Problem der Geschlossenheit des Aufbaus der Logik.- 5.6 Die logischen Antinomien.- 6 Einige Themen aus der Geschichte der Logik.- 6.1 Die aristotelische Syllogistik..- 6.2 Die BooLESche Klassenlogik.- 6.3 FREGES Definitionslehre.- Verzeichnis der Abkürzungen und Symbole.- Verzeichnis der Axiome und Definitionen.- Verzeichnis der Theoreme.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
