180091 UE-GKL Exercise in Logic (2011W)
Continuous assessment of course work
Labels
Summary
Registration/Deregistration
Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
- Registration is open from Th 15.09.2011 00:00 to Su 02.10.2011 08:00
- Deregistration possible until Mo 31.10.2011 00:00
Registration information is available for each group.
Groups
Group 1
max. 45 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
Friday
07.10.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
14.10.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
21.10.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
28.10.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
04.11.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
11.11.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
18.11.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
25.11.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
02.12.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
09.12.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
16.12.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
13.01.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
20.01.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
27.01.
18:00 - 20:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Group 2
Details: http://logik.phl.univie.ac.at/~chris/ws2011-2012/Anwesenheitspflicht bei der Vorbesprechung und bei beiden Prüfungsterminen.Übung, d.h. (a) Anmeldung im Univis UND (b) Unterschrift in der Teilnehmer(innen)liste sind erforderlich, um eine Note zu bekommen. Abmeldung ist nur innerhalb der Abmeldefrist möglich, danach gibt es automatisch eine Note.
max. 35 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
Monday
03.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
10.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
17.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
24.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
31.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
07.11.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
14.11.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
21.11.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
28.11.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
05.12.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
12.12.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
09.01.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
16.01.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
23.01.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Monday
30.01.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Aims, contents and method of the course
Die Übung soll helfen, im Umgang mit Aussagen- und Prädikatenlogik (deren Theorie in der Vorlesung dargestellt wird) die Praxis zu erwerben, die nötig ist, um Aufgaben in diesen Logiken lösen zu können.
Group 3
max. 45 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
Thursday
06.10.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
13.10.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
20.10.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
27.10.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
03.11.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
10.11.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
17.11.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
24.11.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
01.12.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
15.12.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
12.01.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
19.01.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Thursday
26.01.
09:00 - 11:00
Hörsaal 3B NIG 3.Stock
Aims, contents and method of the course
Die "Übung Logik" findet begleitend zu der Vorlesung "Grundkurs Logik" statt. In ihr sollen die inhaltlichen Schwerpunkte der Vorlesung (Semantik und Syntax der Aussagen- und Prädikatenlogik) angewendet und vertieft werden. Besonders soll das praktische Arbeiten mit Aufgaben aus der Logik geübt werden, zum Beispiel Wahrheitswerttabellen und Ableitungen im Kalkül des natürlichen Schließens.
Group 4
max. 45 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
Tuesday
04.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
11.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
18.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
25.10.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
08.11.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
15.11.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
22.11.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
29.11.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
06.12.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
13.12.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
10.01.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
17.01.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
24.01.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
31.01.
19:00 - 20:30
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Aims, contents and method of the course
Begleitend zur Vorlesung "Grundkurs Logik" soll diese Übung ein grundlegendes Verständnis von Syntax und Semantik formaler Systeme, am Beispiel von Aussagen- und Prädikatenlogik, vermitteln.
Information
Assessment and permitted materials
Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.
Minimum requirements and assessment criteria
Examination topics
Reading list
Als eine Mischung aus begleitender und vertiefender Einführungsliteratur (die aber nicht auf die Prüfungsbewältigung ausgerichtet ist) eignen sich vorzüglich Hodges: "Logic" (Penguin-Taschenbuch, also sehr erschwinglich) und Salmon: "Logik" (Reclam, also sehrsehr erschwinglich).Weitere Informationen: http://logik.phl.univie.ac.at/~chris/lva-faq.html#literatur
Association in the course directory
BA M 3.2, § 3.2.5, HPS M1.1
Last modified: Mo 07.09.2020 15:36