Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
180277 UE-GKL Übung Logik (2009W)
Prüfungsimmanente Lehrveranstaltung
Labels
Zusammenfassung
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Di 15.09.2009 12:00 bis Do 01.10.2009 12:00
- Abmeldung bis Sa 31.10.2009 12:00
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.
Gruppen
Gruppe 1
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Donnerstag 08.10. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 15.10. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 22.10. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 29.10. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 05.11. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 12.11. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 19.11. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 26.11. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 03.12. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 10.12. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 17.12. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 07.01. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 14.01. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 21.01. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
- Donnerstag 28.01. 13:00 - 15:00 Hörsaal 2i NIG 2.Stock C0228
Gruppe 2
max. 35 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Montag 12.10. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 19.10. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 09.11. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 16.11. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 23.11. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 30.11. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 07.12. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 14.12. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 11.01. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 18.01. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 25.01. 13:00 - 15:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Die Übung soll helfen, im Umgang mit Aussagen- und Prädikatenlogik (deren Theorie in der Vorlesung dargestellt wird) die Praxis zu erwerben, die nötig ist, um Aufgaben in diesen Logiken lösen zu können.Im zweiten Teil der Vorlesung werden, je nachdem wie viel Zeit zur Verfügung steht, fortgeschrittene Themen der modernen Logik (Korrektheits- und Vollständigkeitssatz, Kompaktheit, Satz von Löwenheim-Skolem), Nichtklassische Logiken (Modallogik, Mehrwertige Logik, Prädikatenlogik zweiter Stufe), sowie Geschichte und Philosophie der Logik behandelt.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Übungsbeispiele, die in der Übung präsentiert werden, sowie zwei (kleine) schriftliche Prüfungen.
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
siehe Vorlesung
Zuordnung im Vorlesungsverzeichnis
BA M 3.2, § 3.2.5
Letzte Änderung: Sa 10.09.2022 00:19