Parametry
- 310 stránek
- 11 hodin čtení
Více o knize
Die mathematische Logik hat sich seit dem Ende des 19. Jahrhunderts als eigenständige Disziplin entwickelt. Boole, HIlbert u. a. haben daran entscheidenden Anteil. Charakteristische Elemente finden sich allerdings bereits in der traditionellen, der Philosophie verhafteten Logik (so Aristoteles, Leibniz). Ebbinghaus, Flum und Thomas belegen in diesem einführenden Lehrbuch die Prägung der mathematischen Logik durch die Mathematik: Durch Motivation und Zielsetzung, durch die Methode und schließlich durch die Anwendung in der Mathematik selbst. Auf Anwendungen in der Informatik wird am Beispiel der Logik-Programmierung eingegangen. Die 4. Auflage eines vielbeachteten, handlichen Werkes!
Nákup knihy
Einführung in die mathematische Logik, Heinz-Dieter Ebbinghaus
- Jazyk
- Rok vydání
- 1996
- product-detail.submit-box.info.binding
- (měkká)
Doručení
Platební metody
Nikdo zatím neohodnotil.
- Titul
- Einführung in die mathematische Logik
- Jazyk
- německy
- Autoři
- Heinz-Dieter Ebbinghaus
- Vydavatel
- Spektrum, Akad. Verl.
- Rok vydání
- 1996
- Vazba
- měkká
- Počet stran
- 310
- ISBN10
- 3827401305
- ISBN13
- 9783827401304
- Série
- Štítky
- Naučná literatura, Společenské vědy, Věda & Matematika, Filosofická tématika, Filosofie, Matematika, Logika
- Anotace
- Die mathematische Logik hat sich seit dem Ende des 19. Jahrhunderts als eigenständige Disziplin entwickelt. Boole, HIlbert u. a. haben daran entscheidenden Anteil. Charakteristische Elemente finden sich allerdings bereits in der traditionellen, der Philosophie verhafteten Logik (so Aristoteles, Leibniz). Ebbinghaus, Flum und Thomas belegen in diesem einführenden Lehrbuch die Prägung der mathematischen Logik durch die Mathematik: Durch Motivation und Zielsetzung, durch die Methode und schließlich durch die Anwendung in der Mathematik selbst. Auf Anwendungen in der Informatik wird am Beispiel der Logik-Programmierung eingegangen. Die 4. Auflage eines vielbeachteten, handlichen Werkes!