L.079.05801 Propositional Proof Systems (in English)

Course offering details

Instructors: Prof. Dr. Hans Kleine Büning

Event type: Lecture (with exercise)

Org-unit: Informatik

Displayed in timetable as: PPS

Language of instruction: Englisch

Min. | Max. participants: - | -

Small group(s)
This course is divided into the following small groups:

  • Propositional Proof Systems (in English) - Übung

    Prof. Dr. Hans Kleine Büning

    Th, 9. Apr. 2015 [11:00]-Th, 16. Jul. 2015 [12:00]

    Show small group
Appointments
Date From To Room Instructors
1 Th, 9. Apr. 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
2 Th, 16. Apr. 2015 09:00 11:00 Termin entfällt Prof. Dr. Hans Kleine Büning
3 Th, 23. Apr. 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
4 Th, 30. Apr. 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
5 Th, 7. May 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
6 Th, 21. May 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
7 Th, 28. May 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
8 Th, 11. Jun. 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
9 Th, 18. Jun. 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
10 Th, 25. Jun. 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
11 Th, 2. Jul. 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
12 Th, 9. Jul. 2015 09:00 11:00 D 2 Prof. Dr. Hans Kleine Büning
13 Th, 16. Jul. 2015 09:00 11:00 Termin entfällt Prof. Dr. Hans Kleine Büning
Contained in modules
Module
M.079.3107 Wissensbasierte Systeme (SS 2009, SS 2009)
M.079.3107 Wissensbasierte Systeme (WS 2009/10, WS 2009/10)
M.079.3107 Wissensbasierte Systeme (SS 2010, SS 2010)
M.079.3107 Wissensbasierte Systeme (WS 2010/11, WS 2010/11)
M.079.3107 Wissensbasierte Systeme (SS 2011, SS 2011)
M.079.3107 Wissensbasierte Systeme (WS 2011/12, WS 2011/12)
M.079.3107 Wissensbasierte Systeme (WS 2012/13, WS 2012/13)
M.079.3107 Knowledge-Based Systems (SS 2013, SS 2013)
M.079.3107 Knowledge-Based Systems (WS 2013/14, WS 2013/14)
M.079.3107 Knowledge-Based Systems (SS 2014, SS 2014)
M.079.3107 Knowledge-Based Systems (WS 2014/15, WS 2014/15)
M.079.3107 Wissensbasierte Systeme (SS 2015, SS 2015)
M.079.3113 Databases and lnformation Systems (WS 2006/07, WS 2006/07)
M.079.3113 Databases and lnformation Systems (WS 2009/10, WS 2009/10)
M.079.3114 Knowledge-Based Systems (WS 2009/10, WS 2009/10)
M.079.3115 Analytical Methods in Software Engineering (WS 2009/10, WS 2009/10)
Course specific exams
Description Date Instructors Mandatory
1. Mündliche Prüfung Time tbd Yes
2. Mündliche Prüfung (2. Termin) Time tbd Yes
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  •  
  •  
Instructors
Prof. Dr. Hans Kleine Büning