180676 UE-GKL Übung Logik (2011S)
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 Fr 11.02.2011 14:00 bis So 27.02.2011 09:00
- Abmeldung bis Do 31.03.2011 23: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
17.03.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
24.03.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
31.03.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
07.04.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
14.04.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
05.05.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
12.05.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
19.05.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
26.05.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
09.06.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
16.06.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
Donnerstag
30.06.
16:00 - 18:00
Hörsaal 3B NIG 3.Stock
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 formalen Logik (Normalformen, Korrektheits- und Vollständigkeitssatz, 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 ein Test am Ende der Übung
Literatur
siehe Vorlesung
Gruppe 2
Anwesenheitspflicht am 7. März 2011, am 2. Mai 2011 und am 27. Juni 2011. Zwei schriftliche Prüfungen, und zwar am 2. Mai 2011 und am 27. Juni 2011. Ersatztermin bei Krankheit: 11. Juli 2011.Details: http://logik.phl.univie.ac.at/~chris/ss2011/
max. 35 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Montag
07.03.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
21.03.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
28.03.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
04.04.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
11.04.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
02.05.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
09.05.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
16.05.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
23.05.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
30.05.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
06.06.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
20.06.
13:00 - 15:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
27.06.
13:00 - 15:00
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.Im zweiten Teil der Vorlesung werden, je nachdem wie viel Zeit zur Verfügung steht, fortgeschrittene Themen der formalen Logik (Normalformen, Korrektheits- und Vollständigkeitssatz, 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
Zwei schriftliche Prüfungen, und zwar am 2. Mai 2011 und am 27. Juni 2011. Ersatztermin bei Krankheit: 11. Juli 2011.
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
Gruppe 3
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Dienstag
01.03.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
08.03.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
15.03.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
22.03.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
29.03.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
05.04.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
12.04.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
03.05.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
10.05.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
17.05.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
24.05.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
31.05.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
07.06.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
21.06.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Dienstag
28.06.
10:00 - 11:30
Hörsaal 3F NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Zu den in der Vorlesung vermittelten Inhalten werden Übungsaufgaben gestellt und besprochen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
wöchentlich auszuarbeitende Aufgaben, 2 Tests
Gruppe 4
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Donnerstag
17.03.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
24.03.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
31.03.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
07.04.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
14.04.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
05.05.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
12.05.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
19.05.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
26.05.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
09.06.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
16.06.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
Donnerstag
30.06.
13:00 - 15:00
Hörsaal 2i NIG 2.Stock C0228
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 formalen Logik (Normalformen, Korrektheits- und Vollständigkeitssatz, 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 ein Test am Ende der Übung
Literatur
siehe Vorlesung
Information
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Zuordnung im Vorlesungsverzeichnis
BA M 3.2, § 3.2.5, HPS M1.1
Letzte Änderung: Sa 10.09.2022 00:19