180094 UE-GKL Übung Logik (2014W)
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 So 14.09.2014 14:00 bis Mo 29.09.2014 14:00
- Abmeldung bis Fr 31.10.2014 14: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
Montag
06.10.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
13.10.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
20.10.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
27.10.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
03.11.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
10.11.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
17.11.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
24.11.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
01.12.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
15.12.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
12.01.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
19.01.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Montag
26.01.
13:15 - 14:45
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Art der Leistungskontrolle und erlaubte Hilfsmittel
Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.
Gruppe 2
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
08.10.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
15.10.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
22.10.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
29.10.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
05.11.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
12.11.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
19.11.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
26.11.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
03.12.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
10.12.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
17.12.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
07.01.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
14.01.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
21.01.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
28.01.
11:30 - 13:00
Hörsaal 2i NIG 2.Stock C0228
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.
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.
Gruppe 3
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Freitag
10.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
17.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
24.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
31.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
07.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
14.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
21.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
28.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
05.12.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
12.12.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
09.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
16.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
23.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Freitag
30.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
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.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Der positive Abschluss erfordert
- aktive und regelmäßige Teilnahme
- eine positive Note auf zwei kleinere Test (einer Mitte, einer Ende des Semesters)
- lösen der wöchentlich aufgegebenen Übungen
- aktive und regelmäßige Teilnahme
- eine positive Note auf zwei kleinere Test (einer Mitte, einer Ende des Semesters)
- lösen der wöchentlich aufgegebenen Übungen
Prüfungsstoff
Vortrag, Übungsbeispiele
Gruppe 4
empfohlen zusammen mit Vorlesung 'Grundkurs Logik'
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Montag
06.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
13.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
20.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
27.10.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
03.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
10.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
17.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
24.11.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
01.12.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
15.12.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Mittwoch
07.01.
13:15 - 14:45
Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
Montag
12.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
19.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
Montag
26.01.
13:15 - 14:45
Hörsaal 2i NIG 2.Stock C0228
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; eventuell Einblicke in historische und aktuelle Diskussionen zu Status und Rolle von Logik beziehungsweise Logiken (Frege, Hahn, Brouwer, Carnap, Quine, Tarski)
Art der Leistungskontrolle und erlaubte Hilfsmittel
Übungsbeispiele, Mitarbeit und insbesondere die Note des Übungstests fließen in die Gesamtbenotung ein
Prüfungsstoff
Wiederholung und Vertiefung formaler Aspekte der Vorlesung: Vortrag; Präsentation der Übungsbeispiele durch Studierende; Diskussion von Problemen und Fragen
Information
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
Literatur
erfolgen in Absprache mit der zugehörigen Vorlesung ‚Grundkurs Logik‘; Niko Strobach – Einführung in die Logik
Zuordnung im Vorlesungsverzeichnis
BA M 3.2, HPS (alt), M1.1, HPS (neu): M1.1, M1.3
Letzte Änderung: Sa 10.09.2022 00:19