Skip to content

Category Archives: Unkategorisiert

Grosses Tutorat vor der Prüfung

Liebe Studierende Auch dieses Semester findet kurz vor der Prüfung wieder ein grosses Tutorat («Monstertutorat») statt. Dieses Tutorat bietet die Möglichkeit, Fragen zu stellen und einige Themen repetieren zu können. Es werden mehrere TutorInnen anwesend (und wenn möglich auf mindestens zwei Räume verteilt) sein, so dass wir auch kleinere Gruppen bilden können. Das (noch nicht definitiv festgelegte) […]

Anonyme Abgabe

Liebe Studierende bei der heutigen Abgabe der aktuellen Übungsserie hat jemand/eine Gruppe es vergessen, den eigenen Namen aufs Übungsblatt zu schreiben. Die Übung findet sich wie üblich korrigiert in der Rückgabemappe unter den Buchstaben A-D. Wir bitten die Betroffenen nächsten Montag zwischen 12.00 und 12.15 kurz bei uns im Fachvereinszimmer vorbei zu kommen, damit wir […]

Fragen zu den Vorlesungen 1-6

Liebes Logik-Team Könntet Ihr mir bei folgenden Fragen weiterhelfen? V1, F14, Beispiel 2: Wie würde man diese Formalisierung in natürlicher Sprache ausdrücken, wenn man möglichst nahe an der Formel bleiben will? V1, F15: Wann wird „ein kleines Kind“ als einstelliges und wann als zweistelliges Prädikat interpretiert und warum? V1, F15, Beispiel 4: Ginge auch ¬∃x(Px∧∀y(Qy→Rxy))? […]

Übungsblatt 09: Provisorische Gruppe 1

Wir haben versehentlich das neunte Übungsblatt der provisorischen Gruppe 1 mit aus der Rückgabemappe gezogen. Wenn jemand es dringend zurück will, melde er/sie sich doch schnell. Ansonsten werden wir es einfach nächste Woche zurücklegen. Projekt 17 grüsst!

Beweise und Gültigkeit von Schlüssen

Liebes Logik-Team Könntet Ihr mir bei folgenden Fragen weiterhelfen? Sind logisch gültige Schlüsse immer beweisbare (bewiesene?) Schlüsse? Sind logisch gültige Schlüsse immer Tautologien? Falls logisch gültige Schlüsse immer Tautologien sind, würde das nicht heissen, dass Schlüsse nicht nur gültig, sondern auch wahr sein können? Sind logisch gültige Schlüsse und gültige Schlüsse dasselbe? Stimmt das: Etwas […]

Punktzahl Übung 5 falsch eingetragen

Liebe Korrektoren Uns ist aufgefallen, dass die in der Grafik eingetragene Punktzahl von der, die wir gemäss Korrektur tatsächlich erreicht haben, um 10 abweicht. Auf unseren korrigierten Übungen steht 35/39, in der Grafik stehen wir aber bei 25. Könntet ihr das vielleicht noch beheben? Vielen Dank, – Projekt 17

Fehlende Angabe des Gruppennamens/eines Namens

Liebe Studierende bei der heutigen Korrektur der Übungsserie Nr. 6 gab es zwei Abgaben, bei denen weder ein Gruppenname noch ein Name vermerkt wurde. Daher möchte ich diejenigen, die bei der Rückname der korrigierten Übungen aus den roten Mappen bemerken, dass ihnen dieser Fehler unterlaufen ist, die fehlende Beschriftung nachzutragen und die betreffende Serie noch […]

Abgabe Übungsblätter

Liebe Studierende Wir möchten Euch bitten, Eure Übungsblätter, welche Ihr zum Korrigieren vor der Vorlesung abgebt, nicht in die roten Mappen zu legen, sondern auf einen seperaten Stapel daneben; in den Mappen findet Ihr lediglich die bereits korrigierten. Ansonsten werden Eure Übungen übersehen und nicht korrigiert. Danke

Ausfall Tutorat am Dienstag

Liebe Studierende Leider muss mein Tutorat am Dienstag, 21.10. um 18.15 Uhr ausfallen. Nächste Woche findet es aber wieder wie gewohnt statt. Grüsse, Alexandra

Frage zum Übungsblatt 3, Aufgabe 2 f)

Geschätzte Tutoren Ich habe folgende Frage zum Übungsblatt 3, Aufgabe 2 f): Warum wird der Satz «Jeder Professor, der einen anderen Professor bewundert, wird von diesem bewundert.» mit zwei Allquantoren quantifiziert: ∀x∀y(Px ⋀ (Py ⋀ (Sxy⋀ ¬y=x)))→Syx) … und nicht mit einem Allquantor und einem Existenzquantor? Ich habe es folgendermassen formalisiert, was gemäss der Musterlösung […]