Die Suche ergab 103 Treffer

von quanz
3. Jul 2009 15:22
Forum: Archiv
Thema: pränexe Normalform & Implikation
Antworten: 5
Zugriffe: 777

Re: pränexe Normalform & Implikation

mister_tt hat geschrieben:Ursprung: uvRuvvPv

1. Schritt (Variablen umbenennen): uvRuvwPw

2. Schritt (Implikation auflösen): (uvRuv)wPw

3. Schritt (Negation auflösen): uvRuvwPw

4. Schritt (Quantor nach vorne ziehen): uvwRuvPw

Kein Gewähr... Am Besten bestätigt das nochmal jemand ;D

stimmt!
von quanz
19. Jun 2009 19:43
Forum: Archiv
Thema: H9.5 b) Bulk-Loading
Antworten: 6
Zugriffe: 1048

Re: H9.5 b) Bulk-Loading

Hallo, das mit dem Bulk-loading ist schon richtig. Das ergibt so, weil am Anfang in einen leeren Knoten, der Wurzel, eingefügt wird. Das Einfügen in den B+ ist eine Sache der Definition. In den Folien wird da auch häufig mal gewechselt. Mein Rat: Bleibt einheitlich. Bulk-loading ist ja einfaches, sc...
von quanz
16. Jun 2009 18:20
Forum: Archiv
Thema: H 8.4
Antworten: 17
Zugriffe: 802

Re: H 8.4

In dieser Aufgabe wird bei jedem neuen Eintrag der entsprechende Knoten neu sortiert.
Kurz: Jeder Knoten, ob Wurzel, innerer Knoten oder Blatt haben Einträge in sortierter Reihenfolge.
von quanz
29. Mai 2009 15:18
Forum: Archiv
Thema: Hausübung 4 - 9 Punkte?
Antworten: 2
Zugriffe: 177

Hausübung 4 - 9 Punkte?

Hallo allerseits,

eine kurze Frage:
Gibt es für die 4. Hausübung insgesamt 9 Punkte (3 Aufgaben je 3Punkte) oder war das in der Übung nur ein Tippfehler?

Gruß Daniel
von quanz
20. Mai 2009 15:13
Forum: Archiv
Thema: Zugangsdaten für die HCS-Übung
Antworten: 32
Zugriffe: 1469

Re: Zugangsdaten für die HCS-Übung

hast Post
von quanz
26. Apr 2009 17:24
Forum: Archiv
Thema: Zugangsdaten für die HCS-Übung
Antworten: 32
Zugriffe: 1469

Re: Zugangsdaten für die HCS-Übung

hast post
von quanz
26. Apr 2009 15:00
Forum: Archiv
Thema: Zugangsdaten für die HCS-Übung
Antworten: 32
Zugriffe: 1469

Re: Zugangsdaten für die HCS-Übung

hat sich erledigt, Danke!
von quanz
17. Apr 2009 14:18
Forum: Archiv
Thema: Passwort
Antworten: 79
Zugriffe: 5380

Re: Passwort

Hast Post
von quanz
17. Apr 2009 11:57
Forum: Archiv
Thema: Übungsbetrieb?
Antworten: 6
Zugriffe: 591

Re: Übungsbetrieb?

Hier kann man das nochmal nachlesen:
http://www.mathematik.tu-darmstadt.de/l ... sblatt.pdf
von quanz
16. Apr 2009 17:42
Forum: Archiv
Thema: erste Übung
Antworten: 18
Zugriffe: 1168

Re: erste Übung

Die 1. Übung wird am Wochenende ins Netz gestellt. Spätestens am Montag sind sie online. In Zukunft wird es sich wahrscheinlich ähnlich verhalten.
von quanz
20. Jan 2009 13:29
Forum: Archiv
Thema: Was machen mit leerer BadCode Klasse in Übung 11?
Antworten: 3
Zugriffe: 167

Re: Was machen mit leerer BadCode Klasse in Übung 11?

Denke schon, wenn du sie nicht mehr brauchst. Ich habe sie gelöscht.
von quanz
10. Jan 2009 20:32
Forum: Archiv
Thema: Hausübung, Aufgabe 3
Antworten: 50
Zugriffe: 1676

Re: Hausübung, Aufgabe 3

Danke für eure Lösungen.
Habe meinen Fehler gefunden. Habe jeweils den einzelnen Plaintext Block mit den letzten 5 Bit, statt den ersten 5 Bit, ver-xort.
von quanz
10. Jan 2009 15:12
Forum: Archiv
Thema: Hausübung, Aufgabe 3
Antworten: 50
Zugriffe: 1676

Re: Hausübung, Aufgabe 3

Dürfen hier ins Forum die Chiffrate zum Vergleichen der Ergebnisse reingestellt werden? Ich glaube darauf wurde noch nicht geantwortet, oder? Naja, ich denke mal, das nur ein kompletter Lösungsweg akzeptiert wird, statt nur das Lösungswort. Ich gebe mal meine abgeschwächte Lösung an und hoffe ihr k...
von quanz
14. Dez 2008 16:06
Forum: Archiv
Thema: Übung 8 - flacher Automat
Antworten: 14
Zugriffe: 626

Re: Übung 8 - flacher Automat

Wie ist das eigentlich noch mal mit der Transition "Abbruch [not in KA]"? Die kommt ja im Diagramm sozusagen aus dem Nichts. Wo kommt sie also beim flachen Automaten her? In den Vorlesungsfolien gibts das Beispiel nicht und auch sonst habe ich nichts gefunden. Wär cool, wenn mir das jemand sagen kö...
von quanz
7. Dez 2008 15:09
Forum: Archiv
Thema: 7. Übung nicht im Gruppenordner vorhanden
Antworten: 6
Zugriffe: 192

Re: 7. Übung nicht im Gruppenordner vorhanden

So, wollte jetzt die Übung aus dem exercise-Ordner in den Gruppenordner holen, dabei kommt folgende Fehlermeldung: Create 'Create Folder' folder failed. svn: CHECKOUT of '/eise/!svn/ver/4741/2008': 403 Forbidden (https://cage.st.informatik.tu-darmstadt.de) Kann mir da jemand weiterhelfen? Hast wahr...

Zur erweiterten Suche