Universität Wien FIND

180006 UE M-03 Exercise Course in Logic (2019S)

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

Summary

Registration/Deregistration

Registration information is available for each group.

Groups

Group 1

max. 45 participants
Language: German
LMS: Moodle

Registration/Deregistration

  • Registration is open from Th 07.02.2019 09:00 to We 13.02.2019 10:00
  • Registration is open from We 20.02.2019 09:00 to Tu 26.02.2019 10:00
  • Deregistration possible until Su 31.03.2019 23:59

Lecturers

Classes (iCal) - next class is marked with N

Monday 11.03. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 18.03. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 25.03. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 08.04. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 29.04. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 06.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 13.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 20.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 27.05. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 03.06. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock
Monday 17.06. 11:30 - 13:00 Hörsaal 3B NIG 3.Stock

Aims, contents and method of the course

Übungsaufgaben zum Inhalt der Vorlesung werden von Studierenden oder LV-Leiterin an der Tafel präsentiert
Möglichkeit zum ausführlichen Stellen von Fragen

Assessment and permitted materials

zwei schriftliche Tests, 1. Test zur Aussagenlogik, 2. Test zur Modallogik und Prädikatenlogik, Hausübungen

Minimum requirements and assessment criteria

für eine positive Note erforderlich:
mind. 50% der Aufgaben müssen bearbeitet sein
beide Tests müssen positiv sein (jeweils mind. 50% der Gesamtpunkte)
Die Note errechnet sich als Durchschnitt der Testnoten, kann um einen Grad verbessert werden, wenn mind. 3 Tafelmeldungen stattgefunden haben; eine Verbesserung einer negativen Note ist auf diese Weise aber nicht möglich.
(Das Ausbessern eines negativen Tests durch einen Ersatztest ist u.U. möglich, zwei negative Testnoten bedeuten aber jedenfalls eine negative Endnote.)

Examination topics

Aufgaben wie in der Übung besprochen

Reading list

Sammlung von Übungsaufgaben im moodle, sonst keine Literatur erforderlich

Group 2

max. 45 participants
Language: English
LMS: Moodle

Registration/Deregistration

  • Registration is open from Th 07.02.2019 09:00 to We 13.02.2019 10:00
  • Registration is open from We 20.02.2019 09:00 to Tu 26.02.2019 10:00
  • Deregistration possible until Su 31.03.2019 23:59

Lecturers

Classes (iCal) - next class is marked with N

Tuesday 19.03. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 26.03. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 02.04. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 09.04. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 30.04. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 07.05. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 14.05. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 21.05. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 28.05. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 04.06. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 25.06. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Aims, contents and method of the course

The aim of the course is to deepen the understanding of topics discussed in the Fundamentals of Logic course.

The course covers exercises on the following topics:

- semantics and proof theory of propositional calculus (a system of
natural deduction and a tableau calculus)

- semantics and proof theory of basic modal logic

- semantics and proof theory for first order predicate calculus

The class consists of solving exercises in groups and on the blackboard.

Assessment and permitted materials

Two written tests

Minimum requirements and assessment criteria

1) weekly homework uploaded to Moodle (minimally 75%)
2) attendance of the classes (minimally 75%)
3) positive grade in the two written tests

Reading list

Exercises and supporting materials that are uploaded to the Moodle course.

Group 3

max. 45 participants
Language: German
LMS: Moodle

Registration/Deregistration

  • Registration is open from Th 07.02.2019 09:00 to We 13.02.2019 10:00
  • Registration is open from We 20.02.2019 09:00 to Tu 26.02.2019 10:00
  • Deregistration possible until Su 31.03.2019 23:59

Lecturers

Classes (iCal) - next class is marked with N

Wednesday 13.03. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 20.03. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 27.03. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 03.04. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 10.04. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 08.05. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 15.05. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 22.05. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 29.05. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 05.06. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 12.06. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Wednesday 26.06. 20:15 - 21:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Aims, contents and method of the course

Die Übung dient dazu, sich mit dem Stoff der Vorlesung anhand konkreter Beispiele auseinanderzusetzen. Dazu werden wöchentlich selbständig Aufgaben zu lösen sein. Jene Aufgaben, die die Studierenden bereit sind zu präsentieren, werden von diesen in einer Kreutzerlliste (moodle) eingetragen. Auf Basis dieser Liste werden dann Studierende ausgewählt, welche die jeweiligen Beispiele in der Übung präsentieren. Diese Ergebnisse werden dann gemeinsam besprochen.

Am Ende einer Einheit wird vom Lehrveranstaltungsleiter noch einmal der Stoff, auf welchem die nächsten Übungsbeispiele aufbauen, präsentiert.

Assessment and permitted materials

Die Leistung der Studierenden setzt sich aus der Mitarbeitsleistung (max. 24 Pkt.) und der Prüfungsleistung (max. 76 Pkt.) zusammen.

Die Mitarbeitsleistung ergibt sich aus der Anzahl der in der Kreutzerlliste eingetragenen Übungsbeispiele (max. 20 Pkt) und den Tafelmeldungen (max. 4 Pkt.).

Die Prüfungsleistung wird auf Basis zweier schriftlicher Prüfungen ermittelt (jeweils max. 38 Pkt.), welche in der Mitte und am Ende des Semesters im Rahmen der Übung abgehalten werden.

Minimum requirements and assessment criteria

Für eine positive Beurteilung müssen mindestens 50 Punkte erreicht werden.

Examination topics

Die in der Übung besprochenen Inhalte und Beispiele.

Reading list

Den Studierenden werden neben den Beispielen auch wöchentlich Handouts zur Verfügung gestellt (moodle), die die Inhalte auf denen die Beispiele aufbauen nochmals kurz zusammenfassen.

Association in the course directory

Last modified: Su 03.03.2019 10:08