180043 UE-GKL Übung Logik (2015W)
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 15.09.2015 15:00 bis Mo 28.09.2015 09:00
- Anmeldung von Mi 30.09.2015 15:00 bis Mo 05.10.2015 09:00
- Abmeldung bis Sa 31.10.2015 23:59
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.
Gruppen
Gruppe 1
"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Montag
12.10.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
19.10.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
09.11.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
16.11.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
23.11.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
30.11.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
07.12.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
14.12.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
11.01.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
18.01.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
25.01.
11:30 - 13:00
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Gruppe 2
"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Donnerstag
15.10.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
22.10.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
29.10.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
05.11.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
12.11.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
19.11.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
26.11.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
03.12.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
10.12.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
17.12.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
07.01.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
14.01.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
21.01.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Donnerstag
28.01.
15:00 - 16:30
Hörsaal 3F NIG 3.Stock
Gruppe 3
"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Achtung!!! Die Uhrzeit 18.30-20.00 gilt erst ab 19.10.2015!!!
ACHTUNG!! Die LV beginnt erst am 19.10.2015 um 18:30-20.00 Uhr
Montag
12.10.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
19.10.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
09.11.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
16.11.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
23.11.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
30.11.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
07.12.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
14.12.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
11.01.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Montag
11.01.
20:15 - 22:00
Hörsaal 3E NIG 3.Stock
Montag
18.01.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Dienstag
19.01.
20:15 - 22:00
Hörsaal 3E NIG 3.Stock
Montag
25.01.
18:30 - 20:00
Hörsaal 3F NIG 3.Stock
Gruppe 4
"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
14.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
21.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
28.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
04.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
11.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
18.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
25.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
02.12.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
09.12.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
16.12.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
13.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
20.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
20.01.
15:00 - 17:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
27.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik', insbesondere der formalen Aspekte: Formationsregeln, Syntax und Semantik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen wie Vollständigkeitssatz, Kompaktheitssatz, Unvollständigkeitssätze, Nichtklassische Logiken, Prädikatenlogik mit unendlich langen Ausdrücken, Typentheorie, Modelltheorie; historische und aktuelle Diskussionen zu Status und Rolle von Logik beziehungsweise Logiken (Frege, Hahn, Brouwer, Carnap, Quine, Popper, Tarski)
Art der Leistungskontrolle und erlaubte Hilfsmittel
Übungsbeispiele, Mitarbeit und die Note des Übungstests fließen in die Gesamtbenotung ein. Für die beim Übungstest erlaubte Auswahl von Merkblättern siehe Moodle.
Mindestanforderungen und Beurteilungsmaßstab
vertieftes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen; Erwerb von Routine im Umgang mit Definitionen, formalen Sprachen und Beweisen; Kennenlernen und Reflektieren verschiedener Blickwinkel auf die Rolle von Logik beziehungsweise Logiken
Prüfungsstoff
Wiederholung und Vertiefung formaler Aspekte der Vorlesung: Vortrag; Präsentation der Übungsbeispiele durch Studierende; Diskussion von Problemen und Fragen
Literatur
erfolgen in Absprache mit der zugehörigen Vorlesung 'Grundkurs Logik'
Zuordnung im Vorlesungsverzeichnis
BA M 3.2, HPS (alt), M1.1, HPS (neu): M1.1, M1.3
Letzte Änderung: So 11.09.2022 00:19