Kontakt
Kako nakupovati
Dostava
Svetovalec pri nakupu
Nemščina
79 b
Drugi so kupili tudi
/
Mehka
8.17
€
/
Mehka
7.26
€
/
Mehka
10.29
€
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.
O knjigi
Nemščina
Kategorije
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovancaMorda bi vas zanimalo tudi
/
Mehka
35.43
€
/
Trda
121.15
€
Pozdravljeni! Sem Libroamiko, vaš knjižni svetovalec.
Kako vam lahko pomagam?