Universität Wien

180095 UE-GKL Exercise in Logic (2016W)

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

Summary

1 Gottschall , Moodle
2 Eder , Moodle
3 Fery , Moodle
4 Heinrich , 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

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

Lecturers

Classes (iCal) - next class is marked with N

  • Thursday 20.10. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 27.10. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 03.11. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 10.11. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 17.11. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 24.11. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 01.12. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 15.12. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 12.01. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 16.01. 18:30 - 20:00 Hörsaal. 2H NIG 2.Stock
  • Thursday 19.01. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Thursday 26.01. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock

Aims, contents and method of the course

Es handelt sich um die Übung zur gleichnamigen Vorlesung. In der Übung wird eine Teilmenge des Stoffes der Vorlesung behandelt und intensiv geübt. Die absoluten Grundlagen werden kurz wiederholt, unklare Punkte werden tiefergehend behandelt.

Ziele sind (1) ein grundlegendes Verständnis davon, was Logik (im aktuellen Sprachgebrauch) *ist*, und (2) die Fähigkeit, einfache logische Tätigkeiten auszuüben (die aussagenlogische Gültigkeit von Argumenten zu überprüfen, einfache Argumente herzuleiten usw.)

Assessment and permitted materials

mehrere schriftliche kurzfristig angekündigte Kurzprüfungen während des Semesters, eine längere schriftliche Abschlussprüfung am Semesterende

Group 2

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

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 21.10. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 28.10. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 04.11. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 11.11. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 18.11. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 25.11. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 02.12. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 09.12. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 16.12. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 13.01. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 20.01. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 27.01. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Aims, contents and method of the course

Das Hauptziel der LV besteht darin, durch Übungen das Verständnis zentraler Begriffe und Methoden der formalen Logik (Syntax und Semantik von formalen Sprachen, Logische Folgerung, Beweiskalküle, etc.) zu vertiefen. Der erste Teil jeder Einheit wird dazu verwendet, jeweils vorzubereitende Übungsbeispiele gemeinsam durchzubesprechen. Im zweiten Teil jeder Einheit werden durch den LV-Leiter die Inhalte vermittelt, die für das Lösen des jeweils nächsten Übungsblattes nötig sind.

Assessment and permitted materials

Die Gesamtnote setzt sich aus einer Mitarbeitsnote und einer Testnote zusammen. Die Mitarbeitsnote wird sich aus der Anzahl der gelösten Übungsbeispiele und der Anzahl der Tafelmeldungen ergeben. Der Abschlusstest findet in der letzten Einheit des Semesters statt.

Group 3

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

Lecturers

Classes (iCal) - next class is marked with N

  • Tuesday 18.10. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 25.10. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 08.11. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 15.11. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 22.11. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 29.11. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 06.12. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 13.12. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 10.01. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 17.01. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 24.01. 12:15 - 13:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Tuesday 31.01. 12:15 - 13:45 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 17.10. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 24.10. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 31.10. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 07.11. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 14.11. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 21.11. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 28.11. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 05.12. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 12.12. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 09.01. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 16.01. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 23.01. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
  • Monday 30.01. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock

Aims, contents and method of the course

"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.

Information

Minimum requirements and assessment criteria

Zur Beurteilung dienen mehrere schriftliche Teilprüfungen. Im Einklang mit dem prüfungsimmanenten Charakter der Lehrveranstaltung werden die genauen Termine kurzfristig angekündigt. Zusätzlich gibt es in der letzten Einheit des Semesters eine etwas umfangreichere Prüfung.

Jede der Prüfungsfragen ist einem der folgenden Themengebiete zugeordnet: (1) Semantik, (2) Syntax - Herleitungen, (3) Syntax - Sonstiges, (4) Theorie. Für eine positive Abschlussnote muss jedes dieser Gebiete positiv bewältigt worden sein.

Eine Anwesenheitspflicht im formalen Sinn gibt es nicht, aber der Stoff bedarf relativ intensiver Übung.

Die Hausübungen werden nicht benotet. Sie dienen dazu, mir (und nicht zuletzt Ihnen selbst) eine Rückmeldung darüber zu geben, welche Punkte weiterer Wiederholung und Übung bedürfen. Wenn Sie nicht zu jedem der Prüfungsgebiete mindestens ein Hausübungsbeispiel abgegeben und als richtig bewertet zurück erhalten haben, verwirken Sie jedoch das Recht, über eine negative Abschlussnote überrascht zu sein.

Examination topics

Syntax und Semantik der klassischen Aussagenlogik sowie die in der Übung behandelten Teile der Syntax und Semantik der klassischen Prädikatenlogik.

Reading list

Association in the course directory

BA M 3.2, HPS (neu): M1.1, M1.3

Last modified: Sa 24.08.2024 00:12