Universität Wien

180051 UE-GKL Übung Logik (2013S)

4.00 ECTS (2.00 SWS), SPL 18 - Philosophie
Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

1 Antos-Kuby
2 Eder
3 Gottschall
4 Linsbichler , Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.

Gruppen

Gruppe 1

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.

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Donnerstag 14.03. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 21.03. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 11.04. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 18.04. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 25.04. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 02.05. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 16.05. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 23.05. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 06.06. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 13.06. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 20.06. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock
  • Donnerstag 27.06. 09:00 - 11:00 Hörsaal. 2H NIG 2.Stock

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 2

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Freitag 15.03. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 22.03. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 12.04. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 19.04. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 26.04. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 03.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 10.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 17.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 24.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 31.05. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 07.06. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 14.06. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 21.06. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien
  • Freitag 28.06. 14:00 - 16:00 Hörsaal 3D, NIG Universitätsstraße 7/Stg. III/3. Stock, 1010 Wien

Ziele, Inhalte und Methode der Lehrveranstaltung

Die LV wird sich vorwiegend mit dem Stoff der LV 'Grundkurs Logik' befassen. Durch Übungsbeispiele und Diskussion soll ein vertieftes Verständnis der dort erlernten Begriffe und Methoden erreicht werden.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Übungsbeispiele, Mitarbeit, Abschlusstest

Prüfungsstoff

Übungsbeispiele werden präsentiert und diskutiert

Gruppe 3

Details siehe http://logik.phl.univie.ac.at/~chris/ss2013/ und https://www.facebook.com/grundkurs.logik

Beginn ist leider doch erst der 18. März 2013, weil am 11. März vorlesungsfrei ist (Rektorstag).

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Montag 18.03. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 08.04. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 15.04. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 22.04. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 29.04. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 06.05. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 13.05. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 27.05. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 03.06. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 10.06. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 17.06. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock
  • Montag 24.06. 11:00 - 13:00 Hörsaal 3B NIG 3.Stock

Ziele, Inhalte und Methode der Lehrveranstaltung

Die Übung zur Vorlesung "Einführung in die Logik" ist die Übung zur Vorlesung "Einführung in die Logik" und dient als solche dazu, die in der Vorlesung gelehrten und womöglich gelernten Inhalte zu verfestigen, zu erläutern und zu üben. Entsprechend werden - in Abstimmung mit den Teilnehmenden und nach Erforschung der Hausübungen - jene Bereiche (vor allem jene grundlegenden Bereiche) herausgegriffen, bei denen seitens der Teilnehmenden Unsicherheiten, Unklarheiten und/oder Übungsbedarf bestehen.

Weiteres siehe http://logik.phl.univie.ac.at/~chris/ss2013/ und https://www.facebook.com/grundkurs.logik

Art der Leistungskontrolle und erlaubte Hilfsmittel

zwei schriftliche Prüfungen plus - für den Krankheitsfall - ein Ersatztermin nach Semesterende

Mindestanforderungen und Beurteilungsmaßstab

Die Übung dient dazu, die in der Vorlesung gelehrten und womöglich gelernten Inhalte zu verfestigen, zu erläutern und zu üben.

Gruppe 4

MI wtl von 13.03.2013 bis 26.06.2013 09.00-11.00 Ort: Hörsaal 3F NIG 3. Stock; Termine Übungstests: 17.07.2013 und 24.07.2013 09.00-11.00 Ort: Hörsaal 2G

max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine

Zur Zeit sind keine Termine bekannt.

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; Ausblick auf weiterführende Themen (Geschichte, Rolle und Status der Logik; nichtklassische Logiken)

Art der Leistungskontrolle und erlaubte Hilfsmittel

Hausübungen, Mitarbeit und Note des Abschlusstests 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

Prüfungsstoff

Vortrag, Präsentation und Diskussion der Hausübungen

Information

Literatur

wird in der Übung bekannt gegeben

Zuordnung im Vorlesungsverzeichnis

BA M 3.2, HPS M1.1

Letzte Änderung: Mo 07.09.2020 15:36