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

180133 UE-GKL Exercise in Logic (2016S)

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

Summary

0 Eder , Moodle
1 Klug , Moodle
2 Fery , Moodle
4 Gottschall

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 0

"Exercises in Logic" is a complementary course to "Basic Logic" which aims to deepen the student's understanding of classical propositional and predicate logic. The exact contents of this course will depend on the contents of the lecture "Basic Logic" by Prof. Ramharter.

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Thursday 10.03. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 17.03. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 07.04. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 14.04. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 21.04. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 28.04. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 12.05. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 19.05. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 02.06. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 09.06. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 16.06. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 23.06. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock
  • Thursday 30.06. 13:15 - 14:45 Hörsaal 3F NIG 3.Stock

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

  • Wednesday 09.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 16.03. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 06.04. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 13.04. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 20.04. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 27.04. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 04.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 11.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 18.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 25.05. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 01.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 08.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 15.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 22.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Wednesday 29.06. 13:15 - 14:45 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

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

  • Tuesday 08.03. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 15.03. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 05.04. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 12.04. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 19.04. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 26.04. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 03.05. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 10.05. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 24.05. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 31.05. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 07.06. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 14.06. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 21.06. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock
  • Tuesday 28.06. 09:45 - 11:15 Hörsaal 3F NIG 3.Stock

Group 4

"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

Die Lehrveranstaltung am 17. März entfällt, wird aber in der zweiten Semesterhälfte nachgeholt.

  • Thursday 10.03. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 17.03. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 07.04. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 14.04. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 21.04. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 28.04. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 12.05. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 19.05. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 02.06. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 09.06. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 16.06. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Thursday 23.06. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Monday 27.06. 18:30 - 20:00 Hörsaal 3E NIG 3.Stock
  • Thursday 30.06. 15:00 - 16:30 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien

Aims, contents and method of the course

sämtliche Informationen hier: https://logik.phl.univie.ac.at/~chris/ss2016/

Assessment and permitted materials

sämtliche Informationen hier: https://logik.phl.univie.ac.at/~chris/ss2016/

Information

Minimum requirements and assessment criteria

sämtliche Informationen hier: https://logik.phl.univie.ac.at/~chris/ss2016/

Examination topics

Reading list

Association in the course directory

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

Last modified: Mo 07.09.2020 15:36