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

180001 UE Logic-exercise for teaching post candidate (2011S)

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

Summary

1 Antos-Kuby
2 Grave-Gierlinger
3 Muhr
4 Antos-Kuby
5 Antos-Kuby

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 04.03. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 11.03. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 18.03. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 25.03. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 01.04. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 08.04. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 15.04. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 06.05. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 13.05. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 20.05. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 27.05. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 03.06. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 10.06. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 17.06. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Friday 24.06. 09:00 - 10: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.

Assessment and permitted materials

Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.

Group 2

Fr 20.5./27.5./10.6./17.6./24.6. 16-18 Uhr HS 2G
Sa 21.5./28.5./18.6./25.6. 10-12 Uhr HS 2G

max. 45 participants
Language: German

Lecturers

Classes

Currently no class schedule is known.

Aims, contents and method of the course

Die Übung ist als begleitende Veranstaltung zur Einführungsvorlesung in die Logik gedacht und soll das dort vorgetragene Material erläutern und vertiefen. Eine Teilnahme an der Übung setzt den Besuch der Vorlesung voraus.

Assessment and permitted materials

Übungen, Prüfung

Minimum requirements and assessment criteria

Die Studierenden sollen mit aussagen- und prädikatenlogischen Systemen vertraut gemacht werden. Dies umfasst (1) selbstständig eine formale Sprache konstruieren zu können; (2) die Fähigkeit formale Sprachen zur Lösung einfacher logischer Probleme zu verwenden.

Examination topics

Vortrag, Übungen, Diskussion

Group 3

Achtung!!! Der Termin am 11.04.2011 muß krankheitsbedingt leider entfallen!!!

max. 45 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 07.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 21.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 28.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 23.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 30.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 20.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Monday 27.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock

Aims, contents and method of the course

Syntax und Semantik der klassischen Aussagenlogik: eine formale Sprache und formale Schlussregeln (in Gestalt eines Kalküls des natürlichen Schließens) für die klassische Aussagenlogik.

Assessment and permitted materials

wird in der Übung bekanntgegeben

Minimum requirements and assessment criteria

Erwerb theoretischer Kenntnisse in Aussagen- und Prädikatenlogik
Art der Leistungskontrolle: schriftliche Prüfung am Ende des Semesters oder schriftliche/mündliche Prüfung ab dem Folgesemester in meiner Sprechstunde

Examination topics

Vortrag mit Möglichkeit zur Diskussion

Group 4

max. 45 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 04.03. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 11.03. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 18.03. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 25.03. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 01.04. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 08.04. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 15.04. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 06.05. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 13.05. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 20.05. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 27.05. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 03.06. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 10.06. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 17.06. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Friday 24.06. 10: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.

Assessment and permitted materials

Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.

Group 5

max. 45 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 02.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 09.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 16.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 23.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 30.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 06.04. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 13.04. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 04.05. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 11.05. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 18.05. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 25.05. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 01.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 08.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 15.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 22.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Wednesday 29.06. 18:00 - 19: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.

Assessment and permitted materials

Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.

Information

Reading list

Materialen der Vorlesung; Skriptum

Association in the course directory

PP § 57.2.3

Last modified: Fr 26.02.2021 00:20