Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

180091 UE-GKL Exercise in Logic (2011W)

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

Summary

1 Eder
2 Gottschall
3 Antos-Kuby
4 Toppel

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

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