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

180623 UE Beginning Logic (2010S)

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

Summary

1 Gottschall
2 Grave-Gierlinger

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

Am ersten Termin findet eine Vorbesprechung statt, in dem die weiteren Modalitäten (14-tägig zwei Wochenstunden; während einer Hälfte des Semesters wöchentlich zwei Stunden; wöchentlich eine Stunde) vereinbart werden.

Pünktliches Ende!!!

max. 80 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 08.03. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 15.03. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 22.03. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 12.04. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 19.04. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 26.04. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 03.05. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 10.05. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 17.05. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 31.05. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 07.06. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 14.06. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 21.06. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9
  • Monday 28.06. 13:30 - 15:00 Hörsaal 32 Hauptgebäude, 1.Stock, Stiege 9

Aims, contents and method of the course

Syntax and semantics of classical propositional logic: a formal language and formal derivation rules (natural deduction) for classical propositional logic.

Assessment and permitted materials

zwei schriftliche Prüfungen

Group 2

max. 45 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 19.03. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 26.03. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 16.04. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 23.04. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 30.04. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 07.05. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 14.05. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 21.05. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 28.05. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 04.06. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 11.06. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 18.06. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
  • Friday 25.06. 11:00 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Aims, contents and method of the course

Die Übung ist als begleitende Veranstaltung zur Einführungsvorlesung in die Logik gedacht und soll das dort vorgetragene Material erläutern und vertiefen. Es wird der Umgang mit aussagen- und prädikatenlogischen Systemen behandelt. Im Zentrum stehen hierbei (1) die Vermittlung eines grundlegenden Verständnisses für den Aufbau entsprechender formaler Sprachen und (2) der Erwerb ausreichender Kompetenz in der Arbeit mit diesen Sprachen zur Problemlösung. Die dazu nötige Routine soll durch das Erarbeiten von Beispielen erlangt werden.

Assessment and permitted materials

Übungsbeispiele; Abschlussprüfung

Information

Minimum requirements and assessment criteria

Examination topics

Vortrag; Besprechen der Übungsbeispiele

Reading list

siehe Vorlesung

Association in the course directory

PP § 57.2.3

Last modified: Fr 26.02.2021 00:20