703026 Logik

Wintersemester 2011/2012 | Stand: 19.03.2012 LV auf Merkliste setzen
703026
Logik
VO 3
4,5
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls verstehen Logik-kalküle und können diese anwenden. Sie haben die Fertigkeit erworben, sich ähnliche Inhalte selbst zu erarbeiten. Darüber hinaus sind sie in der Lage, zu abstrahieren und komplexe Probleme in formalen Kalkülen zu modellieren.
Aussagenlogik; Prädikatenlogik; Einführung in Beweissysteme; Kalküle des natürlichen Schließens für Aussagenlogik und Prädikatenlogik; binäre Entscheidungsdiagramme; Einführung in Verifikation und Model Checking
schriftliche Prüfung
Beginn: siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 03.10.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 06.10.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 10.10.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 13.10.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 17.10.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 20.10.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 24.10.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 27.10.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 31.10.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 03.11.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 07.11.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 10.11.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 14.11.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 17.11.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 21.11.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 24.11.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 28.11.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 01.12.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 05.12.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 12.12.2011
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 15.12.2011
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 09.01.2012
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 12.01.2012
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 16.01.2012
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 19.01.2012
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 23.01.2012
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 26.01.2012
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrierefrei
Mo 30.01.2012
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 02.02.2012
08.00 - 11.15 HS F (Technik) HS F (Technik) Barrierefrei