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


	Home

	Contact

	Teaching
	lectures
	exercises
	seminars
	proseminars
	research seminars
	practical courses

	WS 2020/21
	SS 2020
	WS 2019/20
	SS 2019
	WS 2018/19
	SS 2018
	WS 2017/18
	SS 2017
	WS 2016/17
	SS 2016
	WS 2015/2016
	SS 2015
	WS 2014/2015
	SS 2014
	WS 2013/2014
	SS 2013
	WS 2012/2013
	SS 2012
	WS 2011/2012
	SS 2011
	WS 2010/2011
	SS 2010
	WS 2009/2010
	SS 2009
	WS 2008/2009
	SS 2008
	WS 2007/2008
	SS 2007
	WS 2006/2007
	SS 2006
	WS 2005/2006
	SS 2005
	WS 2004/2005
	SS 2004
	Before 2004

	People

	Publications

	Student Projects

	Research

	Tools

	Heroes of Computer Science

	Help


	Logic 2011

News | Dates | Grading | Content | Exercises | Exam | Slides | Literature | Software

Homework 01: [PDF]
Solution 01: [PDF]
Limboole Skripts: [limboole_1.txt] [limboole_2.txt] [limboole_3.txt]
Sudoku to Limboole: Python Skript for conversion Example sudoku

For more information on limboole see the software page.

Homework 02: [PDF]
Solution 02: [PDF]
Notes [JNT][PDF] (jnt=microsoft journal notes)
Limboole script: pigeon_hole.txt

Homework 03: [PDF]
Solution 03: [PDF]

Homework 04: [PDF]
Notes [PDF (converted from JNT)]

Homework 05: [PDF]
Notes [PDF (converted from JNT)]
(Partial) Solution 05: [PDF]
Formula file to import in Tarski's World: ex5.fml

Homework 06: [PDF]
Notes (Completed): [JNT]/[PDF]

Homework 07: [PDF]
Notes: [JNT]/[PDF]

Homework 08: [PDF]
Ape-Chair-Banana example
Towers-of-Hanoi example
Notes: [PDF][Ape reloaded][Farmer][Farmer (mace)]

Homework 09: [PDF]
Solution 09: [PDF]
Notes: [JNT]/[PDF]

Mock Exam: [PDF]
Solution Mock Exam: [PDF]