Direkt zum Inhalt | Direkt zur Navigation

Sektionen

Institut

Benutzerspezifische Werkzeuge

Anmelden

Sie sind hier: Startseite → Willkommen → Professuren → Ordentliche Professuren → Theoretische Informatik → Lehrveranstaltungen → Sommersemester 2013 → Theoretische Informatik II → Downloads

Theoretische Informatik

Aktuelles: Klausureinsicht; Nachprüfung für Studenten ab Semester 6; Ergebnisse der Klausur; Nachklausur für verhinderte Studenten; Allgemeine Anmerkungen zur Klausur; Weiter…

Downloads

Turingmaschinen-Simulator leanTM: leanTM: Ein in Prolog geschriebener Turingmaschinen-Simulator von Jens Otten. Benötigt zur Ausführung ein Prolog-System, z.B. SWI Prolog (http://www.swi-prolog.org/).
Prolog-Programm zur Auswertung mu-rekursiver Ausdruecke: Ein in Prolog geschriebenes Programm zur Auswertung mu-rekursiver Ausdrücke, Autor: Jens Otten. Benötigt zur Ausführung ein Prolog-System, z.B. SWI Prolog (http://www.swi-prolog.org/).
Prolog-Programm zur Auswertung von lambda-Termen: Ein in Prolog geschriebenes Programm zur Auswertung von lambda-Termen, Autor: Jens Otten. Benötigt zur Ausführung ein Prolog-System, z.B. SWI Prolog (http://www.swi-prolog.org/).
Turingmaschinensimulator -- Bienenvariante: leanTM: Ein in Prolog geschriebener und auf Bienen spezialisierter Turingmaschinen-Simulator von Jens Otten. Benötigt zur Ausführung ein Prolog-System, z.B. SWI Prolog (http://www.swi-prolog.org/).

Artikelaktionen

Auf einen Blick: Lehrform diverse Formen; Empfohlen ab FS 0; Voraussetzungen Erfolgreiche Teilnahme an Theoretische Informatik I ist sehr zu empfehlen.; Benotet Ja; Punkte gesamt 6; davon praktisch 0; Sprache deutsch; Fremdhörer zugelassen? Nein; Teilgebiete Theoretische Informatik(2000), Wahlfrei(7000); Studiengang Bachelor; Belegung via PULS