180091 UE-GKL Übung Logik (2012S)
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 14.02.2012 18:00 bis Mi 29.02.2012 19:00
- Abmeldung bis Sa 31.03.2012 23:00
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.
Gruppen
Gruppe 1
Details: http://logik.phl.univie.ac.at/~chris/ss2012/ (ab Mitte Februar)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
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Montag
05.03.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
19.03.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
26.03.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
16.04.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
23.04.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
30.04.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
07.05.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
14.05.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
21.05.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
04.06.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
11.06.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
18.06.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
25.06.
15:00 - 17: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.
Gruppe 2
max. 35 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Freitag
09.03.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
16.03.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
23.03.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
30.03.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
20.04.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
27.04.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
04.05.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
11.05.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
18.05.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
25.05.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
01.06.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
08.06.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
15.06.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
22.06.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Freitag
29.06.
19:00 - 21:00
Hörsaal. 2H NIG 2.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik': Syntax und Semanik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen
Art der Leistungskontrolle und erlaubte Hilfsmittel
Übungsbeispiele, die präsentiert werden und Abschlussprüfung
Mindestanforderungen und Beurteilungsmaßstab
Erwerb von Routine im Umgang mit formalen Sprachen und Beweisen, tieferes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen
Gruppe 3
max. 35 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
07.03.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
14.03.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
21.03.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
28.03.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
18.04.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
25.04.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
02.05.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
09.05.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
16.05.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
23.05.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
30.05.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
06.06.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
13.06.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
20.06.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Mittwoch
27.06.
17:00 - 19:00
Hörsaal 3F NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Die Übung soll den Stoff der Einführungsvorlesung in die Logik erläutern und vertiefen, d.h. die Studierenden sollen die grundlegenden Begriffsbildungen von Aussagen- und Prädikatenlogik verstehen, in ihren historischen Zusammenhang einordnen und die Bedeutung der Logik innerhalb der Philosophie einzuschätzen lernen. Insbesondere sollen die Studierenden Fertigkeiten im Feststellen von syntaktischer und semantischer Gültigkeit von aussagen- und prädikatenlogischen Argumenten erwerben. Da dazu eine gewisse Routine nötig ist, wird ein Teil der Zeit darauf verwendet, mit den Studierenden Beispiele zu üben.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Der Zeugniserwerb ergibt sich durch aktive Mitarbeit, durch Lösung von Aufgaben (schriftlich und mündlich) und durch theoretische Präsentationen im Bereich der Aussagen- und Prädikatenlogik.
Mindestanforderungen und Beurteilungsmaßstab
Aussagen- und Prädikatenlogik sollen in ihren Kalkülen trainiert und beherscht werden.
Gruppe 4
Vorbesprechung am 7.3. um 16:15 Uhr. Erster Übungstermin: 14.3..
ACHTUNG!! Ersatztermin am 10.07.2012 im HS 3 F 9-11 Uhr!!
ACHTUNG!! Ersatztermin am 10.07.2012 im HS 3 F 9-11 Uhr!!
max. 35 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
07.03.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
14.03.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
21.03.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
28.03.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
18.04.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
25.04.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
02.05.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
09.05.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
16.05.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
23.05.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
30.05.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
06.06.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
13.06.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
20.06.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Mittwoch
27.06.
16:00 - 18:00
Hörsaal 3E NIG 3.Stock
Dienstag
10.07.
09:00 - 11:00
Hörsaal 3F NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik': Syntax und Semantik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen
Art der Leistungskontrolle und erlaubte Hilfsmittel
Hausübungen, Mitarbeit, Leistung an der Tafel und Note der Abschlussprüfung fließen in die Gesamtbenotung ein
Mindestanforderungen und Beurteilungsmaßstab
Erwerb von Routine im Umgang mit formalen Sprachen und Beweisen, tieferes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen
Information
Prüfungsstoff
Vortrag, Diskussion, Aufgaben, Präsentationen und deren Besprechung.
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, HPS M1.1
Letzte Änderung: Mi 09.09.2020 00:25