Więcej o książce
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!
Zakup książki
Einführung in die mathematische Logik, Heinz Dieter Ebbinghaus
- Język
- Rok wydania
- 1996
- Oprawa
- (miękka)
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Einführung in die mathematische Logik
- Język
- niemiecki
- Autorzy
- Heinz Dieter Ebbinghaus
- Wydawca
- Spektrum, Akad. Verl.
- Rok wydania
- 1996
- Oprawa
- miękka
- Liczba stron
- 310
- ISBN10
- 3827401305
- ISBN13
- 9783827401304
- Seria
- Kategorie
- Opis
- 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!