Contatto
Come acquistare
Consegna
Guida all'acquisto
Tedesco
75 b
I clienti hanno acquistato anche
/
In brossura
8.99
€
/
In brossura
7.99
€
/
In brossura
9.19
€
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.
Informazioni sul libro
Tedesco
Categorie
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
30.39
€
/
Rigido
119.59
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?