Die Suche ergab 187 Treffer

von barracuda317
22. Jan 2014 13:10
Forum: Archiv
Thema: Klausur zugelassene Hilfsmittel
Antworten: 8
Zugriffe: 1526

Re: Klausur zugelassene Hilfsmittel

Wie war die Klausur allgemein aufgebaut? Woran kann ich mich orientieren?
von barracuda317
22. Jan 2014 13:05
Forum: Archiv
Thema: Ferienübung
Antworten: 10
Zugriffe: 1980

Re: Ferienübung

Auf welchem Weg erhalten wir eigentlich das Ergebnis der Ferienübung?
von barracuda317
6. Jan 2014 12:22
Forum: Archiv
Thema: Ferienübung
Antworten: 10
Zugriffe: 1980

Re: Ferienübung

Ich denke, er meint die Determinanten, die man zur Berechnung der Kofaktoren verwendet. Diese werden ja aus den Untermatrizen gebildet, welche nur 2x2 sind, daher "kleine Determinanten".

Würde mich btw auch interessieren, ob man da nochmal den Chin Res anwenden sollte oder das fix eintippen kann.
von barracuda317
21. Nov 2013 15:57
Forum: RBG/Rechner
Thema: LAN-Verbindung im E-Pool
Antworten: 2
Zugriffe: 1114

Re: LAN-Verbindung im E-Pool

VPN Client sagt: "Keine Verbindung möglich"
von barracuda317
21. Nov 2013 14:15
Forum: RBG/Rechner
Thema: Diebstahl von Kabeln im Poolraum
Antworten: 1
Zugriffe: 999

Re: Diebstahl von Kabeln im Poolraum

Auch im E-Pool fehlen mittlerweile an ein paar Monitoren die Kabel.
von barracuda317
21. Nov 2013 14:02
Forum: RBG/Rechner
Thema: LAN-Verbindung im E-Pool
Antworten: 2
Zugriffe: 1114

LAN-Verbindung im E-Pool

Hallo, da das WLAN im Moment sehr störanfällig ist, möchte ich mich als Alternative mit dem LAN verbinden. Ich habe die Schritte unter: diesem Link vom HRZ durchgeführt. Mir wird auch von Windows angezeigt, dass die Netzwerkverbindung über Internetzugriff verfügt. Aber weder ein Ping noch der Aufruf...
von barracuda317
25. Okt 2013 13:14
Forum: Offtopic
Thema: Athene-Karte defekt
Antworten: 1
Zugriffe: 1863

Athene-Karte defekt

Hallo, leider musste ich gerade in der Mensa Stadtmitte (Otto-B.) feststellen, dass meine Athene-Karte nicht mehr reagiert. Weder beim Bezahlen, noch an der "Wie-viel-Ist noch drauf"-Stelle, noch an den Aufladestationen. Zudem ist mir nicht bewusst, wer meine Anlaufstelle für diese Problematik ist. ...
von barracuda317
7. Sep 2013 18:48
Forum: Archiv
Thema: T.5.3 Schlüsselkandidaten
Antworten: 2
Zugriffe: 532

Re: T.5.3 Schlüsselkandidaten

Wo steht dann, dass ABF ein Schlüsselkandidat ist? Ich kann das auf dem 1. Bild nicht finden
von barracuda317
6. Sep 2013 11:59
Forum: Archiv
Thema: Syntheseverfahren NF bestimmen
Antworten: 5
Zugriffe: 699

Re: Syntheseverfahren NF bestimmen

Noch eine Rückfrage, um die Inkonsistenz mal an einem Beispiel zu behandeln: Beispielklausur 2009 Aufgabe 4 Hier hätte ich für die Relationen ganz unten gesagt: R1=(ab,\{\{a,b\}\}) \Rightarrow 3NF R2=(acfg,\{\{a\},\{c\},\{f\}\}) \Rightarrow 2NF R3=(bde,\{\{b\}\}) \Rightarrow 3NF R4=(eg,\{\{e\}\}) \R...
von barracuda317
5. Sep 2013 14:53
Forum: Archiv
Thema: Aufgabe 9.2 d
Antworten: 5
Zugriffe: 645

Re: Aufgabe 9.2 d

eneldo hat geschrieben:Wie eine konkrete Implementierung das macht bleibt im Grunde ihr überlassen. Wir können aber einfach davon ausgehen, daß der Datalog-Interpreter eine Fixpunktberechnung durchführt und dann nachschaut, ob ein zu beweisendes Faktum enthalten ist.
Danke, dann ist es mir soweit klar.
von barracuda317
5. Sep 2013 12:39
Forum: Archiv
Thema: Aufgabe 9.2 d
Antworten: 5
Zugriffe: 645

Re: Aufgabe 9.2 d

Hallo, ja genau, alle Auswertungen würden terminieren, die Reihenfolge spielt keine Rolle, EPP würde terminieren. Datalog ist keine prozedurale Sprache. Gruß Eneldo Loza Wo finde ich denn Informationen darüber, wie Datalog einen solchen Beweis führen würde? Würde Datalog eine Fixpunktberechnung dur...
von barracuda317
5. Sep 2013 11:57
Forum: Archiv
Thema: SLD Suchbaum, wie lösen?
Antworten: 0
Zugriffe: 247

SLD Suchbaum, wie lösen?

Angenommen wir bekommen in der Klausur eine Aufgabe wie in Aufgabe 9.1 b) Wie würde Prolog die Query leq(2,4) abarbeiten? Skizzieren Sie zur Illustration den SLD-Suchbaum, der auch die fehlgeschlagenen Alternativen enthält. Die Skizze sieht in der Lösung aber etwas anders aus, als z.b. auf Folie 46....
von barracuda317
4. Sep 2013 13:57
Forum: Archiv
Thema: Syntheseverfahren NF bestimmen
Antworten: 5
Zugriffe: 699

Syntheseverfahren NF bestimmen

Hallo, gegeben sei eine Aufgabe, wie in der Beispielklausur Aufgabe 4. Wenn ich nun meine Schlüsselkandidaten gebildet habe möchte ich die höchste Normalform bestimmen. Mein Vorgehen war bisher, für jeden Schlüsselkandidaten zu bestimmen, welche Normalform die Relation hätte, wenn ich diesen Schlüss...
von barracuda317
3. Sep 2013 16:02
Forum: Archiv
Thema: Widerspruch zweier Musterlösungen
Antworten: 2
Zugriffe: 305

Re: Widerspruch zweier Musterlösungen

Beide Lösungen sind korrekt. Der Unterschied ist: Bei Übung 3: "Wir haben B \rightarrow C , aber nicht C \rightarrow B Bei Übung 4: " Wir haben sowohl A \rightarrow B als auch B \rightarrow A " - hier hatten wir meiner Meinung nach die Wahl, welches wir wegwerfen. Bitte um Korrektur, falls das nicht...
von barracuda317
3. Sep 2013 11:37
Forum: Archiv
Thema: Fakt vs. Atom
Antworten: 3
Zugriffe: 531

Re: Fakt vs. Atom

Ich hab das so verstanden. Ein Fakt ist z.B. parent(pam,bob). Währenddessen ein Atom aus dem Prädikatensymbol und n Termen besteht, wobei Terme ja Konstanten oder Variablen sein können. Somit wäre parent(pam,bob) auch ein Atom. Ein Atom kann jedoch auch parent(X,bob) sein. Dies ist jedoch kein Fakt...

Zur erweiterten Suche