Informatik am HHG Bottrop

Dies ist eine alte Version des Dokuments!

• Formale Sprachen: Entwicklung künstlicher Sprachen zur eindeutigen formalen Beschreibung von Algorithmen sowie von Beschreibungsmitteln für die Syntax (Syntax einer Programmiersprache) dieser Sprachen;
• Theorie der Programmierung: Entwicklung formaler Beschreibungsmittel für die Semantik von Programmiersprachen (Semantik einer Programmiersprache) und darauf aufbauend Programmverifikation (formaler Korrektheitsbeweis für Programme);
• Automatentheorie: Ableitung von Grundlagen für den Aufbau und das Verhalten informationsverarbeitender Maschinen aus abstrakten mathematischen Modellen;
• Algorithmentheorie: Berechenbarkeit von Funktionen durch Algorithmen und Klassifizierung der „nichtberechenbaren” Funktionen;
• Komplexitätstheorie: Klassifizierung der durch Algorithmen berechenbaren Funktionen nach ihrer Komplexität, d.h. nach dem zur Berechnung notwendigen Aufwand;
• Schaltwerktheorie: Entwicklung formaler Beschreibungen für Schaltungen und komplexe Schaltkreise.
• Berechenbarkeitstheorie: Dieses Teilgebiet befasst sich mit dem Begriff der Berechenbarkeit. Hauptsächlich befasst sie sich damit, welche Probleme mit Hilfe eines mathematischen Modells einer Maschine lösbar sind.

Worum geht es in der Theoretischen Informatik?

Beispiele