180100 UE Übung zum Grundkurs Logik (2025W)
Prüfungsimmanente Lehrveranstaltung
Labels
Zusammenfassung
Di 11.11. 09:45-11:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Mi 12.11. 09:45-11:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Mo 08.09.2025 00:00 bis So 14.09.2025 23:59
- Anmeldung von Mo 22.09.2025 00:00 bis Mi 24.09.2025 23:59
- Abmeldung bis Fr 31.10.2025 23:59
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.
Gruppen
Gruppe 1
Hinweis der SPL Philosophie:Das Abgeben von ganz oder teilweise von einem KI-tool (z.B. ChatGPT) verfassten Texten als Leistungsnachweis (z.B. Seminararbeit) ist nur dann erlaubt, wenn dies von der Lehrveranstaltungsleitung ausdrücklich als mögliche Arbeitsweise genehmigt wurde. Auch hierbei müssen direkt oder indirekt zitierte Textstellen wie immer klar mit Quellenangabe ausgewiesen werden.Die Lehrveranstaltungsleitung kann zur Überprüfung der Autorenschaft einer abgegebenen schriftlichen Arbeit ein notenrelevantes Gespräch (Plausibilitätsprüfung) vorsehen, das erfolgreich zu absolvieren ist.
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Dienstag 14.10. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 21.10. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 28.10. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 04.11. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- N Dienstag 11.11. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 18.11. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 25.11. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 02.12. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 09.12. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 16.12. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 13.01. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 20.01. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Dienstag 27.01. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Ziele, Inhalte und Methode der Lehrveranstaltung
Diese Übung ist als Ergänzung zu den Vorlesungen „Grundkurs Logik“ gedacht und bietet eine Einführung in die klassische Aussagenlogik und Prädikatenlogik. Ziel ist es, durch das Lösen von Problemen und durch Diskussionen ein praktisches Verständnis zu entwickeln. Am Ende des Kurses werden die Studierenden mit logischer Formalisierung, wohlgeformten Formeln, der Konstruktion von Herleitungen in Kalkülen und der Semantik für diese beiden formalen Systeme vertraut sein. Diese Übung wird auch auf die philosophischen Fragen eingehen, die diese Themen umgeben, sowie kurz auf die Metatheorie der klassischen Aussagenlogik (die Themen Konsistenz und Vollständigkeit). Die Studierenden erhalten wöchentlich Aufgaben zu diesen Themen, die in den Übungseinheiten diskutiert werden.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Leistungskontrolle besteht aus zwei Zwischenprüfungen die zu Hause absolviert werden müssen (am 11.11. und 9.12. ausgegeben), sowie einer Abschlussprüfung in der letzten Einheit der Übung. Die wöchentlichen Aufgaben müssen zwar bearbeitet abgegeben werden, fließen jedoch nicht in die Endnote ein.
Mindestanforderungen und Beurteilungsmaßstab
Zwischenprüfungen (jeweils 25%): Die Zwischenprüfungen enthalten verschiedene Fragen mit 25 Punkte verfügbar. Studierende werden 5 Tagen haben, die Prüfungen zu Hause zu absolvieren, bevor sie diese online einreichen.Abschlussprüfung: Die Abschlussprüfung findet in der letzten Einheit der Übung statt (50 Punkte).Die Gesamtnote ergibt sich aus der Summe der Punkte (s), die in den beiden Zwischenprüfungen und der Abschlussprüfung erzielt wurden, gemäß folgendem Schema:85 ≤ s : 1 Note
70 ≤ s < 85 : 2 Note
60 ≤ s < 70 : 3 Note
s < 60 : 4 Note
70 ≤ s < 85 : 2 Note
60 ≤ s < 70 : 3 Note
s < 60 : 4 Note
Prüfungsstoff
Aussagenlogik:
Formalisierung natursprachlicher Argumente
Semantik (Wahrheitstafeln, wahrheitsfunktionale Semantik)
Syntax (wohlgeformte Formeln, Herleitungen)Prädikatenlogik:Formalisierung natursprachlicher Argumente
Semantik (grundlegende Modelltheorie)
Syntax (wohlgeformte Formeln, Einsetzung, grundlegende Herleitungen)(Sonstiger in der Übung behandelter Stoff)
Formalisierung natursprachlicher Argumente
Semantik (Wahrheitstafeln, wahrheitsfunktionale Semantik)
Syntax (wohlgeformte Formeln, Herleitungen)Prädikatenlogik:Formalisierung natursprachlicher Argumente
Semantik (grundlegende Modelltheorie)
Syntax (wohlgeformte Formeln, Einsetzung, grundlegende Herleitungen)(Sonstiger in der Übung behandelter Stoff)
Literatur
Halbach, Volker (2010). The logic manual. New York: Oxford University Press.
Gruppe 2
Hinweis der SPL Philosophie:Das Abgeben von ganz oder teilweise von einem KI-tool (z.B. ChatGPT) verfassten Texten als Leistungsnachweis (z.B. Seminararbeit) ist nur dann erlaubt, wenn dies von der Lehrveranstaltungsleitung ausdrücklich als mögliche Arbeitsweise genehmigt wurde. Auch hierbei müssen direkt oder indirekt zitierte Textstellen wie immer klar mit Quellenangabe ausgewiesen werden.Die Lehrveranstaltungsleitung kann zur Überprüfung der Autorenschaft einer abgegebenen schriftlichen Arbeit ein notenrelevantes Gespräch (Plausibilitätsprüfung) vorsehen, das erfolgreich zu absolvieren ist.
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Mittwoch 15.10. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 22.10. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 29.10. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 05.11. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- N Mittwoch 12.11. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 19.11. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 26.11. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 03.12. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 10.12. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 17.12. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 07.01. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 14.01. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 21.01. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
- Mittwoch 28.01. 09:45 - 11:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Ziele, Inhalte und Methode der Lehrveranstaltung
Diese Übung ist als Begleitung zur Vorlesung "Grundkurs Logik" gedacht und sollte parallel zu ihr belegt werden. Die Übung soll dementsprechend dazu dienen, in dieser Vorlesung erworbene Kenntnisse zu Logik (Satzlogik, Prädikatenlogik, und Modallogik) zu vertiefen und praktisch anwenden zu lernen. Hierzu werden wöchentlich Übungsaufgaben in Gruppen und individuell gelöst und besprochen. Dadurch soll ein routinierter Umgang mit der Syntax und Semantik dieser formalen Systeme erlernt werden. Ergänzt wird diese praktische Einführung, wo angebracht, durch weiterführendes Material (andere Logiken, metatheoretische Überlegungen, philosophische Reflexionen zu den Grundbegriffen der Logik).
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Leistungskontrolle besteht aus drei Teilen:
(i) (Bis zu) wöchentlichen Übungsblättern
(ii) Präsentationen von Übungsaufgaben
(iii) Einem Abschlusstest
(i) (Bis zu) wöchentlichen Übungsblättern
(ii) Präsentationen von Übungsaufgaben
(iii) Einem Abschlusstest
Mindestanforderungen und Beurteilungsmaßstab
Die Note setzt sich folgendermaßen zusammen:
40% Übungsblätter: Acht der abzugebenden Übungsblätter sind sinnvoll und ernsthaft zu bearbeiten. Für die sinnvolle Bearbeitung dieser Blätter gibt es jeweils 5 Prozentpunkte, insgesamt also 40. Es ist dabei nicht notwendig, alle Aufgaben zu lösen, sondern lediglich notwendig, einen signifikanten Teil der Aufgaben ernsthaft bearbeitet zu haben.
10% Präsentation: Weitere 10 Prozentpunkte sind durch die Präsentation (einmalig oder zweimalig) ausgewählter Aufgaben (von den Übungsblättern) zu erreichen. Hierbei sind einerseits inhaltliche Passung und andererseits Verständlichkeit der Präsentation Bewertungskriterien.
50% Abschlusstest in der letzten Einheit (voraussichtlich): Die Punkte der Prüfung (geplant 30) werden auf 50 skaliert. Die Gesamtnote ergibt sich dann bei einer insgesamt erzielten Prozentzahl p mit
1: p>=90
2: 90>p>=80
3: 80>p>=65
4: 65>p>=50
40% Übungsblätter: Acht der abzugebenden Übungsblätter sind sinnvoll und ernsthaft zu bearbeiten. Für die sinnvolle Bearbeitung dieser Blätter gibt es jeweils 5 Prozentpunkte, insgesamt also 40. Es ist dabei nicht notwendig, alle Aufgaben zu lösen, sondern lediglich notwendig, einen signifikanten Teil der Aufgaben ernsthaft bearbeitet zu haben.
10% Präsentation: Weitere 10 Prozentpunkte sind durch die Präsentation (einmalig oder zweimalig) ausgewählter Aufgaben (von den Übungsblättern) zu erreichen. Hierbei sind einerseits inhaltliche Passung und andererseits Verständlichkeit der Präsentation Bewertungskriterien.
50% Abschlusstest in der letzten Einheit (voraussichtlich): Die Punkte der Prüfung (geplant 30) werden auf 50 skaliert. Die Gesamtnote ergibt sich dann bei einer insgesamt erzielten Prozentzahl p mit
1: p>=90
2: 90>p>=80
3: 80>p>=65
4: 65>p>=50
Prüfungsstoff
Syntax und Semantik von Satz- und Prädikatenlogik, einschließlich einem Sequenzenkalkül
Syntax und Semantik der propositionalen Modallogik
Formalisierung natursprachlicher Argumente
Sonstiger in der Übung behandelter Stoff
Syntax und Semantik der propositionalen Modallogik
Formalisierung natursprachlicher Argumente
Sonstiger in der Übung behandelter Stoff
Literatur
Halbach, Volker (2010). The logic manual. New York: Oxford University Press.
Gruppe 3
Hinweis der SPL Philosophie:Das Abgeben von ganz oder teilweise von einem KI-tool (z.B. ChatGPT) verfassten Texten als Leistungsnachweis (z.B. Seminararbeit) ist nur dann erlaubt, wenn dies von der Lehrveranstaltungsleitung ausdrücklich als mögliche Arbeitsweise genehmigt wurde. Auch hierbei müssen direkt oder indirekt zitierte Textstellen wie immer klar mit Quellenangabe ausgewiesen werden.Die Lehrveranstaltungsleitung kann zur Überprüfung der Autorenschaft einer abgegebenen schriftlichen Arbeit ein notenrelevantes Gespräch (Plausibilitätsprüfung) vorsehen, das erfolgreich zu absolvieren ist.
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Die UE ist als Präsenz-LV geplant. Falls es Phasen geben sollte, in denen Präsenzlehre nicht möglich ist, wird die UE in diesen Phasen online (auf Zoom) stattfinden. Sollten Sie beim ersten Termin nicht erscheinen, werden Sie von der UE abgemeldet und die nächste Person aus der Warteliste wird dafür angemeldet. Wenn Sie beim ersten Termin verhindert sein sollten, melden Sie sich also bitte rechtzeitig mit einer kurzen Email an: guenther.eder@univie.ac.at.
- Montag 13.10. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 20.10. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 27.10. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 03.11. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- N Montag 10.11. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 17.11. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 24.11. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 01.12. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 15.12. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 12.01. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 19.01. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
- Montag 26.01. 13:15 - 14:45 Hörsaal 3B NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Inhalte:
Durch Präsentation und Diskussion von Übungsbeispielen wird in dieser LV das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ vermittelten Methoden und Begriffe gefestigt und vertieft.
Im Zentrum der LV werden die Grundlagen der klassischen Aussagenlogik und der klassischen Prädikatenlogik erster Stufe stehen. Nach einer einführenden Diskussion des Verhältnisses von Rhetorik, formaler Logik, informaler Logik, und Philosophie, werden insbesondere folgende Themen besprochen: formale Sprachen und deduktive Systeme; die formale Sprache der Aussagenlogik (AL) und der Prädikatenlogik erster Stufe (PL); aussagenlogische und prädikatenlogische Formalisierung; Semantik der AL und der PL (Modelle, Wahrheit in einem Modell); semantischer Folgerungsbegriff für die AL und PL; formale Ableitungskalküle für die AL und PL (Kalkül des natürlichen Schließens) sowie entsprechende syntaktische Folgerungsbegriffe; Metatheorie der AL und PL (Korrekheit und Vollständigkeit). Darüber hinaus werden, in Abhängigkeit von den thematischen Schwerpunkten, die in der Vorlesung ‘Grundkurs Logik’ gesetzt werden, weitere philosophisch relevante Logiken (Modallogik, Mehrwertige Logiken) sowie ausgewählte Themen der Geschichte und Philosophie der Logik besprochen.
Ziele:
Das Hauptziel der LV besteht darin, das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ eingeführten Begriffe und Methoden durch Übungen und Diskussion zu festigen und zu vertiefen, und den Studierenden ein umfassendes Bild des Werts der formalen Logik für die Philosophie zu vermitteln.
Methoden:
Jede LV‐Einheit ist zweigeteilt. Im ersten Teil jeder Einheit werden die jeweils vorzubereitenden Übungsbeispiele besprochen. Einzelne Übungsbeispiele werden dazu von Studierenden präsentiert und danach gemeinsam diskutiert. Im zweiten Teil jeder Einheit werden durch Vortrag des LV‐Leiters die Inhalte vorgestellt, die für das Lösen des jeweils nächsten Übungsblattes erforderlich sind.
Um gewissen Ängsten gegenüber formalen Methoden und Begriffsbildungen vorzubeugen, ist es dem LV‐Leiter ein besonderes Anliegen, kleinschrittig vorzugehen und im ständigen Austausch mit den Studierenden eine offene und konstruktive Atmosphäre zu schaffen, in der Fragen und Diskussionen (im Rahmen des Möglichen) ausdrücklich erwünscht sind.
Durch Präsentation und Diskussion von Übungsbeispielen wird in dieser LV das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ vermittelten Methoden und Begriffe gefestigt und vertieft.
Im Zentrum der LV werden die Grundlagen der klassischen Aussagenlogik und der klassischen Prädikatenlogik erster Stufe stehen. Nach einer einführenden Diskussion des Verhältnisses von Rhetorik, formaler Logik, informaler Logik, und Philosophie, werden insbesondere folgende Themen besprochen: formale Sprachen und deduktive Systeme; die formale Sprache der Aussagenlogik (AL) und der Prädikatenlogik erster Stufe (PL); aussagenlogische und prädikatenlogische Formalisierung; Semantik der AL und der PL (Modelle, Wahrheit in einem Modell); semantischer Folgerungsbegriff für die AL und PL; formale Ableitungskalküle für die AL und PL (Kalkül des natürlichen Schließens) sowie entsprechende syntaktische Folgerungsbegriffe; Metatheorie der AL und PL (Korrekheit und Vollständigkeit). Darüber hinaus werden, in Abhängigkeit von den thematischen Schwerpunkten, die in der Vorlesung ‘Grundkurs Logik’ gesetzt werden, weitere philosophisch relevante Logiken (Modallogik, Mehrwertige Logiken) sowie ausgewählte Themen der Geschichte und Philosophie der Logik besprochen.
Ziele:
Das Hauptziel der LV besteht darin, das Verständnis der in der zugehörigen Vorlesung ‘Grundkurs Logik’ eingeführten Begriffe und Methoden durch Übungen und Diskussion zu festigen und zu vertiefen, und den Studierenden ein umfassendes Bild des Werts der formalen Logik für die Philosophie zu vermitteln.
Methoden:
Jede LV‐Einheit ist zweigeteilt. Im ersten Teil jeder Einheit werden die jeweils vorzubereitenden Übungsbeispiele besprochen. Einzelne Übungsbeispiele werden dazu von Studierenden präsentiert und danach gemeinsam diskutiert. Im zweiten Teil jeder Einheit werden durch Vortrag des LV‐Leiters die Inhalte vorgestellt, die für das Lösen des jeweils nächsten Übungsblattes erforderlich sind.
Um gewissen Ängsten gegenüber formalen Methoden und Begriffsbildungen vorzubeugen, ist es dem LV‐Leiter ein besonderes Anliegen, kleinschrittig vorzugehen und im ständigen Austausch mit den Studierenden eine offene und konstruktive Atmosphäre zu schaffen, in der Fragen und Diskussionen (im Rahmen des Möglichen) ausdrücklich erwünscht sind.
Art der Leistungskontrolle und erlaubte Hilfsmittel
- Abschlusstest
- Übungsblätter
- Mitarbeit (Tafelmeldungen)
- Übungsblätter
- Mitarbeit (Tafelmeldungen)
Mindestanforderungen und Beurteilungsmaßstab
Mindestanforderungen:
- Anwesenheit (höchstens 3 Fehleinheiten)
- Absolvierung des Abschlusstests
- Mindestens 30 Prozent der ÜbungsbeispieleDie Gesamtnote setzt sich im Verhältnis 1 : 1 aus einer Mitarbeitsnote und der Note auf den Abschlusstest zusammen. Die Mitarbeitsnote ergibt sich wiederum aus zwei Teilen, (1) der Anzahl der rechtzeitig abgegebenen Übungsbeispiele und (2) der Anzahl der Tafelmeldungen. Tafelmeldungen sind freiwillig und als 'abgegebene Übungsbeispiele' gelten alle (aber auch nur die) ernsthaften Versuche ein Beispiel zu lösen. Insbesondere wird also die Korrektheit eines Lösungsversuchs nicht mit einbezogen. Basis der Mitarbeitsnote ist der Prozentsatz p der abgegebenen Übungsbeispiele im Verhältnis zu den möglichen. Der Wert p vermindert sich zunächst um 5 Prozentpunkte und erhöht sich dann für jede Tafelmeldung um 5 Prozentpunkte zum Mitarbeitswert p*. Die Mitarbeitsnote ergibt sich dann aus folgenden Festlegungen: p* >= 90 ... 1; 90 > p* >= 80 ... 2; 80 > p* >= 65 ... 3; 65 > p* >= 50 ... 4; 50 > p* ... 5.
- Anwesenheit (höchstens 3 Fehleinheiten)
- Absolvierung des Abschlusstests
- Mindestens 30 Prozent der ÜbungsbeispieleDie Gesamtnote setzt sich im Verhältnis 1 : 1 aus einer Mitarbeitsnote und der Note auf den Abschlusstest zusammen. Die Mitarbeitsnote ergibt sich wiederum aus zwei Teilen, (1) der Anzahl der rechtzeitig abgegebenen Übungsbeispiele und (2) der Anzahl der Tafelmeldungen. Tafelmeldungen sind freiwillig und als 'abgegebene Übungsbeispiele' gelten alle (aber auch nur die) ernsthaften Versuche ein Beispiel zu lösen. Insbesondere wird also die Korrektheit eines Lösungsversuchs nicht mit einbezogen. Basis der Mitarbeitsnote ist der Prozentsatz p der abgegebenen Übungsbeispiele im Verhältnis zu den möglichen. Der Wert p vermindert sich zunächst um 5 Prozentpunkte und erhöht sich dann für jede Tafelmeldung um 5 Prozentpunkte zum Mitarbeitswert p*. Die Mitarbeitsnote ergibt sich dann aus folgenden Festlegungen: p* >= 90 ... 1; 90 > p* >= 80 ... 2; 80 > p* >= 65 ... 3; 65 > p* >= 50 ... 4; 50 > p* ... 5.
Prüfungsstoff
Prüfungsrelevant sind alle Inhalte, die im Rahmen der UE anhand von Übungsbeispielen besprochen wurden.
Literatur
Alle notwendigen Unterlagen (Übungsblätter, Folien, sowie ergänzende Texte) werden den Studierenden im Moodle zur Verfügung gestellt. Weitere Literaturhinweise werden zu Beginn der LV angegeben und werden sich nach den in der Vorlesung 'Grundkurs Logik' besprochenen Inhalten und Literaturangaben richten.
Zuordnung im Vorlesungsverzeichnis
Letzte Änderung: Di 14.10.2025 14:06