D120.de/forum

You are cordially invited to the following presentation as part of our seminar series software engineering using formal methods. This time Keiko Nakata, an employee of the company FireEye, will talk about “Formal Methods at FireEye: Goals and Challenges” Date: Tue, 17th February Time: 10:00-10:45 Ro...

Hallo, am Fachgebiet Software Engineering bieten wir dieses Semester das Seminar "Decision Procedures" an, in dem wir auf Techniken eingehen, die es helfen Probleme zu lösen in denen Theorien wie lineare und nicht-lineare Arithmetik, Bitvektoren usw. vorkommen. Weitere Informationen unter: https://w...

Hallo zusammen,

die Klausur ist korrigiert und sollte in Kürze in TUCaN sichtbar sein. Die Einsicht findet am Donnerstag, den 14.8 im Raum E202 (S2|02) statt.

Nachnamen A-K von 9 Uhr - 9:30 Uhr

Nachnamen L-Z von 9:30 Uhr - 10:00 Uhr

Viele Grüße,

Martin und Richard

Hallo zusammen, anbei die Raumaufteilung für die EiSE Nachklausur am Montag, den 04. August 2014, 9:00 Uhr: Die Räume sind wie folgt: Nachname A-M schreiben im Raum C110 im Gebäude S2|02 Nachname N-Z schreiben im Raum C120 im Gebäude S2|02 Die Modalitäten sind wie üblich die gleichen wie für die Hau...

Die Klausureinsicht zur Klausur am 5. August findet am Dienstag, 24. September 2013 von 11:15 - 12:15 im Vorlesungssaal C120 statt.

Hallo,

Die Klausurergebnisse sind an das Prüfungssekretariat übermittelt worden und sollten bald in TUCaN einzusehen sein. Wenn die Ergebnisse veröffentlicht sind, werden wir hier zeitnah den Termin für die Einsicht bekanntgeben.

Viele Grüße,
Richard

Die Klausur findet am 5. August um 9 Uhr in den Räumen C110 und C120 im Piloty Gebäude (S2|02). Die Aufteilung der Räume ist wie folgt: A - Ki in Raum C110 Kj - Z in Raum C120 Für die Klausur gelten ansonsten die selben Bedingungen wie für die Hauptklausur, nämlich: 1) Open Book Klausur Alle Folien,...

Hallo, von unserer Seite sind die Noten seit Donnerstag in TUCaN freigegeben (es gab noch einzelne Studierende die um eine Einsicht nach der offiziellen gebeten hatten, da sie verhindert waren) und die Listen unterschrieben abgeben. Wenn ich nachsehe, fehlt noch die Veröffentlichung vom Studiensekre...

Hallo liebe Studierende, anbei einige Vorlesungen und Seminare im Sommersemester, die für einige von Euch von Interesse sein könnten. Viele Grüße, Richard 1) Vorlesung: Automatisches Theorembeweisen =============================== Was haben die folgenden Problemstellungen gemeinsam? * Software Paket...

Hallo liebe Studierende, anbei einige Vorlesungen und Seminare im Sommersemester, die für einige von Euch von Interesse sein könnten. Viele Grüße, Richard 1) Vorlesung: Automatisches Theorembeweisen =============================== Was haben die folgenden Problemstellungen gemeinsam? * Software Paket...

Hallo, Zu dem Schliessfall: p(X_0) ==> \forall s y; p(y), p(y_0), \exists s x; (p(x) -> \forall s y; p(y)) Sofern ich die Sequenz richtig interpretiere wurde sie erzeugt entweder durch Auswahl der First-Order Strategie oder die all_left (resp. ex_right) Regel wurde per Hand eingegeben und nicht mit ...

Hallo, Die Klausurergebnisse hängen an der Pinnwand zwischen Raum A204 und A205 (S2|02) aus. Korrektur Aufgabe 1a (Multiple Choice): Die Aufgabenstellung von Aufgabe 1a entsprach leider nicht den Allgemeinen Prüfungsbestimmungen, daher darf diese nach Absprache mit dem Studiendekan und der Rechtsabt...

Hallo, aeh nein. Wir haben Moodle bis auf bei der Tutorieneinteilung nicht genutzt, sondern nur D120 Forum sowie die Webseite: https://www.se.tu-darmstadt.de/teaching/courses/einfuehrung-in-software-engineering/?no_cache=1 Der obige Link geht zum Moodle Kurs für EiCE (Einführung in Computational Eng...

Hallo,

es ist eine "Open Book" Klausur, d.h. es dürfen Folien (Vorlesung + Übung), Ü-Blätter, Bücher etc. mitgenommen werden. Nicht erlaubt sind elektronische Hilfsmittel jeder Art.

Viele Grüße,
Richard

Hallo, für die Klausur am 27.02.2013 Beginn: 10:00 Uhr steht die Raumverteilung fest. Sie ist wie folgt: S101/A1: A - Hog S101/A01: Hoh - Lb S101/A03: Lc - Mom S101/A04: Mon - Poe S101/A5: Pof - Sab S202/C205 : Sac - Sts S306/051: Stt - Z ä=a, ö=o, Ü=u Eine Raumliste nach Matrikelnummer ist auch am ...