Warning! The directory is not yet complete and will be amended until the beginning of the term.
180086 UE-GKL Exercise in Logic (2013W)
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 Su 15.09.2013 19:00 to Su 29.09.2013 12:00
- Deregistration possible until Th 31.10.2013 23:00
Registration information is available for each group.
Groups
Group 1
"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.
max. 45 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
- Thursday 10.10. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 17.10. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 24.10. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 31.10. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 07.11. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 14.11. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 21.11. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 28.11. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 05.12. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 12.12. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 09.01. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 16.01. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 23.01. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Thursday 30.01. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
Assessment and permitted materials
Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.
Group 2
max. 45 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Wednesday 09.10. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 16.10. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 23.10. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 30.10. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 06.11. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 13.11. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 20.11. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 27.11. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 04.12. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 11.12. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 18.12. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 08.01. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 15.01. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 22.01. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Wednesday 29.01. 18:30 - 20:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
Aims, contents and method of the course
Die Übung soll den Stoff der Vorlesung "Grundkurs Logik" erläutern und vertiefen, d.h. die Studierenden sollen die grundlegenden Begriffsbildungen von Aussagen- und Prädikatenlogik verstehen, in ihren historischen Zusammenhang einordnen und die Bedeutung der Logik innerhalb der Philosophie einschätzen lernen. Insbesondere sollen die Studierenden Fertigkeiten im Feststellen von syntaktischer und semantischer Gültigkeit von aussagen- und prädikatenlogischen Argumenten erwerben. Da dazu eine gewisse Routine nötig ist, wird ein Teil der Zeit darauf verwendet, mit den Studierenden Beispiele zu üben.
Assessment and permitted materials
Der Zeugniserwerb ergibt sich durch aktive Mitarbeit, durch Lösung von Aufgaben (schriftliche mittels Textverarbeitungsprogramm und mündlich) und durch theoretische Präsentationen im Bereich der Aussagen- und Prädikatenlogik.
Minimum requirements and assessment criteria
Aussagen- und Prädikatenlogik sollen in ihren Kalkülen trainiert und beherscht werden.
Examination topics
Vortrag, Diskussion, Aufgaben, Präsentationen und deren Besprechung.
Group 3
max. 45 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
- Monday 07.10. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 14.10. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 21.10. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 28.10. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 04.11. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 11.11. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 18.11. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 25.11. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 02.12. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 09.12. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 16.12. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 13.01. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 20.01. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Monday 27.01. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Group 4
max. 45 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Monday 07.10. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 14.10. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 21.10. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 28.10. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 04.11. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 11.11. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 18.11. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 25.11. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 02.12. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 09.12. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 16.12. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 13.01. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 20.01. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 27.01. 12:00 - 14:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
Aims, contents and method of the course
Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik': Syntax und Semantik von Aussagenlogik und Prädikatenlogik erster Stufe; Ausblick auf weiterführende Themen (Geschichte, Rolle und Status der Logik; nichtklassische Logiken)
Assessment and permitted materials
Hausübungen, Mitarbeit und Note des Abschlusstests fließen in die Gesamtbenotung ein
Minimum requirements and assessment criteria
Erwerb von Routine im Umgang mit formalen Sprachen und Beweisen; tieferes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen
Examination topics
Präsentation und Diskussion der Übungsbeispiele; Vortrag wichtiger Konzepte aus der Vorlesung
Information
Reading list
Association in the course directory
BA M 3.2, HPS M1.1
Last modified: Mo 07.09.2020 15:36