Strukturwissenschaft
Strukturwissenschaft

=== Informatik ===
Die Entwicklung der Theoretischen Informatik begann etwa in den 1930er Jahren. Als grundlegendes Konzept in der Informatik gilt der aus der Mathematik stammende Begriff des Algorithmus, der eine aus endlich vielen Schritten bestehende Handlungsvorschrift zur Lösung eines mathematischen Problems darstellt. Mit dem Algorithmenbegriff verbunden ist das Konzept der Berechenbarkeit, für das in der Berechenbarkeitstheorie verschiedene mathematische Formalisierungen und Analysemethoden entwickelt wurden. Auch innerhalb der Informatik werden auf formaler Ebene strukturelle Eigenschaften von Objektklassen erforscht, ohne zu berücksichtigen, welche konkreten Objekte sich dieser Struktur unterordnen und ob diese sich in der Realität überhaupt konstruieren lassen, wobei aber eine Forderung nach Konstruierbarkeit je nach Disziplin durchaus gestellt werden kann.
Ein der klassischen Mathematik fremder Begriff ist derjenige der Datenstruktur, der in der Informatik, neben dem des Algorithmus, von zentraler Bedeutung ist. Die Darstellung der Algorithmen, Datenstrukturen und Untersuchungen über Zeit und Platz, die für die Ausführung und Speicherung notwendig sind, ist ein eigener Beitrag der Theoretischen Informatik zu den Strukturwissenschaften.
Spezifische grundlegende Strukturen der Informatik sind im Bereich der Rechnerstrukturen u. A. die Von-Neumann-Architektur (seit 1945) bzw. sein Gegenteil, die Non-Von-Neumann-Architekturen (beispielsweise Parallelrechner).
Die bis heute geltende Basis jeder strukturierten Programmierung sind die drei Kontrollstrukturen von Sequenz, Verzweigung und Schleife. Zur Visualisierung werden Flussdiagramme, Struktogramme (seit 1972) oder UML-Diagramme (seit 1997) verwendet.
Weitere wichtige Impulse verdankt die Strukturwissenschaft den Themengebieten der Berechenbarkeitstheorie, der Frage zur Entscheidbarkeit und der Komplexitätstheorie. Auch die Untersuchungen zur Automatentheorie, insbesondere die der zellularen Automaten, weisen einen bis heute progressiven Charakter nicht zuletzt auch im Bereich der naturwissenschaftlichen Erklärungsmodelle auf.