[Theoretische Informatik] Prolog
In diesem Artikel soll es um die Programmiersprache Prolog gehen. Mit Prolog lassen sich logische Programme (Arten der Programmierung) entwickeln.
[Theoretische Informatik] Arten der Programmierung
In diesem Artikel sollen 4 Arten der Programmierung (Logisch, Funktional, Prozedural, Objektorientiert) grundsätzlich in ihren Kennzeichen unterschieden sowie Vor- und Nachteile genannt werden.
[Theoretische Informatik] Backus-Naur-Form
In diesem Artikel soll es um die (erweiterte) Backus-Naur-Form (BNF) gehen. Wozu dient die BNF und wie erstellt man eine BNF für eine spezifische Aufgabenstellung.
[Theoretische Informatik] Turingmaschine #2
Dies ist ein ergänzender Artikel (Hauptartikel). Es soll hier an einem weiteren Beispiel der Entwurf eines Programms für eine Turingmaschine gezeigt werden.
[Theoretische Informatik] Turingmaschine
In diesem Artikel möchte ich auf die Funktionsweise einer Turingmaschine eingehen und wie man ein Programm für eine Turingmaschine entwirft.

