2x2 - Theoretische Informatik - Universität Duisburg-Essen
2x2 - Theoretische Informatik - Universität Duisburg-Essen
2x2 - Theoretische Informatik - Universität Duisburg-Essen
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kontextsensitive und Typ-0-Sprachen<br />
Berechenbarkeitstheorie<br />
Komplexitätstheorie<br />
Kontextsensitive und Typ-0-Sprachen<br />
Berechenbarkeitstheorie<br />
Komplexitätstheorie<br />
Hinweise zu den Übungen<br />
Lernplattform Moodle<br />
Wir verwenden Moodle, um:<br />
Bitte geben Sie auf Ihrer Lösung oben deutlich Ihren Namen,<br />
Ihre Gruppennummer, Ihre Matrikelnummer und das Fach an.<br />
Bitte heften Sie die Blätter ordentlich zusammen.<br />
Elektronische Abgaben sind nur als PDF zulässig! Bitte<br />
benennen Sie Dateien nach folgendem Schema (um eine<br />
eindeutige Namenswahl zu gewährleisten):<br />
-.pdf<br />
Sie dürfen in Zweier-Gruppen abgeben.<br />
Plagiate oder das Kopieren alter Musterlösungen sind<br />
selbstverständlich nicht erlaubt! In diesem Fall vergeben wir<br />
keine Punkte.<br />
die Aufgabenblätter zur Verfügung zu stellen,<br />
Hausaufgaben elektronisch abzugeben und<br />
Video-Mitschnitte der Vorlesung (vom WS 12/13) zur<br />
Verfügung zu stellen.<br />
Moodle-2-Plattform an der <strong>Universität</strong> <strong>Duisburg</strong>-<strong>Essen</strong>:<br />
http://moodle2.uni-due.de/ (siehe auch Link auf der<br />
Webseite)<br />
Bitte legen Sie dort einen Zugang an (falls noch nicht vorhanden)<br />
und tragen Sie sich in den Kurs “Berechenbarkeit und<br />
Komplexität/<strong>Theoretische</strong> <strong>Informatik</strong>” (Ingenieurwissenschaften →<br />
<strong>Informatik</strong> und Angewandte Kognitionswissenschaft) ein.<br />
Zugangsschlüssel: . . .<br />
Kontextsensitive und Typ-0-Sprachen<br />
Berechenbarkeitstheorie<br />
Komplexitätstheorie<br />
Mündliche Prüfung/Klausur<br />
Barbara König BeKo/TI 9<br />
Kontextsensitive und Typ-0-Sprachen<br />
Berechenbarkeitstheorie<br />
Komplexitätstheorie<br />
Mündliche Prüfung/Klausur<br />
Barbara König BeKo/TI 10<br />
Es gibt mehrere Möglichkeiten, die Vorlesung prüfen zu lassen . . .<br />
Mündliche Prüfung (nur für Bachelor <strong>Duisburg</strong>)<br />
Mündliche Prüfung des Moduls “<strong>Theoretische</strong> <strong>Informatik</strong>”<br />
(“Automaten und Formale Sprachen”, zusammen mit<br />
“Berechenbarkeit und Komplexität”)<br />
Statt dieser mündlichen Prüfung kann man alternativ auch eine<br />
mündliche Prüfung in “Rechnernetze und Sicherheit” absolvieren.<br />
Termine: 24.-28. Februar 2014<br />
Schriftliche Prüfung<br />
Klausur am Ende des Semesters (für alle Studierenden, auch<br />
Bachelor <strong>Duisburg</strong>, die die mündliche Prüfung nicht absolvieren)<br />
Termin: Donnerstag, 13. Februar 2014, 14:00–16:00 Uhr<br />
Anmeldung in beiden Fällen (schriftlich, mündlich) über das<br />
Prüfungsamt (ab 11.11.)<br />
Für die <strong>Essen</strong>er Bachelorstudiengänge ist die Nachklausur<br />
voraussichtlich am Donnerstag, 3. April 2014, 14:00-16:00 Uhr<br />
Barbara König BeKo/TI 11<br />
Barbara König BeKo/TI 12