Cantitate/Preț
Produs
Total produse
Vezi coșul
Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe de Günter Asser

Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe: Mathematisch-Naturwissenschaftliche Bibliothek, cartea 19

Cu Günter Asser
de Limba Germană Paperback – sep 1975

Preț: 46613 lei

Nou

Puncte Express: 699
Preț estimativ în valută:
8920€ • 9355$ • 7438£

Carte tipărită la comandă

Livrare economică 07-21 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783322007186
ISBN-10: 3322007189
Pagini: 200
Ilustrații: V, 190 S.
Dimensiuni: 140 x 216 x 11 mm
Greutate: 0.24 kg
Ediția:2. Aufl. 1972
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Mathematisch-Naturwissenschaftliche Bibliothek

Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Cuprins

§ 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.