703026 Logik
Wintersemester 2011/2012 | Stand: 19.03.2012 | LV auf Merkliste setzen703026
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 | |