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

180014 UE-GKL Exercise in Logic (2014S)

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

Summary

1 Antos-Kuby
2 Gottschall
3 Heinrich

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

Lecturers

Classes (iCal) - next class is marked with N

  • Thursday 13.03. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 20.03. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 27.03. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 03.04. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 10.04. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 08.05. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 15.05. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 22.05. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 05.06. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 12.06. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 26.06. 11:00 - 13:00 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
  • Thursday 03.07. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien

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

Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.

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

Lecturers

Classes (iCal) - next class is marked with N

Achtung!!

Die beiden Juli Termine sind Prüfungstermine

  • Friday 14.03. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 21.03. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 28.03. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 04.04. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 11.04. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 02.05. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 09.05. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 16.05. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 23.05. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 30.05. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 06.06. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 13.06. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 20.06. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 27.06. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 11.07. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 18.07. 16:45 - 18:15 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien

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

Grading will consist of two exams.

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

Lecturers

Classes (iCal) - next class is marked with N

  • Tuesday 11.03. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 18.03. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 25.03. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 01.04. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 08.04. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 29.04. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 06.05. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 13.05. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 20.05. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 27.05. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 03.06. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 17.06. 10:00 - 11:30 Hörsaal 3F NIG 3.Stock
  • Tuesday 24.06. 10:00 - 11:30 Hörsaal 3F 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

Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.

Group 4

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 14.03. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 21.03. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 28.03. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 04.04. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 11.04. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 02.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 09.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 16.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 23.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 30.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 06.06. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 13.06. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 20.06. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Friday 27.06. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien

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, calculus of natural deduction and semantics of predicate logic.

Assessment and permitted materials

Grading will consist of
- active and constant participation
- two exams (one halfway through, the other at the end of the course)
- solving exercises which are given every week

Information

Minimum requirements and assessment criteria

Examination topics

Die wesentlichen Elemente des Stoffes der Vorlesung werden geübt, je nach Wunsch der Teilnehmenden auch intensiv bis exzessiv. Darüberhinaus werden (a) die wichtigsten Punkte des Vorlesungsstoffes erschöpfend wiederholt und erläutert und (b) alle Fragen der Teilnehmenden beantwortet.

Reading list


Association in the course directory

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

Last modified: Sa 24.08.2024 00:12