180006 VO-GKL Basic Logic (2015S)
Labels
Es wird dringend empfohlen, die Vorlesung nur in Verbindung mit einer entsprechenden Übung zu besuchen, da Vorlesung und Übung als Einheit konzipiert sind.
Details
Language: German
Examination dates
- Tuesday 23.06.2015
- Monday 29.06.2015 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 19.10.2015
- Monday 09.11.2015
- Monday 14.12.2015
- Thursday 07.01.2016
Lecturers
Classes (iCal) - next class is marked with N
- Monday 09.03. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 16.03. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 23.03. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 13.04. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 20.04. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 27.04. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 04.05. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 11.05. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 18.05. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 01.06. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 08.06. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 15.06. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
- Monday 22.06. 13:15 - 14:45 Hörsaal 31 Hauptgebäude, 1.Stock, Stiege 9
Information
Aims, contents and method of the course
The course is an introduction into first order logic.
Assessment and permitted materials
Minimum requirements and assessment criteria
Examination topics
Reading list
Association in the course directory
BA M 3.1, HPS M1.1, HPS (neu) M1.1, M1.3
Last modified: Sa 24.08.2024 00:12