Die Suche ergab 67 Treffer

von eintopf
4. Mär 2012 13:38
Forum: Archiv
Thema: Lösungsvorschlag "Beispielhafte Klausuraufgaben"
Antworten: 36
Zugriffe: 2485

Re: Lösungsvorschlag "Beispielhafte Klausuraufgaben"

Danke! Das macht Sinn :D
Habe mal meine Lösung diesbezüglich angepasst ;)
von eintopf
2. Mär 2012 14:36
Forum: Archiv
Thema: Lösungsvorschlag "Beispielhafte Klausuraufgaben"
Antworten: 36
Zugriffe: 2485

Lösungsvorschlag "Beispielhafte Klausuraufgaben"

Hallo, hier möchte ich über eure und meine Lösung(en) zur "Beispielhafte-Klausuraufgaben.pdf" diskutieren. Die PDF gibt es hier (ist in einer .zip mit weiteren "Probeaufgaben") http://d120.de/forum/viewtopic.php?f=196&t=24804 . Aufgabe 1 1. b) ist angemessen Die Zustände sind also Tupel der Form (Ta...
von eintopf
28. Feb 2012 21:08
Forum: Archiv
Thema: Übung 8 Aufgabe 1.1
Antworten: 1
Zugriffe: 309

Übung 8 Aufgabe 1.1

Hallo, eine kleine Frage zur der genannten Übung. Und zwar soll unter anderem ar=t, ar=f, ar<=t, sowie ar<=f alternative Ausgestaltungsmöglichkeiten haben. Kann mir vielleicht jemand ein Beispiel nennen, mir fällt leider momentan nichts ein. Bei den arV1-arV3 habe ich es verstanden, dort kann man ja...
von eintopf
21. Sep 2011 09:44
Forum: Archiv
Thema: Ergebnisse sind da
Antworten: 12
Zugriffe: 1931

Re: Ergebnisse sind da

Bei mir auch, danke für die Mitteilung :mrgreen:
von eintopf
11. Sep 2011 14:55
Forum: Archiv
Thema: ERM
Antworten: 8
Zugriffe: 765

Re: ERM

Der Primärschlüssel hängt vom Studio ab (Kunde gehört zu bestimmten Studio) -> Schwach.
von eintopf
9. Sep 2011 16:18
Forum: Archiv
Thema: Lösung Übung 7 2d
Antworten: 3
Zugriffe: 414

Lösung Übung 7 2d

Hallo,

leider konnte ich keine Lösung zur Aufgabe 2d finden. Was wäre denn hier die richtige Antwort?

Viele Grüße!
von eintopf
7. Sep 2011 17:35
Forum: Archiv
Thema: Lösungen zu Ferienübungen
Antworten: 11
Zugriffe: 1831

Re: Lösungen zu Ferienübungen

Die lässt sich eigentlich recht simpel über Trennung der Variablen lösen, wenn man weiß, dass \(\frac{1}{x^2 + 1}\) die Ableitung von arctan ist.
von eintopf
2. Sep 2011 14:51
Forum: Archiv
Thema: Wie wars
Antworten: 15
Zugriffe: 2466

Re: Wie wars

War ziemlich geil muss ich sagen :mrgreen:
So im Vergleich zum letzten Jahr :D

Weiß jemand etwas über Korrekturzeiten?
von eintopf
1. Sep 2011 19:21
Forum: Archiv
Thema: Notizen SAT, UNSAT, etc. (Update 2)
Antworten: 11
Zugriffe: 2030

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

kain hat geschrieben:Was noch nützlich wäre:

Zu jeder Menge eine Bsp. - Formel und desen Negat und in welcher Menge diese liegen würde...
dafür hatte ich leider keine Zeit mehr, bzw. die Inklusionen hab ich so weit hingeschrieben wie ich mir sicher bin.
von eintopf
1. Sep 2011 14:07
Forum: Archiv
Thema: Frage zu negierter KNF (AL)
Antworten: 6
Zugriffe: 1083

Re: Frage zu negierter KNF (AL)

Eine brutale Methode wäre einfach die Wertetabele zu der Formel !(C && D) aufzustellen und dann daraus KNF zu bilden.
von eintopf
1. Sep 2011 13:17
Forum: Archiv
Thema: Notizen SAT, UNSAT, etc. (Update 2)
Antworten: 11
Zugriffe: 2030

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 eintopf
1. Sep 2011 13:00
Forum: Archiv
Thema: FO ohne Gleichheit
Antworten: 2
Zugriffe: 654

FO ohne Gleichheit

Hallo,

eine klein (große?) Frage dazu:
Was "bringt" das? Ich verstehe leider den Sinn hinter FO ohne Gleichheit noch nicht so ganz.

Viele Grüße!
von eintopf
1. Sep 2011 12:43
Forum: Archiv
Thema: Notizen SAT, UNSAT, etc. (Update 2)
Antworten: 11
Zugriffe: 2030

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 eintopf
1. Sep 2011 11:49
Forum: Archiv
Thema: Notizen SAT, UNSAT, etc. (Update 2)
Antworten: 11
Zugriffe: 2030

Re: Notizen SAT, UNSAT, etc.

Aber meiner Meinung nach müssten FINSAT(FO) und FINUNSAT(FO) Komplemente voneinander sein. Das ist die zunächst "intuitive" Überlegung, aber ich habe mir folgendes überlegt: Das Komplement von FINSAT(FO) enthält FINUNSAT, aber auch viel mehr, es enthält z.B. auch alle Formeln die in unendlichen Mod...

Zur erweiterten Suche