Kontakt
Jak nakupovat
Doručení
Nákupní rádce
Němčina
88 b
Zákazníci také koupili
/
Brožovaná
199
Kč
/
Brožovaná
176
Kč
/
Brožovaná
250
Kč
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.
Informace o knize
Němčina
Kategorie
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovanéhoMohlo by vás také zajímat
/
Brožovaná
858
Kč
/
Pevná
2 938
Kč
