Niet blij met je aankoop? Geeft niet! Bij ons kun je binnen 30 dagen retourneren
Met een cadeaubon zit je altijd goed. De ontvanger kan de cadeaubon voor alles uit ons assortiment inwisselen.
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.
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?