Einführung in die mathematische Logik
Title (alternative):
Hochschul-Taschenbuch
Publisher:
Spektrum Akad. Verl.
Ort:
Berlin
Date:
2007
Language:
Deutsch
Additional information
Abstract:
Verlagstext: 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. Diese Auflage eines vielbeachteten, handlichen Werkes!
Object text:
Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas
Literaturverz. S. [325] - 327
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31
Literaturverz. S. [325] - 327
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31
Access and usage options
Citation link:
Administrative details
Created:
2023-04-14
Last changed:
2021-09-07
Added to portal:
2023-04-14
Feedback
Our data sets are in constant development. If you have additional information about this object or discovered an error, please write to us. Information on privacy policy
Ähnliche Objekte
Entdecken Sie ähnliche Objekte. Über die Datenfelder können Sie die Objekte auswählen, die Sie interessieren. Sie können Ihre Suchfilter beibehalten oder deaktivieren.
Suchfilter berücksichtigen
-
Language:
- 412532