TUM - Chair VII - Foundations of Software Reliability and Theoretical Computer Science

Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.


		Chair for Foundations of Software Reliability and Theoretical Computer Science


	lectures


	Diskrete Wahrscheinlichkeitstheorie Grundlagen der (diskreten) Wahrscheinlichkeitstheorie, elementare Statistik, probabilistische Algorithmen und ihre Analyse Entscheidbarkeit und Berechenbarkeit Komplexitätstheorie Model Checking


	exercises


	Diskrete Wahrscheinlichkeitstheorie Übung zu Komplexitätstheorie Übung zu Model Checking


	proseminars


	research seminars


	Testen, Analyse und Debugging von Software


	practical courses


	Effizientes Programmieren (ehemals Game Playing) Projekt Systementwicklung: Lego Mindstorms

Information about older courses can be found on our former server.