UE 180360 Übung Logik

Übersicht Wintersemester 2007

Die Lehrveranstaltung ist abgeschlossen. Die nächste Übung dieser Art findet im Wintersemester 2008/2009 statt, und zwar Montag, 12-14 Uhr c.t., Hörsaal 2H (NIG, 2. Stock).

Die Lehrveranstaltung ist angelegt als Übung zur Vorlesung 180107 Grundkurs Logik - Einführung in die Logik, kann aber auf Grund der Studienplanumstellung von Studierenden, die dem alten Studienplan unterliegen, mit erhöhtem Arbeitsaufwand auch selbstständig besucht werden.

Vorkenntnisse logischer, mathematischer oder meteorologischer Natur werden nicht vorausgesetzt und erschweren die Teilnahme insofern, als die Lehrveranstaltung für Studierende mit solchen Vorkenntnissen unbillig langweilig verläuft. Ziel der Übung (vor allem in Zusammenhang mit der Vorlesung) ist, dass die Teilnehmerinnen (a) einen grundlegenden Überblick darüber erhalten, worum es sich bei formaler Logik handelt; dass (b) die zahlreichen und häufig kolportierten Vorurteile (z. B. "Logik ist tautologisch"; "Logik liefert keinen Erkenntnisgewinn"; "Logik behauptet, dass alle Sätze wahr oder falsch sind") vermieden und, so bereits vorhanden, gemindert werden; und (c) dass die Berührungsangst vor formalen Dingen und Aufgabenstellungen abgebaut werde, wobei (d) die Teilnehmerinnen die Fertigkeit erlangen, selber einfachere formale Aufgabenstellungen zu lösen.

Die Lehrveranstaltung ist eine Übung, d. h. grundsätzlich herrscht Anwesenheitswunsch (der durch Krankheit, Auslandsaufenthalte, Urlaubsreisen, Müdigkeit und andere wichtige Gründe natürlich gemindert wird). Der Zeugniserwerb erfolgt durch die Teilnahme an zwei schriftlichen Prüfungen, jeweils einer über die Aussagen- und einer über die Prädikatenlogik, deren Termine nach Maßgabe des Voranschreitens des Lehrstoffs und in Abstimmung mit den Wünschen der Teilnehmenden festgelegt werden. Zusätzlich fließen in die Benotung die Qualität der abgegebenen Hausübungen sowie die Art der Beteiligung an der Lehrveranstaltung ein (lautes Singen und Musizieren wirkt eher notenverschlechternd, wichtige Diskussionsbeiträge und Verunsicherung des Vortragenden notenverbessernd).

Prüfungen

Haupteinflussgröße für die Benotung sind zwei schriftliche Tests, einer zur Aussagenlogik, der andere zur Prädikatenlogik. Die Termine beider sind folgende:

Aussagenlogik-Test

10. Dezember 2007

• Angaben Gruppe 1, Gruppe 2 (jeweils als PDF-Datei)
• Punkte:
  • 0-22: noch nicht genügend
  • 23-27: genügend
  • 28-34: befriedigend
  • 35-39: gut
  • 40-44: sehr gut
• Ergebnisse:
  • 10 Sehr gut
  • 3 Noch nicht genügend
  • durchschnittlich 33 Punkte (Note 3+)
  • 28 Teilnehmerinnen
  • Detailergebnisse/Noten

Ersatztermin für den Aussagenlogik-Test

10. Januar 2008, 17³⁰ Uhr pünktlich, Hörsaal 3C

• Angaben Gruppe 1, Gruppe 2 (jeweils als PDF-Datei)
• Punkte: wie beim ersten Termin
• Ergebnisse:
  • 1 Sehr gut
  • 1 Noch nicht genügend
  • durchschnittlich 30 Punkte (Note 3)
  • 8 Teilnehmerinnen
  • Detailergebnisse/Noten

Ersatztermin für den Ersatztermin für den Aussagenlogik-Test

28. Januar 2008

• Angaben Gruppe 1 (als PDF-Datei)
• Punkte: wie beim zweiten Termin
• Ergebnisse:
  • 1 Genügend
  • Detailergebnisse/Noten

Prädikatenlogik-Test

Donnerstag, 31. Januar 2008, 17-19 Uhr c.t., Hörsaal 2i (NIG, 2. Stock)

• Angaben Gruppe 1, Gruppe 2 (jeweils als PDF-Datei)
• Punkte:
  • 0-25: noch nicht genügend
  • 26-31: genügend
  • 32-38: befriedigend
  • 39-45: gut
  • 46-52: sehr gut
• Ergebnisse:
  • durchschnittlich 38 Punkte (Note 3+)
  • 7 Sehr gut
  • 4 Noch nicht genügend
  • 27 Teilnehmerinnen
  • Detailergebnisse/Noten
• Rückgabe und Einsicht: Unmittelbar vor oder nach dem Ersatztermin (Montag, 11. Februar 2008, 17-19 Uhr, Hörsaal 2G) oder nach Übereinkunft (gerne auch früher) - in diesem Fall bitte bei gottschall@gmx.de melden.

Ersatztermin für den Prädikatenlogik-Test

Montag, 11. Februar 2008, 17-19 Uhr c.t., Hörsaal 2G (wie die Lehrveranstaltung)

• Angaben Gruppe 1 (als PDF-Datei)
• Punkte:
  • 0-25: noch nicht genügend
  • 26-31: genügend
  • 32-38: befriedigend
  • 39-45: gut
  • 46-52: sehr gut
• Ergebnisse: Detailergebnisse/Noten

Ersatztermin für den Ersatztermin für den Prädikatenlogik-Test

Freitag, 7. März 2008, 17³⁰ Uhr, Hörsaal 2G (wie die Lehrveranstaltung)

• Angaben Gruppe 1 (als PDF-Datei)
• Punkte:
  • 0-25: noch nicht genügend
  • 26-31: genügend
  • 32-38: befriedigend
  • 39-45: gut
  • 46-52: sehr gut
• Ergebnisse: Detailergebnisse/Noten

Links und Hausübungen

• Die Hausübungsaufgaben des laufenden Semesters
• Der Logikübergang, Online-Programme zum Überprüfen der Lösungen von Hausübungen (nicht zu deren Lösen)

Andere Semester

2008/06/02 22:00:53
gottschall@gmx.de