Die Suche ergab 31 Treffer

von bubel
13. Feb 2015 20:56
Forum: Automated Theorem Proving
Thema: Talk: Formal methods in the Industry
Antworten: 0
Zugriffe: 1154

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...
von bubel
7. Okt 2014 16:05
Forum: Automated Theorem Proving
Thema: Seminar: Decision Procedures
Antworten: 0
Zugriffe: 456

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...
von bubel
5. Aug 2014 08:43
Forum: Archiv
Thema: Klausureinsicht
Antworten: 0
Zugriffe: 496

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
von bubel
29. Jul 2014 10:02
Forum: Archiv
Thema: Klausur 4.08.14: Raumaufteilung und allgemeine Information
Antworten: 0
Zugriffe: 352

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...
von bubel
30. Aug 2013 10:04
Forum: Archiv
Thema: Klausureinsicht
Antworten: 0
Zugriffe: 295

Klausureinsicht

Die Klausureinsicht zur Klausur am 5. August findet am Dienstag, 24. September 2013 von 11:15 - 12:15 im Vorlesungssaal C120 statt.
von bubel
20. Aug 2013 13:45
Forum: Archiv
Thema: Klasurergebnisse
Antworten: 0
Zugriffe: 346

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
von bubel
25. Jul 2013 10:23
Forum: Archiv
Thema: Klausur im SoSe 13
Antworten: 0
Zugriffe: 389

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,...
von bubel
16. Apr 2013 15:41
Forum: Archiv
Thema: Klausurergebnis und Einsicht
Antworten: 44
Zugriffe: 7870

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...
von bubel
11. Apr 2013 11:36
Forum: Archiv
Thema: Vorlesungen im SoSe 2013
Antworten: 0
Zugriffe: 515

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...
von bubel
11. Apr 2013 11:28
Forum: Archiv
Thema: Vorlesungen und Seminare im SoSe 2013
Antworten: 1
Zugriffe: 996

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...
von bubel
2. Apr 2013 15:36
Forum: Archiv
Thema: Verwirrung: Key und Close
Antworten: 9
Zugriffe: 1217

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 ...
von bubel
14. Mär 2013 12:17
Forum: Archiv
Thema: Klausurergebnis und Einsicht
Antworten: 44
Zugriffe: 7870

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...
von bubel
26. Feb 2013 09:59
Forum: Archiv
Thema: Hilfsmittel in der Klausur
Antworten: 6
Zugriffe: 960

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...
von bubel
26. Feb 2013 07:49
Forum: Archiv
Thema: Hilfsmittel in der Klausur
Antworten: 6
Zugriffe: 960

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
von bubel
20. Feb 2013 17:48
Forum: Archiv
Thema: Raumverteilung
Antworten: 0
Zugriffe: 464

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 ...

Zur erweiterten Suche