Universität Wien FIND
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-Ramharter

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: Su 24.04.2022 00:22