Die Suche ergab 124 Treffer

von Markus Tasch
13. Jan 2017 10:28
Forum: Archiv
Thema: Übung 1.3: Anforderung
Antworten: 1
Zugriffe: 335

Re: Übung 1.3: Anforderung

Sorry für die späte Antwort die Frage ist über die Witnerpause irgendwie untergegangen. Das ist in diesem Fall als "implizit" zu verstehen. Streng genommen ist die Funktion \text{gemeinsame-sprache}(ak) parametrisch in der Funktion zuordnung, da diese zum Zeitpunkt ihrer Definition in den Folien unt...
von Markus Tasch
9. Jan 2017 18:20
Forum: Archiv
Thema: Aufgabe 5.4c
Antworten: 1
Zugriffe: 144

Re: Aufgabe 5.4c

Nein, das ist nicht möglich. Die Nebenbedingung \pi'=\pi[L, \backslash (L,a)] ersetzt die Folge von Numerals, die in der Listenvariable L gespeichert wird durch die Folge (L,a) . Dies passt aber nicht zur Signatur der Funktion \pi (nämlich LVar \to Num^* ), da (L,a) keine Folge von Numerals ist.
von Markus Tasch
9. Jan 2017 17:21
Forum: Archiv
Thema: Aufgabe 5.4a
Antworten: 3
Zugriffe: 392

Re: Aufgabe 5.4a

