turingmaschine_bsp_smallIm Sommersemester 2011 wird am neuen Lehrstuhl für Logik und Sprachphilosophie die Veranstaltung "Logik und Berechenbarkeit: Rekursive Funktionen und Turing-Maschinen" als BA-Seminar angeboten (Dozent: Roland Poellinger), die Teilnahme für MA-Studenten ist möglich.

Inhalte und Downloads hier

Mehr Informationen im LSF der LMU ...