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