Universität Wien
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

180001 UE Logik-Übung für LehramtskandidatInnen (PP) (2011S)

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

Zusammenfassung

1 Antos-Kuby
2 Grave-Gierlinger
3 Muhr
4 Antos-Kuby
5 Antos-Kuby

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

  • Freitag 04.03. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 11.03. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 18.03. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 25.03. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 01.04. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 08.04. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 15.04. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 06.05. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 13.05. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 20.05. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 27.05. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 03.06. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 10.06. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 17.06. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock
  • Freitag 24.06. 09:00 - 10:00 Hörsaal 3B NIG 3.Stock

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 2

Fr 20.5./27.5./10.6./17.6./24.6. 16-18 Uhr HS 2G
Sa 21.5./28.5./18.6./25.6. 10-12 Uhr HS 2G

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

Termine

Zur Zeit sind keine Termine bekannt.

Ziele, Inhalte und Methode der Lehrveranstaltung

Die Übung ist als begleitende Veranstaltung zur Einführungsvorlesung in die Logik gedacht und soll das dort vorgetragene Material erläutern und vertiefen. Eine Teilnahme an der Übung setzt den Besuch der Vorlesung voraus.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Übungen, Prüfung

Mindestanforderungen und Beurteilungsmaßstab

Die Studierenden sollen mit aussagen- und prädikatenlogischen Systemen vertraut gemacht werden. Dies umfasst (1) selbstständig eine formale Sprache konstruieren zu können; (2) die Fähigkeit formale Sprachen zur Lösung einfacher logischer Probleme zu verwenden.

Prüfungsstoff

Vortrag, Übungen, Diskussion

Gruppe 3

Achtung!!! Der Termin am 11.04.2011 muß krankheitsbedingt leider entfallen!!!

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Montag 07.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 21.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 28.03. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 23.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 30.05. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 20.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock
  • Montag 27.06. 15:00 - 17:00 Hörsaal 3B NIG 3.Stock

Ziele, Inhalte und Methode der Lehrveranstaltung

Syntax und Semantik der klassischen Aussagenlogik: eine formale Sprache und formale Schlussregeln (in Gestalt eines Kalküls des natürlichen Schließens) für die klassische Aussagenlogik.

Art der Leistungskontrolle und erlaubte Hilfsmittel

wird in der Übung bekanntgegeben

Mindestanforderungen und Beurteilungsmaßstab

Erwerb theoretischer Kenntnisse in Aussagen- und Prädikatenlogik
Art der Leistungskontrolle: schriftliche Prüfung am Ende des Semesters oder schriftliche/mündliche Prüfung ab dem Folgesemester in meiner Sprechstunde

Prüfungsstoff

Vortrag mit Möglichkeit zur Diskussion

Gruppe 4

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Freitag 04.03. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 11.03. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 18.03. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 25.03. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 01.04. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 08.04. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 15.04. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 06.05. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 13.05. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 20.05. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 27.05. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 03.06. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 10.06. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 17.06. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock
  • Freitag 24.06. 10:00 - 11:00 Hörsaal 3B NIG 3.Stock

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 5

max. 45 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Mittwoch 02.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 09.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 16.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 23.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 30.03. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 06.04. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 13.04. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 04.05. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 11.05. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 18.05. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 25.05. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 01.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 08.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 15.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 22.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock
  • Mittwoch 29.06. 18:00 - 19:00 Hörsaal 3B NIG 3.Stock

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.

Information

Literatur

Materialen der Vorlesung; Skriptum

Zuordnung im Vorlesungsverzeichnis

PP § 57.2.3

Letzte Änderung: Fr 26.02.2021 00:20