Universität Wien FIND

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Vor-Ort-Lehre und Umstellung auf Online-Prüfungen) erforderlich sein. Melden Sie sich für Lehrveranstaltungen/Prüfungen über u:space an, informieren Sie sich über den aktuellen Stand auf u:find und auf der Lernplattform moodle.

Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter https://studieren.univie.ac.at/info.

180091 UE-GKL Übung Logik (2011W)

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

Zusammenfassung

1 Eder
2 Gottschall
3 Antos-Kuby
4 Toppel

An/Abmeldung

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