Die Suche ergab 41 Treffer

von Matthias Senker
28. Okt 2011 17:43
Forum: Archiv
Thema: Ist 3888 wirklich das Limit?
Antworten: 4
Zugriffe: 628

Ist 3888 wirklich das Limit?

Es heißt in der Aufgabenstellung, die römischen Zahlen wären nur bis 3888 darstellbar, aber man kann doch 3999 als MMMCMXCIX darstellen. Ich sehe hierbei keine der beschriebenen Bedingungen verletzt! Außerdem finde ich auf Anhieb auch keine Zahl zwischen 3888 und 3999, die ich nicht darstellen könnt...
von Matthias Senker
7. Sep 2011 18:29
Forum: Archiv
Thema: Klausur
Antworten: 28
Zugriffe: 2947

Re: Klausur

In E[] wurde meines Wissens nach nur eine Zahl gespeichert (maximale Entfernung) In E[] wurden aber immer nur direkt Werte aus M (der Adjazenzmatrix) abgespeichert. Also stand in E nicht die Entfernung der jeweiligen Knoten vom Start, sondern das Gewicht der kleinsten Kante, die vom bisher aufgebau...
von Matthias Senker
1. Sep 2011 13:10
Forum: Archiv
Thema: Notizen SAT, UNSAT, etc. (Update 2)
Antworten: 11
Zugriffe: 1967

Re: Notizen SAT, UNSAT, etc. (Update 2)

Man könnte doch sagen, dass FINUNSAT INF0(FO) enthällt oder? Nein, denn INF0 enthält zwar alle Formeln, die unendliche Modelle besitzen, verbietet den Formeln aber nicht, ebenso auch endliche Modelle zu besitzen. Und eine Formel mit endlichen Modellen ist ja nicht in FINUNSAT. Aber wich würde sagen...
von Matthias Senker
1. Sep 2011 12:26
Forum: Archiv
Thema: Notizen SAT, UNSAT, etc. (Update 2)
Antworten: 11
Zugriffe: 1967

Re: Notizen SAT, UNSAT, etc.

Das Komplement von FINSAT(FO) enthält FINUNSAT, aber auch viel mehr, es enthält z.B. auch alle Formeln die in unendlichen Modellen erfüllbar sind etc. (allein schon weil FINSAT(FO) eine Teilmenge von SAT(FO)) Mir scheint, du hast FINSAT nicht ganz verstanden. Wenn eine Formel in FINSAT ist, dann ha...
von Matthias Senker
1. Sep 2011 11:32
Forum: Archiv
Thema: Notizen SAT, UNSAT, etc. (Update 2)
Antworten: 11
Zugriffe: 1967

Re: Notizen SAT, UNSAT, etc.

Hi, im Prinzip finde ich die Liste praktisch. Gute Idee. Aber meiner Meinung nach müssten FINSAT(FO) und FINUNSAT(FO) Komplemente voneinander sein. Demzufolge dürfte FINUNSAT(FO) dann auch nicht aufzählbar sein, weil ja FINSAT(FO) schon aufzählbar ist. Und wenn FINUNSAT(FO) nicht aufzählbar ist, dan...
von Matthias Senker
30. Aug 2011 13:27
Forum: Archiv
Thema: F10 - Grenzwertberechnung
Antworten: 5
Zugriffe: 944

Re: F10 - Grenzwertberechnung

