Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
Logik
germană
76 b
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
Dieses Buch umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt den Leser in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen logischen Notationen und Techniken werden sorgfältig erklärt. Der anschließende Aufbaukurs schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik und ihrer Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollständigkeit der Prädikatenlogik, Unentscheidbarkeit der Prädikatenlogik und Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird der Band durch vertiefende Exkurse und zahlreiche Übungen mit Lösungen zum Download. Die 2. revidierte Auflage bietet neben gründlichen Fehlerkorrekturen zahlreiche didaktische Verbesserungen im Text und in den Übungen.
Informații despre carte
germană
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Carte broșată
147.39
lei
/
Carte broșată
243.64
lei
/
Carte broșată
203.24
lei
/
Carte broșată
139.56
lei
/
Carte broșată
200.42
lei
/
Copertă tare
286.33
lei
/
Carte broșată
82.15
lei
