703026 Logik
Wintersemester 2015/2016 | Stand: 28.01.2016 | 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
Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.
schriftliche Prüfung
Michael Huth and Mark Ryan Logic in Computer Science (second edition) Cambridge University Press, 2004 ISBN 9780521543101 (paperback)
Vertrautheit mit formaler Notation und den Methoden, die in den Lehrveranstaltungen Einführung in die Theoretische Informatik und Diskrete Mathematik vermittelt werden
siehe Termine
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 05.10.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 08.10.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 12.10.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 15.10.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 19.10.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 22.10.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 29.10.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 05.11.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 09.11.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 12.11.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 16.11.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 19.11.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 23.11.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 26.11.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 30.11.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 03.12.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 07.12.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 10.12.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 14.12.2015
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 17.12.2015
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 11.01.2016
|
10.15 - 11.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 14.01.2016
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 18.01.2016
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 21.01.2016
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 25.01.2016
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 28.01.2016
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 01.02.2016
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 04.02.2016
|
08.00 - 11.15 | HS F (Technik) HS F (Technik) | Barrierefrei | Prüfung |
|
Do 04.02.2016
|
08.00 - 12.00 | HS E (Technik) HS E (Technik) | Barrierefrei | Prüfung |