Die Regel muss wie in der Musterlösung r; \frac{\langle c_1, \sigma, \pi \rangle \rightarrow \langle \sigma'',\pi''\rangle \quad \langle c_2, \sigma'', \pi'' \rangle \rightarrow \langle \sigma',\pi'\rangle}{\langle c_1;c_2, \sigma,\pi \rangle \rightarrow \langle \sigma',\pi'\rangle} sein (beachte, d...
von Markus Tasch
31. Okt 2016 13:41
Forum: Archiv
Thema: Fehler auf S.36 Punkt 3 - Module 2: Logik (v0.9)
Antworten: 1
Zugriffe: 155

Re: Fehler auf S.36 Punkt 3 - Module 2: Logik (v0.9)

Danke für den Hinweis. Wir haben das entsprechend in Version 1.0 der Folien korrigiert.
von Markus Tasch
27. Okt 2016 13:47
Forum: Archiv
Thema: Verbesserung der Aufteilung in Übungsgruppen
Antworten: 0
Zugriffe: 120

Verbesserung der Aufteilung in Übungsgruppen

An alle, die aktiv die angebotenen Übungsgruppen besuchen (d.h. zur Übung oder Tutorensprechstunde anwesend sind), hätten wir folgende bitte: Wiederholen Sie bitte die Auswahl Ihrer Übungsgruppe im zu diesem Zweck angelegten Moodle-Kurs (https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1...
von Markus Tasch
24. Okt 2016 17:48
Forum: Archiv
Thema: Übungsabgabe
Antworten: 2
Zugriffe: 265

Re: Übungsabgabe

Das ist richtig. Die Übungen sind immer 1 Woche nach Ausgabe Montags um 11:00 Uhr im Briefkasten des jeweiligen Tutors einzuwerfen. Das bedeutet für Übung 1 ist der Stichtag erst nächste Woche Montag (31.10.2016).
von Markus Tasch
24. Okt 2016 16:43
Forum: Archiv
Thema: Klausureinsicht MoSeS-Klausur SS16
Antworten: 0
Zugriffe: 228

Klausureinsicht MoSeS-Klausur SS16

Die Klausurergebnisse zur Klausur "Modellierung, Spezifikation und Semantik" im SS16 wurden ans Studienbüro gemeldet und sollten im Laufe der Woche in TUCaN sichtbar sein. Die Klausureinsicht findet am Mo 31.10 von 15:00-16:30 in S2|02 Raum E302 statt. Mitzubringen sind der Studentenausweis sowie Pe...
von Markus Tasch
11. Okt 2016 20:53
Forum: Archiv
Thema: Seminar: Computer Security Foundations in WS16/17
Antworten: 1
Zugriffe: 548

Re: Seminar: Computer Security Foundations in WS16/17

In case you plan to participate in the seminar Computer Security Foundations in WS16/17, please note that the date of the introductory meeting was changed to Tuesday October 25.10.2016 16:30-18:00 in E302 . The introductory meeting for our lab courses is still on Friday October 21 13:30-15:10 in E302.
von Markus Tasch
11. Okt 2016 20:52
Forum: Archiv
Thema: Seminar: Formal Specification and Verification in WS16/17
Antworten: 1
Zugriffe: 437

Re: Seminar: Formal Specification and Verification in WS16/17

In case you plan to participate in the seminar Formal Specification and Verification in WS16/17, please note that the date of the introductory meeting was changed to Tuesday October 25.10.2016 16:30-18:00 in E302 . The introductory meeting for our lab courses is still on Friday October 21 13:30-15:1...
von Markus Tasch
11. Okt 2016 20:49
Forum: Archiv
Thema: Seminar: Computer Security Foundations im WS16/17
Antworten: 1
Zugriffe: 294

Re: Seminar: Computer Security Foundations im WS16/17

In case you plan to participate in the seminar Computer Security Foundations in WS16/17, please note that the date of the introductory meeting was changed to Tuesday October 25.10.2016 16:30-18:00 in E302 . The introductory meeting for our lab courses is still on Friday October 21 13:30-15:10 in E302.
von Markus Tasch
11. Okt 2016 20:49
Forum: Archiv
Thema: Seminar: Formal Specification and Verification in WS16/17
Antworten: 1
Zugriffe: 189

Re: Seminar: Formal Specification and Verification in WS16/17

In case you plan to participate in the seminar Formal Specification and Verification in WS16/17, please note that the date of the introductory meeting was changed to Tuesday October 25.10.2016 16:30-18:00 in E302 . The introductory meeting for our lab courses is still on Friday October 21 13:30-15:1...
von Markus Tasch
21. Sep 2016 16:20
Forum: Archiv
Thema: Exam Inspection on October 6, 2016 16:00-17:30 in E202
Antworten: 0
Zugriffe: 263

Exam Inspection on October 6, 2016 16:00-17:30 in E202

The inspection for the final exam will be on Thu, 06.10.2016, at 16:00-17:30 in S2|02, E202. Bring your student ID card and official photo ID for authentication. The results should already be visible in TUCaN soon.
von Markus Tasch
19. Sep 2016 18:22
Forum: Archiv
Thema: Klausur
Antworten: 1
Zugriffe: 382

Re: Klausur

Hallo,

wie üblich findest du die Infos alle gesammelt auf der Veranstaltungswebsite (http://www.mais.informatik.tu-darmstadt.de/mss-ws15).

Viele Grüße,
von Markus Tasch
19. Sep 2016 18:18
Forum: Archiv
Thema: Raumeinteilung für die Klausur "Modellierung,Spezifikation und Semantik" am Fr 23.09, 09:00
Antworten: 0
Zugriffe: 93

Raumeinteilung für die Klausur "Modellierung,Spezifikation und Semantik" am Fr 23.09, 09:00

Die Raumeinteilung für die Klausur im SS 16 zur Veranstaltung "Modellierung,Spezifikation und Semantik" am Fr. 23.09, 09:00 steht jetzt auf der Webseite der Veranstaltung (http://www.mais.informatik.tu-darmstadt.de/mss-ws15).
von Markus Tasch
12. Jul 2016 17:14
Forum: Archiv
Thema: Seminar: Computer Security Foundations in WS16/17
Antworten: 1
Zugriffe: 548

Seminar: Computer Security Foundations in WS16/17

In the winter term 2016/2017, the MAIS group (Prof. Dr. Heiko Mantel) offers the seminar Computer Security Foundations (3 CP, 2SWS, TUCaN Id: 20-00-0925-se). The joint introductory meeting for all seminars offered by the MAIS group takes place Tuesday, October 25th from 16:30-18:00 in S202|E302. Ad-...

Zur erweiterten Suche