Universität Wien

180676 UE-GKL Übung Logik (2011S)

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

Zusammenfassung

1 Eder
2 Gottschall
3 Heinrich
4 Eder

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

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 24.08.2024 00:12