EIG: Symbolische Maschinen

Folge 1 der Vorlesung Einführung in die Informatik für Geisteswissenschaftler an der Universität Paderborn, Sommersemester 2023.

Abschnitte
00:00 Einleitung
00:35 Informatik? Informatik!
03:53 Artefakte der Informatik
08:45 Symbolische Maschinen
13:44 Symbolische Maschinen II
17:57 Voraussetzungen für die formale Beschreibung eines Vorgangs
21:31 Abschluss

Ergänzende Literatur (nur) bei weitergehendem Interesse:
Sybille Krämer: Symbolische Maschinen. Wissenschaftliche Buchgesellschaft, 1988.
Dies ist ein Buch, das einen Blick auf die Informatik und die hinter dieser Disziplin liegenden Prinzipien aus philosophischer Sicht wirft. Die Bedeutung von Formalismen und auch deren Grenzen werden hier in einer Klarheit herausgearbeitet, die man in der Informatik-Fachliteratur vergebens sucht.