Die Suche ergab 31 Treffer
- 13. Feb 2015 20:56
- Forum: Automated Theorem Proving
- Thema: Talk: Formal methods in the Industry
- Antworten: 0
- Zugriffe: 2104
Talk: Formal methods in the Industry
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...
- 7. Okt 2014 16:05
- Forum: Automated Theorem Proving
- Thema: Seminar: Decision Procedures
- Antworten: 0
- Zugriffe: 560
Seminar: Decision Procedures
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...
- 5. Aug 2014 08:43
- Forum: Archiv
- Thema: Klausureinsicht
- Antworten: 0
- Zugriffe: 543
Klausureinsicht
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
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
- 29. Jul 2014 10:02
- Forum: Archiv
- Thema: Klausur 4.08.14: Raumaufteilung und allgemeine Information
- Antworten: 0
- Zugriffe: 388
Klausur 4.08.14: Raumaufteilung und allgemeine Information
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...
- 30. Aug 2013 10:04
- Forum: Archiv
- Thema: Klausureinsicht
- Antworten: 0
- Zugriffe: 329
Klausureinsicht
Die Klausureinsicht zur Klausur am 5. August findet am Dienstag, 24. September 2013 von 11:15 - 12:15 im Vorlesungssaal C120 statt.
- 20. Aug 2013 13:45
- Forum: Archiv
- Thema: Klasurergebnisse
- Antworten: 0
- Zugriffe: 356
Klasurergebnisse
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 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
- 25. Jul 2013 10:23
- Forum: Archiv
- Thema: Klausur im SoSe 13
- Antworten: 0
- Zugriffe: 427
Klausur im SoSe 13
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,...
- 16. Apr 2013 15:41
- Forum: Archiv
- Thema: Klausurergebnis und Einsicht
- Antworten: 44
- Zugriffe: 8362
Re: Klausurergebnis und Einsicht
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...
- 11. Apr 2013 11:36
- Forum: Archiv
- Thema: Vorlesungen im SoSe 2013
- Antworten: 0
- Zugriffe: 563
Vorlesungen im SoSe 2013
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...
- 11. Apr 2013 11:28
- Forum: Archiv
- Thema: Vorlesungen und Seminare im SoSe 2013
- Antworten: 1
- Zugriffe: 1064
Vorlesungen und Seminare im SoSe 2013
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...
- 2. Apr 2013 15:36
- Forum: Archiv
- Thema: Verwirrung: Key und Close
- Antworten: 9
- Zugriffe: 1322
Re: Verwirrung: Key und Close
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 ...
- 14. Mär 2013 12:17
- Forum: Archiv
- Thema: Klausurergebnis und Einsicht
- Antworten: 44
- Zugriffe: 8362
Klausurergebnis und Einsicht
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...
- 26. Feb 2013 09:59
- Forum: Archiv
- Thema: Hilfsmittel in der Klausur
- Antworten: 6
- Zugriffe: 1111
Re: Hilfsmittel in der Klausur
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...
- 26. Feb 2013 07:49
- Forum: Archiv
- Thema: Hilfsmittel in der Klausur
- Antworten: 6
- Zugriffe: 1111
Re: Hilfsmittel in der Klausur
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
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
- 20. Feb 2013 17:48
- Forum: Archiv
- Thema: Raumverteilung
- Antworten: 0
- Zugriffe: 497
Raumverteilung
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 ...