Diskrete Modellierung

at Johann Wolfgang Goethe-Universität Frankfurt am Main

Join course
329
Next exam
MAR 05
Discussion
Documents
Flashcards
Ehrenlos diese 7.4
View 19 more comments
Ah mist, Konflikt 4 ist: Das Symbol v6 darf nicht neben einem runden Schatten-Symbolen stehen. Ok, hab ich das wohl falsch
Ich bin immernoch überzeugt davon, dass man das mit der Färbung leicht zeigen kann.
Jemand, der 7.2 vergleichen möchte bzw. diskutieren? Ich glaube hier ist es von Vorteil zusammenzuarbeiten und mögliche antworten zu diskutieren
View 17 more comments
@Jamal Du hast Recht, da komme ich jetzt auch drauf. Ich hab falsch gedacht🙈
7.2.a.3) ∀v ∈ V : Der Graph G' = (V\{v}, E) ist zusammenhängend
Habt ihr bei der 7.2 b) die Graphen allgemein für n>=10 gezeichnet oder einfach für n=10? Geht mir nur um die Skizzen.
Hab’s für n=10
Danke, ich hoffe das genügt. Das ist ja sonst echt ein Krampf.
Guten Abend ihr Zuckerschnitten, kann mir jemand einen Ansatz/paar Tips zur 7.3 rüberschieben?
Meine Süßen, lasst mich bitte nicht im Stich.
Blatt 7 eyy was labasch duu
View 2 more comments
Du gehst in DisMod immer nur positiv aus der Sache raus.
Wenn man sich darauf einlässt, ist das Blatt sogar relativ leicht bzw. geht schnell zu bearbeiten
was sind das bitte für komische rekursionsaufgaben auf dem Blatt :O (explizit 6.2, die anderen Nummern aber auch)
View 5 more comments
haha du Schlawiner da hast du die b) noch geändert oder? hatte mich schon gewundert wie Du darauf kamst @Magirus
Ja, hatte + und - vertauscht 😅 Laut meiner Tutorin ist das auch nicht die vollständige Lösung. Der Lösungsweg muss entweder wie in dem Kasten sein oder per vollständiger Induktion
jemand ne Lösung zur 1.1 oder 1.3?
Ist noch jemand wach und kann mir zur 5.3 ein paar Tips geben? Ich häng komplett.
View 1 more comment
dange
Ok a war falsch und b war unvollständig 😒
Hat jemand einen Lösungsansatz für 5.4?
View 2 more comments
Habs, alle unteren Ausgänge die eingestürzt sind müssen vor denjenigen sein, die oben eingestürzt sind damit man rauskommt🙃 und das noch irgendwie mit aussagenlogik beschreiben
Überleg dir, wie du aus dem Bergwerk entkommen kannst. Man entkommt aus dem Bergwerk wenn z.B. eine der folgenden Aussagen gilt: • Wenn der obere Schachtabschnitt zwischen (1, i) und (1, i+1) einstürzt, müssen alle darauf folgenden unteren Schachtabschnitte intakt sein. • Es darf nicht gleichzeitig O_i und U_i wahr sein, wenn du an einer Kreuzung (1, j) stehst mit j <= i. Diese Aussagen musst du als aussagenlogische Formeln aufschreiben und daraus die Formel φ_lucky bauen.
Was bekommt ihr bei der aufgabe 5.1 b) raus? ich habe (ja, nein, ja, nein)
View 16 more comments
Hab das gerade auch nochmal mit Quantoren und allem drum und dran gemacht, und dann fiel mir auf, die Lösung ist umgangssprachlich einfach "Ein Einhorn hat ein Horn." :D
Zur Vollständigkeit bitte auch noch kurz die 5.2.c.iii "Jeder, der A sagt, muss auch B sagen" ≡ (A → B) ≡ (¬A ∨ B) ¬(A → B) ≡ ¬(¬A ∨ B) ≡ (A ∧ ¬B) ≡ "Jeder sagt A, aber nicht B." Ist das richtig?
Versteht ihr diese Resolutionsfaxen?
View 4 more comments
Achso, also der Bruch in der Definition 3.56 im Skript. Damit hab ich auch die Aufgaben vom Blatt5 gemacht. Eben im Kopf nochmal Unit und Pure, mit dem Baum gehts schneller, wenn man es sauber aufschreibt. Man muss ja nur einen einzigen Widerspruch finden, also dass eine Menge mit nur einem Literal in Φ ist und die Menge mit nur der Negation dieses Literals auch bzw Φ ⊢ χ und Φ ⊢ ¬χ
Genau das. In der VL macht er anstatt dieses Bruch diesen "Baum", finde es auch schneller, aber man bekommt je nach Auswahl der Variable ein anderes Ergebnis bzw, bei der Aufgabe 5.2 b) brauchte ich paar Anläufe bis ich mit dem "Baum" zeigen konnte, dass die Formel unerfüllbar ist. Die Aufgabe c) kann man nicht wirklich mit dem Baum lösen, da kommt bei mir ständig ein Widerspruch raus. Mit der Unit geht es recht zackig.
hat jemand Lust aufgäbe 4.4 a abzugleichen, ob wir auf die selben Formeln kommen?
View 1 more comment
super, hab ich auch
Wie sieht die phih aus in Sympy?
Der Schnitger ist eine Legende.
"Ahhhhh, wer bist denn duuuuu?" "Ich bin die leere Menge, die Königin der Mengen!" :'D
Hatte "Diskrete Modellierung", "Datenstrukturen" und "Theoretische Informatik 1" bei ihm.
Habt Ihr die Aufgabe 1 aufm AB4 mit Wahrheitstabellen bewiesen? Oder gibt es eine andere Möglichkeit?
Ja, habe ich so gemacht, aber bei der b) kommt bei mir irgendwie nichts Sinnvolles raus
Hallo, habt ihr bei Blatt 3 eine Lösung für den Mordfall oder ist es bei euch nicht lösbar?
View 13 more comments
@Regenschirm es gibt zwei Möglichkeiten 1.) K und B sind schuldig 2.) K, B und A sind schuldig
Dankeschön
Huhu! Gibt es jemanden, der in den Übungsstunden Mitschriften macht?
ja, ich
Hi, bei der Aufgabe 2.3a vom Blatt 2 soll, soweit ich das richtig verstanden habe, mithilfe von Python überprüft werden ob die Funktionen injektiv/subjektiv/bijektiv sind. Selbst mit dem Beispiel auf seiner Folie verstehe ich nicht wie. Wie habt ihr das gelöst/kann jemand seine lösung zu wenigstens einer aufgabe hier posten?
View 1 more comment
Jaa sehe das genau so 😐 Bin seit Stunden da dran und mir kann irgendwie keiner helfen. Die einzige Aufgabe die für mich Sinn machte ist die 2.2. Alle anderen habe ich stückhaft oder eben gar nicht (2.3). Selbst nach ewig langem googlen finde ich nichts
ich dachte, ich bin derjenige, der nicht versteht, was in AB steht ahha
Hat schon jemand das Übungsblatt 1 gemacht? Jemand, der abgleichen möchte oder vielleicht über die 1.3 reden?
View 9 more comments
Wenn du |F ∪ P| rechnest, addierst du praktisch zweimal |F ∩ P|, also musst du das einmal wieder abziehen. Also |F ∪ P| = |F| + |P| - |F ∩ P| und |F ⊕ P| = |F| - |P| - 2|F ∩ P|
boah, vielen vielen Dank Leute! Das war der Fehler! Manchmal verwirrend, aber cooles Zeug, was wir da beigebracht bekommen :D
Servus zusammen, eine Frage zu den Übungen und dem damit verbundenen Bonus. Die zusätzlichen 12 Punkte, die man sich erarbeiten kann haben keinen Einfluss, wenn man nicht mindestens 50% der Klausur besteht oder? Wenn man 40 % in der Klausur richtig hat, helfen dann einem die 12 weiteren Punkte dann auch nicht? Hab ich es richtig verstanden so?
Ja, so ist es korrekt
Habt ihr eigentlich Lösungen zu den DisMod Klausuren? Das wäre super hilfreich :)
Geht jmd morgen zur Dismod Repititorium ?? Falls ja kann jmd die Lösungen bitte mitschreiben und hochladen?? :)
Danke :)
Hat jmd die erste Klausur gestern in Klausur Einsicht abfotografiert?
View 1 more comment
Achso okay - falls jmd das hat dann kann man das gegen andere Klausuren tauschen
^^Sind doch nicht auf dem Basar hier. *lach* Falls das jemand hat, einfach hochstellen. :)
Wäre jemand, der heute bei der Einsicht die Tafel mit den Musterlösungen fotografiert hat (haben zumindest einige so getan; wollte es dann auch machen, doch dann kam der Hinweis, dass es wohl verboten sei), so freundlich ihre Ausbeute mit uns zu teilen? Zwecks Lernen für den Zweitversuch...
Hey Leute habt ihr Lösungen zu den Übungsblättern? Wäre echt super nett von euch :-).
Wie fandet ihr die Klausur?
Während der Klausur befand ich mich auch in einem Trash-Zustand.
Voll schwer :((( die Induktionen Aufgaben
Hallo :) hat Schniddy noch irgendetwas gesagt oder Tipps gegeben, dazu was in der Klausur drankommen könnte. War leider nicht in der Stadt und konnte nicht an den letzten Terminen da sein.
Kinder, könnt ihr mir bitte erklären, wie bei der Zweitklausur von WS 17/18 Aufgab3 c (ii) die Matrix mit den Zeilenvektoren der Markov-kette multipliziert wird. Ich versteh die Umformung von Pi 1 und Pi 2 nicht (siehe Bild). Der Spaß scheint Schniddy krass wichtig zu sein, weil die das heute bei der Zusatzübung im Magnus Hörsaal extra nochmal drauf eingangen sind.
^
Danke, Kreditkarte.
In den Video-Links bespricht Schniddy die Lösungen der Klausuren. Leider fehlt die Aufzeichnung zur Besprechung von WS 2016/17 (Aufgabe 1 - 3). Hat da bitte jemand die Lösungen dazu? Besprechung Klausur WS 2016/17 (Aufgabe 4 und 5) + SS 2017: https://electure-ms.studiumdigitale.uni-frankfurt.de/vod/clips/P2oolqJE6N/html5.html Besprechung Klausur SS 2016: https://electure-ms.studiumdigitale.uni-frankfurt.de/vod/clips/svyikovROx/html5.html Besprechung Klausur WS 2015/16 https://electure-ms.studiumdigitale.uni-frankfurt.de/vod/clips/9gjB9JtAAz/html5.html Besprechung Klausur SS 2015: https://electure-ms.studiumdigitale.uni-frankfurt.de/vod/clips/oDOSlLvWm3/html5.html Besprechung Klausur WS 2014/15 https://electure-ms.studiumdigitale.uni-frankfurt.de/vod/clips/COMd3gNUT0/html5.html Besprechung Klausur WS 11/12: https://electure-ms.studiumdigitale.uni-frankfurt.de/vod/clips/oM9J7104IN/html5.html Besprechung SS 2011 https://electure-ms.studiumdigitale.uni-frankfurt.de/vod/clips/CzbayXqFDH/html5.html (vorspulen zu 01:36:56)
Danke
Hat jemand die Lösung dazu (insbesondere 2c). Denkt ihr, er wird die Aufgaben dran nehmen, weil in Mathe haben die ja auch 1:1 die Aufgaben von WS 16/17 dran genommen #GoetheLogik
Besser kann man die Konzepte der theoretischen Informatik nicht erklären: https://www.youtube.com/watch?v=JAvIyh0rIV4&list=PLgZuSc7xewdfEJTZWhZ9qVVTg6acjVVda
Ok, jetzt mal Hand auf's Herz: Wie kommt ihr mit der Vorlesung zu Recht?
Hallo zusammen, Ich suche eine gute Nachhilfe, der / die mir in bestimmten Themen helfen kann, selbstverständlich gegen Bezahlung. Falls jemand sich das zutraut würde ich bitten, sich zu melden. Liebe Grüße
Schließe mich der Nachfrage an. Gerne auch in Lerngruppen im Ingo-Wegener-Lernzentrum
16.10.18 Mitschriften
Irgendeiner eine Idee für Übungsblatt 1, Aufgabe 1.1 b iv)?