Die Suche ergab 271 Treffer

von dschneid
18. Mai 2012 22:25
Forum: Archiv
Thema: Fragen zu Blatt 2
Antworten: 12
Zugriffe: 975

Re: Fragen zu Blatt 2

Eine weitere Frage: Wir müssen für den CFG-Dump ja die zwei ausgehenden Kanten eines Blockes unterschiedlich beschriften, je nachdem, ob es sich um eine Schleife handelt oder nicht. Um zu erkennen, ob eine Schleife vorliegt, wären die Dominanz-Informationen enorm hilfreich. Allerdings scheinen diese...
von dschneid
15. Mai 2012 22:44
Forum: Archiv
Thema: Fragen zu Blatt 2
Antworten: 12
Zugriffe: 975

Fragen zu Blatt 2

Ich habe einige Fragen, hauptsächlich zum Umfang der bereitgestellten Compiler-JAR. Ich bin nämlich der Ansicht, dass einige essentielle Funktionalitäten nach wie vor obfusziert sind. Zum Beispiel scheint es mir recht wichtig zu sein, Visitors für TAC-Instruktionen benutzen zu können (diese Möglichk...
von dschneid
6. Mai 2012 10:57
Forum: Secure Coding Lab
Thema: Ass.2: Omitting labels/brackets
Antworten: 2
Zugriffe: 735

Re: Ass.2: Omitting labels/brackets

The way I understand it, the omission would result in only "skip" without any brackets.
von dschneid
11. Apr 2012 14:35
Forum: Archiv
Thema: 1 Übungsblatt
Antworten: 6
Zugriffe: 1410

Re: 1 Übungsblatt

Besser nicht, denn es ist ja eine Hausaufgabe. :wink:

Wo genau hängt es denn?
von dschneid
18. Mär 2012 18:03
Forum: Archiv
Thema: Auslesen von argv in asm
Antworten: 4
Zugriffe: 708

Re: Auslesen von argv in asm

Wenn du dir mal die Signatur der main function in C anschaust: int main(int argc, char* argv[]) Die Liste der Argumente ist also ein Array aus Strings, wobei Strings in C ebenfalls nur Arrays von Characters sind. Wenn du also den Aufruf ./fac 5 hast, dann ist argv[1], das erste Argument, ein String ...
von dschneid
10. Mär 2012 13:24
Forum: Archiv
Thema: Klausurrelevante Themen
Antworten: 9
Zugriffe: 1056

Re: Klausurrelevante Themen

sollen wir alle Blockchiffrenmethoden (CBC, CFB usw...) auswendig lernen? Ich meine mich erinnern zu können, dass Prof. Katzenbeisser in der Vorlesung meinte, dass es seiner Meinung nach wenig bringt solche Schaltbilder auswendig zu lernen. Damit meinte er aber wohl wirklich nur, dass man nicht das...
von dschneid
6. Mär 2012 13:17
Forum: Archiv
Thema: Kalkülregeln für die Klausur
Antworten: 7
Zugriffe: 901

Re: Kalkülregeln für die Klausur

Vor einem Jahr auch.
von dschneid
22. Feb 2012 22:59
Forum: Archiv
Thema: Klausur - wie wars?
Antworten: 22
Zugriffe: 1907

Re: Klausur - wie wars?

skapism hat geschrieben:
GNut hat geschrieben:Was macht sie denn jetzt? ^^ wuerde mich interssieren :D
skapism hat geschrieben:konvertiert p nicht die 2-faktoren in 3-faktoren und rechnet noch dazu, wie oft sie das gemacht hat?
Ja.
von dschneid
19. Feb 2012 14:45
Forum: Archiv
Thema: Vorlesungsfolien
Antworten: 3
Zugriffe: 402

Re: Vorlesungsfolien

Also wird ein solcher Verweis in einer Übung behandelt. Das heißt aber nicht, dass alle diese Verweise irgendwann vor Jahren mal in einer Übung behandelt wurden; das meinte ich ja mit meiner ersten Antwort. Meiner Erfahrung nach ist es auch eher unwahrscheinlich, dass solche Hintergrundfragen wie di...
von dschneid
19. Feb 2012 13:55
Forum: Archiv
Thema: Vorlesungsfolien
Antworten: 3
Zugriffe: 402

Re: Vorlesungsfolien

Diese Verweise in den Folien heißen eigentlich nur, dass sich "der geneigte Leser" das einmal selbst überlegen soll. Sie sind nicht unbedingt Verweise auf die "offiziellen" Übungen. Das ist in Skripten mathematiklastiger Vorlesungen ziemlich üblich.
von dschneid
17. Feb 2012 15:35
Forum: Archiv
Thema: Predefined in L für die Klausur?
Antworten: 1
Zugriffe: 258

Re: Predefined in L für die Klausur?

Von genau denen, die in VeriFun predefined sind, also bool, nat und >. Weitere Prozeduren können natürlich im Kontext einzelner Aufgaben vorgegeben sein. Ich denke mal, meistens werden die relevanten Prozeduren nochmal angegeben werden. (So war das in den Übungen und letztes Jahr in der Klausur.)
von dschneid
14. Feb 2012 10:34
Forum: Archiv
Thema: Beweise über Induktionsformeln abkürzen ?
Antworten: 1
Zugriffe: 279

Re: Beweise über Induktionsformeln abkürzen ?

Ja, aber nur wenn die abgekürzten Teile der Formel in weiteren Schritten entfallen.

Siehe auch http://d120.de/forum/viewtopic.php?f=182&t=24185.
von dschneid
5. Feb 2012 11:47
Forum: Archiv
Thema: Alte FGDI 3 Klausuren
Antworten: 5
Zugriffe: 1017

Re: Alte FGDI 3 Klausuren

Im LZM sicherlich nicht, weil FGdI 3 ja eine Veranstaltung des FB 20 ist, nicht der Mathematiker.
von dschneid
23. Jan 2012 17:58
Forum: Archiv
Thema: Hausübung 4, Aufgabe 2
Antworten: 7
Zugriffe: 702

Re: Hausübung 4, Aufgabe 2

Welcher Maßterm für welchen rekursiven Aufruf kleiner wird oder gleich bleibt, ist egal. Es muss nur die gesamte Maßtermliste bezüglich der lexikographischen Ordnung für jede Terminierungshyptohese kleiner werden.
von dschneid
16. Jan 2012 21:47
Forum: Archiv
Thema: Übung 4 - Aufgabe 4.3.2
Antworten: 1
Zugriffe: 225

Re: Übung 4 - Aufgabe 4.3.2

Weil es für jedes \(k\) nur eine andere Liste \(l\) gibt, bei der von \(k\) genau das erste Element fehlt. Das sagt die Gleichung in der Definition nämlich aus.

Zur erweiterten Suche