Einfa1/4hrung in Die Mathematische Logik (Sav Mathematik) - Softcover

Die mathematische Logik hat sich seit dem Ende des 19. Jahrhunderts als eigenstAndige 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 einfA1/4hrenden Lehrbuch die PrAgung der mathematischen Logik durch die Mathematik: Durch Motivation und Zielsetzung, durch die Methode und schlieAlich 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!