Επικοινωνία
Πώς να κάνετε αγορές;
Παράδοση
Οδηγός αγορών
Γερμανική
88 b
Οι πελάτες αγόρασαν επίσης
/
Χαρτόδετο
9.11
€
/
Χαρτόδετο
8.09
€
/
Χαρτόδετο
11.33
€
Dieses Buch umfat einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und fuhrt den Leser in die Semantik und Beweistheorie der Aussagenlogik und elementaren Pradikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schlieens. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Argumente liegt besonderes Augenmerk. Zusammenhange zwischen alternativen logischen Notationen und Techniken werden sorgfaltig erklart. Der anschlieende Aufbaukurs schlagt die Brucke zwischen einer philosophischen Logikeinfuhrung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer grundlichen Einfuhrung in die volle Pradikatenlogik und ihrer Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollstandigkeit der Pradikatenlogik, Unentscheidbarkeit der Pradikatenlogik und Unvollstandigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklart. Abgerundet wird der Band durch vertiefende Exkurse und zahlreiche Ubungen mit Losungen zum Download. Die 2. revidierte Auflage wurde inhaltlich und didaktisch grundlich uberarbeitet.
Πληροφορίες για το βιβλίο
Γερμανική
Κατηγορία
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτηΜπορεί να σας ενδιαφέρει
/
Χαρτόδετο
40.20
€
/
Σκληρόδετο
133.58
€
