Einführung in die mathematische Logik

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!

Objekttext:

Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas
Literaturverz. S. [325] - 327
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31

Zugriff und Nutzungsmöglichkeiten

Zitierlink:

https://gotha.digital/item/532034813

Links:

discovery.uni-erfurt.de/id:532034813

opac.k10plus.de/DB=2.1/PPNSET

Administrative Angaben

Datensatz angelegt am:

2023-04-14

Zuletzt geändert am:

2021-09-07

In Portal übernommen am:

2023-04-14

Feedback

Unsere Datensätze befinden sich in stetiger Weiterentwicklung. Wenn Sie zusätzliche Informationen zu diesem Objekt oder einen Fehler entdeckt haben, dann schreiben Sie uns. Informationen zum Datenschutz

Menu