Universität Wien

180091 UE-GKL Exercise in Logic (2012S)

4.00 ECTS (2.00 SWS), SPL 18 - Philosophie
Continuous assessment of course work

Summary

1 Gottschall , Moodle
2 Eder
3 Benesch , Moodle
4 Linsbichler , Moodle

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 information is available for each group.

Groups

Group 1

Details: http://logik.phl.univie.ac.at/~chris/ss2012/ (ab Mitte Februar)

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
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 05.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 19.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 26.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 16.04. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 23.04. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 30.04. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 07.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 14.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 21.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 04.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 11.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 18.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 25.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock

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 2

max. 35 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 09.03. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 16.03. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 23.03. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 30.03. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 20.04. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 27.04. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 04.05. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 11.05. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 18.05. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 25.05. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 01.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 08.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 15.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 22.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock
  • Friday 29.06. 19:00 - 21:00 Hörsaal. 2H NIG 2.Stock

Aims, contents and method of the course

Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik': Syntax und Semanik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen

Assessment and permitted materials

Übungsbeispiele, die präsentiert werden und Abschlussprüfung

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

Group 3

max. 35 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 07.03. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 14.03. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 21.03. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 28.03. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 18.04. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 25.04. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 02.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 09.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 16.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 23.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 30.05. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 06.06. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 13.06. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 20.06. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock
  • Wednesday 27.06. 17:00 - 19:00 Hörsaal 3F NIG 3.Stock

Aims, contents and method of the course

Die Übung soll den Stoff der Einführungsvorlesung in die 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 einzuschä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 (schriftlich 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.

Group 4

Vorbesprechung am 7.3. um 16:15 Uhr. Erster Übungstermin: 14.3..
ACHTUNG!! Ersatztermin am 10.07.2012 im HS 3 F 9-11 Uhr!!

max. 35 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 07.03. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 14.03. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 21.03. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 28.03. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 18.04. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 25.04. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 02.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 09.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 16.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 23.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 30.05. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 06.06. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 13.06. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 20.06. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Wednesday 27.06. 16:00 - 18:00 Hörsaal 3E NIG 3.Stock
  • Tuesday 10.07. 09:00 - 11:00 Hörsaal 3F NIG 3.Stock

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; eventuell Ausblick auf weiterführende Themen

Assessment and permitted materials

Hausübungen, Mitarbeit, Leistung an der Tafel und Note der Abschlussprüfung 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

Information

Examination topics

Vortrag, Diskussion, Aufgaben, Präsentationen und deren Besprechung.

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, HPS M1.1

Last modified: We 09.09.2020 00:25