Eine alternative Lösung ist eine Substitution: zunächst schreibt man sinh(x)/cosh(x) als (e^x - e^-x) / (e^x + e^-x). Nun substituiert man e^x durch t (und damit e^-x durch 1/t). Wenn x gegen -oo geht, geht e^x gegen 0, also betrachtet man jetzt den (rechtsseitigen) Grenzwert für t gegen 0 von (t - ...
von Matthias Senker
29. Aug 2011 16:42
Forum: Archiv
Thema: 18yo female needs male tutor (updated)
Antworten: 6
Zugriffe: 1384

Re: 18yo female needs male tutor

Hab mir die gleiche Frage gestellt und in einem alten Thread aus dem letzten Jahr eine Antwort gefunden: http://www.d120.de/forum/viewtopic.php?f=170&t=20244 Man kann es sich aussuchen, ob man die Formel mit dem Quantor behält, oder nicht - beides ist nach den Ableitungsregeln korrekt - , aber manch...
von Matthias Senker
24. Aug 2011 20:31
Forum: Archiv
Thema: Klausur und Aufteilung
Antworten: 1
Zugriffe: 529

Re: Klausur und Aufteilung

Hier stehen alle Saaleinteilungen zu den Mathematik-Klausuren in diesem Semester: http://www.mathematik.tu-darmstadt.de/lehrmaterial/termine/saaleint.pdf Für uns interessant ist da drin folgender Punkt: Mathematik für Informatiker II für BSc. Informatik PO ’07 Es stehen übrigens, falls das jemanden ...
von Matthias Senker
14. Aug 2011 23:22
Forum: Archiv
Thema: Alte Klausuren
Antworten: 8
Zugriffe: 2683

Re: Alte Klausuren

Hallo,

vor ein paar Tagen hab ich von nem Freund diesen Link zu ein paar alten FGDI 2 Klausuren bekommen. Ich hoffe mal er hat nichts dagegen, dass ich das hier poste.

http://www.mediafire.com/?qparja5q83wr5ak
von Matthias Senker
6. Aug 2011 14:15
Forum: Archiv
Thema: Beispiel 5.6.4
Antworten: 1
Zugriffe: 382

Re: Beispiel 5.6.4

Hi,
Hab's grad mal nachgerechnet und komme auf das gleiche Ergebnis wie du.
Scheint also echt ein Fehler im Skript zu sein.
von Matthias Senker
28. Jun 2011 23:06
Forum: Archiv
Thema: Ü 5 - Miniquiz
Antworten: 6
Zugriffe: 443

Re: Ü 5 - Miniquiz

Miniquiz machen bringt nix.

Wenn man es schafft, erscheint nur ein Link auf die Material-Seite und es steht da, man könne das Übungsblatt dort runterladen, was ja aber noch nicht der Fall ist.
von Matthias Senker
15. Jun 2011 20:55
Forum: Archiv
Thema: Ü2 H1a
Antworten: 2
Zugriffe: 308

Re: Ü2 H1a

Also ich würde mal sagen, dass es ausreicht, die Ableitungen zu bilden, die man auch braucht. :wink: Im Skript steht, dass ein Beweis im Resolutionskalkül ein Baum ist, mit den Anfangs-Klauseln in den Blättern und der leeren Klausel in der Wurzel. Daran würde ich mich bei dieser Aufgabe orientieren....
von Matthias Senker
1. Jun 2011 18:21
Forum: Archiv
Thema: Hausübung 7 H1
Antworten: 5
Zugriffe: 643

Re: Hausübung 7 H1

Ich versuch jetzt einfach mal, ein paar Tipps in den Raum zu werfen, ohne zu viel zu verraten. EDIT: OK, zugegeben, die Tipps waren vielleicht etwas zu knapp. Ich wollte hier vorallem die Frage "War jemand auf andere Art erfolgreicher" beantworten. (Betonung auf andere) Es ist nämlich möglich, eine ...
von Matthias Senker
31. Mai 2011 23:54
Forum: Archiv
Thema: Quiz aktuelle Übung 8
Antworten: 3
Zugriffe: 378

Das Übungsblatt lässt sich unter Materialien auch ohne Beantwortung des Quiz herunterladen.
von Matthias Senker
23. Mai 2011 20:52
Forum: Archiv
Thema: Offenbar Fehler in aktuellem Miniquiz (zu Üb. 7)
Antworten: 1
Zugriffe: 388

Re: Offenbar Fehler in aktuellem Miniquiz (zu Üb. 7)

Also bei mir funktioniert das problemlos. Habs grad noch mal getestet, hatte mir das Übungsblatt allerdings auch heute mittag schon mal runtergeladen.

Zur erweiterten Suche