Universität Wien
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

180623 UE Logik-Übungen für LA (2010S)

2.00 ECTS (1.00 SWS), SPL 18 - Philosophie
Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

1 Gottschall
2 Grave-Gierlinger

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.

Gruppen

Gruppe 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 Teilnehmer*innen
Sprache: Deutsch

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

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

Ziele, Inhalte und Methode der Lehrveranstaltung

Syntax und Semantik der klassischen Aussagenlogik: eine formale Sprache und formale Schlussregeln (in Gestalt eines Kalküls des natürlichen Schließens) für die klassische Aussagenlogik.

Art der Leistungskontrolle und erlaubte Hilfsmittel

zwei schriftliche Prüfungen

Gruppe 2

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

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

Ziele, Inhalte und Methode der Lehrveranstaltung

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.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Übungsbeispiele; Abschlussprüfung

Information

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Vortrag; Besprechen der Übungsbeispiele

Literatur

siehe Vorlesung

Zuordnung im Vorlesungsverzeichnis

PP § 57.2.3

Letzte Änderung: Fr 26.02.2021 00:20