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. Attribute und Quantifizierungsfunktionen.- 2. Ausdrücke einer elementaren Sprache.- 3. Interpretation der Ausdrücke einer elementaren Sprache.- 4. Reduktions- und Repräsentantentheoreme.- 5. Das logische Folgern.- 6. Ableitbarkeit und Beweisbarkeit.- 7. Grundlegende Gesetze der Prädikatenlogik.- 8. Die Axiomatisierungstheoreme für den Prädikatenkalkül der ersten Stufe.- 9. Prädikatenlogische Normalformen.- 10. Der bestimmte Artikel.- 11. Elementare Theorien.- Anhang - Einiges aus der allgemeinen Mengenlehre.- Namen- und Sachverzeichnis.
1. Attribute und Quantifizierungsfunktionen.- 2. Ausdrücke einer elementaren Sprache.- 3. Interpretation der Ausdrücke einer elementaren Sprache.- 4. Reduktions- und Repräsentantentheoreme.- 5. Das logische Folgern.- 6. Ableitbarkeit und Beweisbarkeit.- 7. Grundlegende Gesetze der Prädikatenlogik.- 8. Die Axiomatisierungstheoreme für den Prädikatenkalkül der ersten Stufe.- 9. Prädikatenlogische Normalformen.- 10. Der bestimmte Artikel.- 11. Elementare Theorien.- Anhang - Einiges aus der allgemeinen Mengenlehre.- Namen- und Sachverzeichnis.
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