Die Suche ergab 14 Treffer

von RichardGay
11. Sep 2015 11:15
Forum: Archiv
Thema: Raum für die Klausur am 18.9.
Antworten: 0
Zugriffe: 143

Raum für die Klausur am 18.9.

Zur Info an alle, die die Klausur am 18.9. schreiben: Uhrzeit und Raum sind jetzt auf der Webseite der Veranstaltung angekündigt. Die Klausur findet am 18.9., 9:00-11:15 in Raum S1|01 A1 (Audimax) statt.
von RichardGay
11. Sep 2015 11:11
Forum: Archiv
Thema: Klausurfrage + Übungsaufgabe
Antworten: 5
Zugriffe: 543

Re: Klausurfrage + Übungsaufgabe

Zu (1): ja
von RichardGay
13. Mai 2015 20:02
Forum: Archiv
Thema: Klausurergebnisse?
Antworten: 8
Zugriffe: 1778

Re: Klausurergebnisse?

Der Einsichtstermin (22.05.2015) und Zeitplan steht nun auch fest. Details dazu findet ihr auf der FoC-Webseite. Zu der anderen Frage: ja, da haben mehr als 74 Leute mitgeschrieben - über 200 um etwas genauer zu sein. Ist eine TUCaN-Besonderheit, dass die nicht alle in einer Liste stehen... und ich ...
von RichardGay
12. Mai 2015 16:34
Forum: Archiv
Thema: Klausurergebnisse?
Antworten: 8
Zugriffe: 1778

Re: Klausurergebnisse?

Die Klausurergebnisse stehen jetzt in TUCaN und wurden ans Studienbüro gemeldet.
Der Einsichtstermin wird in Kürze noch festgelegt.
von RichardGay
6. Mai 2015 14:39
Forum: Archiv
Thema: Klausurergebnisse?
Antworten: 8
Zugriffe: 1778

Re: Klausurergebnisse?

Die Klausurergebnisse (nein, sie sind nicht im Nirvana) werden in Kürze bekanntgegeben. Sobald die Ergebnisse da (also in TUCaN bzw. beim Studienbüro) sind, werden wir das auch auf der FoC-Webseite angeben. Der Einsichtstermin findet sich dann auch dort.
von RichardGay
15. Apr 2015 16:08
Forum: Archiv
Thema: Access to the Slides
Antworten: 4
Zugriffe: 771

Re: Access to the Slides

Sorry guys ... access control is not always easy to get right, as we will learn in the lecture ;-)
The problem should be fixed by now, though.
von RichardGay
19. Mär 2015 21:04
Forum: Veranstaltungen
Thema: Lecture/Vorlesung: Formal Methods for Information Security
Antworten: 0
Zugriffe: 261

Lecture/Vorlesung: Formal Methods for Information Security

In the upcoming summer term 2015, Prof. Dr. Heiko Mantel offers the lecture Formal Methods for Information Security (9 CP, TUCaN Id: 20-00-0362-iv).
The course will be assisted by Richard Gay.

Bild
von RichardGay
19. Mär 2015 21:01
Forum: Archiv
Thema: Lecture/Vorlesung: Formal Methods for Information Security
Antworten: 0
Zugriffe: 317

Lecture/Vorlesung: Formal Methods for Information Security

In the upcoming summer term 2015, Prof. Dr. Heiko Mantel offers the lecture Formal Methods for Information Security (9 CP, TUCaN Id: 20-00-0362-iv).
The course will be assisted by Richard Gay.

Bild
von RichardGay
9. Mär 2015 15:55
Forum: Archiv
Thema: Raumeinteilung für die Klausur
Antworten: 0
Zugriffe: 348

Raumeinteilung für die Klausur

Zur Info an alle, die die Klausur am Mittwoch schreiben: Die Raumeinteilung für die Klausur steht jetzt auf der Webseite der Veranstaltung.
von RichardGay
4. Mär 2015 19:47
Forum: Archiv
Thema: Klausur: Kalkülregeln als Referenz
Antworten: 1
Zugriffe: 494

Re: Klausur: Kalkülregeln als Referenz

Hallo zusammen,

wie auch in der Vergangenheit machen wir zur Frage, ob die Kalkülregeln (ohne "h") von uns in der Klausur angegeben werden, keine Aussage.

Viele Grüße und viel Erfolg beim Lernen!
von RichardGay
4. Mär 2015 19:27
Forum: Archiv
Thema: Aufgabe 4.2
Antworten: 2
Zugriffe: 311

Re: Aufgabe 4.2

Ja, ein Getränk soll 2 Euro kosten ... und in der gerade hochgeladenen Version 1.2 des Übungsblatts steht das auch drin. Danke für den Hinweis.
von RichardGay
24. Nov 2014 19:30
Forum: Archiv
Thema: Notation (Aufg. 6.4 und Lösung zu Aufg. 5.3 und 5.4)
Antworten: 0
Zugriffe: 307

Notation (Aufg. 6.4 und Lösung zu Aufg. 5.3 und 5.4)

Die Musterlösungen von Übungsblatt 5 sowie Übungsblatt 6 verwenden die Notation \sigma[x\backslash n] die jedoch erst in Modul 7 eingeführt wird. Die Definition lautet in Modul 7: Sei \sigma\in\Sigma ein Zustand. Dann ist \sigma[x\backslash n] der Zustand, der der Programmvariablen x den Wert n und ...
von RichardGay
15. Okt 2014 11:51
Forum: Archiv
Thema: Aufg. 0.2 Diagonal?
Antworten: 1
Zugriffe: 472

Re: Aufg. 0.2 Diagonal?

Korrekt. Diagonale Bewegungen des Affen müssen nicht vom Modell unterstützt werden. Sofern es dir Spaß macht, ist es dir natürlich freigestellt, neben dem "einfachen" auch ein komplizierteres Modell zu entwickeln, das auch diagonale Bewegungen des Affens erlaubt. Ich würde aber empfehlen, zunächst e...
von RichardGay
2. Apr 2013 09:30
Forum: Veranstaltungen
Thema: Lab Course "Dynamic Enforcement for Software Security"
Antworten: 0
Zugriffe: 171

Lab Course "Dynamic Enforcement for Software Security"

In summer term 2013, the MAIS group (Prof. Dr. Heiko Mantel) offers the lab course Dynamic Enforcement for Software Security (6 CP, TUCAN Id: 20-00-0640-pr).

Bild

Zur erweiterten Suche