Direkt zum Inhalt | Direkt zur Navigation

Sektionen

Institut

Benutzerspezifische Werkzeuge

Anmelden

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

Theoretische Informatik

Aktuelles: Termin Klausureinsicht; Klausurergebnisse; Termin Nachklausur; Klausurtermin und Korrekturhinweis; Weiter…

Downloads

Turingmaschinen-Simulator leanTM: leanTM: Ein in Prolog geschriebener Turingmaschinen-Simulator von Jens Otten. Benoetigt zur Ausfuehrung 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 Ausdruecke, Autor: Jens Otten. Benoetigt zur Ausfuehrung 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. Benoetigt zur Ausfuehrung ein Prolog-System, z.B. SWI Prolog (http://www.swi-prolog.org/).

Artikelaktionen

Auf einen Blick: Lehrform diverse Formen; Empfohlen ab FS 4; Voraussetzungen
Erfolgreiche Teilnahme an Theoretische Informatik I ist sehr zu empfehlen.; Benotet Ja; Punkte gesamt 6; davon praktisch 0; Sprache deutsch; Fremdhörer zugelassen? Ja; Teilgebiete Theoretische Informatik(2000); Studiengang Bachelor; Modulprüfer Herr Prof.Dr. Christoph Kreitz; Belegung via PULS