|
- Info
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/).
|
-
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
|