Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
180091 UE-GKL Übung Logik (2011W)
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 Do 15.09.2011 00:00 bis So 02.10.2011 08:00
- Abmeldung bis Mo 31.10.2011 00: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
- Freitag 07.10. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 14.10. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 21.10. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 28.10. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 04.11. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 11.11. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 18.11. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 25.11. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 02.12. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 09.12. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 16.12. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 13.01. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 20.01. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Freitag 27.01. 18:00 - 20:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Gruppe 2
Details: http://logik.phl.univie.ac.at/~chris/ws2011-2012/Anwesenheitspflicht bei der Vorbesprechung und bei beiden Prüfungsterminen.Übung, d.h. (a) Anmeldung im Univis UND (b) Unterschrift in der Teilnehmer(innen)liste sind erforderlich, um eine Note zu bekommen. Abmeldung ist nur innerhalb der Abmeldefrist möglich, danach gibt es automatisch eine Note.
max. 35 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Montag 03.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 10.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 17.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 24.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 31.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 07.11. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 14.11. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 21.11. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 28.11. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 05.12. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 12.12. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 09.01. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 16.01. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 23.01. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Montag 30.01. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
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.
Gruppe 3
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Donnerstag 06.10. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 13.10. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 20.10. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 27.10. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 03.11. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 10.11. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 17.11. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 24.11. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 01.12. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 15.12. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 12.01. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 19.01. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
- Donnerstag 26.01. 09:00 - 11:00 Hörsaal 3B NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
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.
Gruppe 4
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Dienstag 04.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 11.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 18.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 25.10. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 08.11. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 15.11. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 22.11. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 29.11. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 06.12. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 13.12. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 10.01. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 17.01. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 24.01. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 31.01. 19:00 - 20:30 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Ziele, Inhalte und Methode der Lehrveranstaltung
Begleitend zur Vorlesung "Grundkurs Logik" soll diese Übung ein grundlegendes Verständnis von Syntax und Semantik formaler Systeme, am Beispiel von Aussagen- und Prädikatenlogik, vermitteln.
Information
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
Als eine Mischung aus begleitender und vertiefender Einführungsliteratur (die aber nicht auf die Prüfungsbewältigung ausgerichtet ist) eignen sich vorzüglich Hodges: "Logic" (Penguin-Taschenbuch, also sehr erschwinglich) und Salmon: "Logik" (Reclam, also sehrsehr erschwinglich).Weitere Informationen: http://logik.phl.univie.ac.at/~chris/lva-faq.html#literatur
Zuordnung im Vorlesungsverzeichnis
BA M 3.2, § 3.2.5, HPS M1.1
Letzte Änderung: Mo 07.09.2020 15:36