[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.