Exercise: Automata and Logics (080020)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Übung, 2 SWS
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Do 14:30 - 16:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024)
vom 14.4.2024 bis zum 14.7.2024 Bemerkung zu Zeit und Ort: Please note: The exercise will take place on 23.05.24 in LS1-R. 21.
- Voraussetzungen / Organisatorisches
- Please find all the necessary information at Moodle .
Please register as usual via StudiDB .
Contact person for organisational or technical questions regarding this module is the first person named in the exercises.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 40
- Zugeordnet zu: infAutLog-01a: Automata and Logics (080038)
Exercise: Quantum Computing (080021)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Übung, 2 SWS
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Mi 12:45 - 13:45, LMS11a - R.EG.003 (40) (außer Mi 17.4.2024); Einzeltermin am 17.4.2024 12:45 - 13:45, CAP2 - Hörsaal D
vom 14.4.2024 bis zum 14.7.2024
- Voraussetzungen / Organisatorisches
- Please find all the necessary information at Moodle .
Please register as usual via StudiDB .
Exact dates of lectures and tutorials are to be found in the moodle calendar.
Contact person for organisational or technical questions regarding this module is the first person named in the exercises.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 40
- Zugeordnet zu: infQComp-01a: Quantum Computing (080022)
infAutLog-01a: Automata and Logics (infAutLog-01a) (080038)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Di 8:15 - 9:45, LMS8 - R.EG.017 (40) (außer Di 23.4.2024, Di 14.5.2024); Do 12:15 - 14:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024)
vom 14.4.2024 bis zum 14.7.2024
Mündliche Prüfung: 17.7.2024, 8:00 - 18:00 Uhr, Raum CAP4 - R.1011; 15.10.2024, 8:00 - 18:00 Uhr, Raum CAP4 - R.1011 Bemerkung zu Zeit und Ort: Please note: The lecture will take place on 23.05.24 in LS1-R. 21.
- Voraussetzungen / Organisatorisches
- Please find all the necessary information at Moodle .
Please register as usual via StudiDB .
Contact person for organisational or technical questions regarding this module is the first person named in the exercises.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 40
- Zugeordnete Lehrveranstaltungen
- UE: Exercise: Automata and Logics (080020)
-
Dozent/in: Prof. Dr. Thomas Wilke
Zeit und Ort: Do 14:30 - 16:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024); Bemerkung zu Zeit und Ort: Please note: The exercise will take place on 23.05.24 in LS1-R. 21.
infEthik-01a: Ethik in der Informatik (infEthik-01a) (080069)
- Dozentinnen/Dozenten
- Prof. Dr. Thomas Wilke, Dr. Gregor Große-Bölting
- Angaben
- Vorlesung, 1 SWS, ECTS-Studium, ECTS-Credits: 2
Praesenzveranstaltung
Zeit und Ort: n.V.
vom 14.4.2024 bis zum 14.7.2024
1. Prüfungstermin (Klausur am Ende der Vorlesungszeit eines Semesters): 22.7.2024, 8:00 - 10:00 Uhr, Raum CAP2 - Frederik-Paulsen-Hörsaal 2. Prüfungstermin (Klausur zu Beginn der Vorlesungszeit des Folgesemesters): 14.10.2024
- Voraussetzungen / Organisatorisches
- Die Vorlesung wird in Form von Videos über das Moodle zur Verfügung gestellt. Die Übung findet in Präsenz statt, die Termine können Sie dem entsprechenden Eintrag im UnivIS entnehmen.
Melden Sie sich bitte - wie üblich - in der StudiDB für dieses Modul an.
Kontaktperson für organisatorische oder technische Fragen zu dieser Veranstaltung ist die bei den Übungen zuerst genannte Person.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 90
- Zugeordnete Lehrveranstaltungen
- UE: Betreutes Arbeiten der Pflichtveranstaltungen im Bachelor Informatik und Wirtschaftsinformatik (080291)
-
Dozentinnen/Dozenten: Dr. Pamela Fleischmann, Dr.-Ing. Claudius Zelenka, David Fischer, Annika Huch, Dr. Gregor Große-Bölting, N.N.
Zeit und Ort: Fr 14:00 - 17:00, LMS8 - R.EG.016 (40) (außer Fr 19.4.2024, Fr 28.6.2024); Fr 14:00 - 17:00, LMS8 - R.EG.017 (40) (außer Fr 19.4.2024); Fr 14:00 - 17:00, LMS8 - R.EG.009 (24), LMS8 - R.EG.010 (26); Fr 14:00 - 17:00, LMS8 - R.EG.015 (40) (außer Fr 28.6.2024); Fr 15:00 - 17:00, LMS8 - R.01.010 (24); Fr 14:00 - 17:00, LMS8 - R.01.019 (40); Einzeltermine am 19.4.2024, 28.6.2024 14:00 - 17:00, Raum n.V.
- UE: Übung zu: Ethik in der Informatik (080068)
-
Dozent/in: Dr. Gregor Große-Bölting
Zeit und Ort: Mo, Mi 8:45 - 9:45, LMS8 - R.EG.010 (26); Di 12:15 - 13:15, LMS8 - R.EG.010 (26); Di 12:15 - 13:45, LMS8 - R.EG.009 (24); Do 10:15 - 11:15, LMS8 - R.EG.009 (24)
infMSemCAL-01a: Master Seminar - Cryptography, Automata Theory, Logic (infMSemCAL-01a) (080041)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Seminar, 2 SWS, ECTS-Studium, ECTS-Credits: 5
Unterrichtssprache Englisch
Zeit und Ort: n.V.
vom 14.4.2024 bis zum 14.7.2024
- Voraussetzungen / Organisatorisches
- An advanced course (8 LP) on automata theory, logic in computer science, or cryptography.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 5
Informationsveranstaltung Abschlussarbeit: Informatik, Wirtschaftsinformatik, Informatik 2F (info-bscthesis)
- Dozentinnen/Dozenten
- Dr. Pamela Fleischmann, Dr. Mitja Kulczynski, Prof. Dr.-Ing. Sven Tomforde, Prof. Dr. Thomas Wilke
- Angaben
- Vorlesung
Zeit und Ort: Einzeltermin am 26.7.2024 13:00 - 14:00, CAP3 - Hörsaal 1
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 50
infQComp-01a: Quantum Computing (infQComp-01a) (080022)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Vorlesung, 2 SWS, ECTS-Studium, ECTS-Credits: 6
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Mi 10:00 - 12:00, LMS11a - R.EG.003 (40) (außer Mi 17.4.2024); Einzeltermin am 17.4.2024 10:00 - 12:00, CAP2 - Hörsaal C
vom 14.4.2024 bis zum 14.7.2024
1. Prüfungstermin (Klausur am Ende der Vorlesungszeit eines Semesters): 16.7.2024, 12:00 - 15:00 Uhr, Raum CAP2 - Hörsaal D; 16.7.2024, 12:00 - 15:00 Uhr, Raum CAP2 - Hörsaal K 2. Prüfungstermin (Klausur zu Beginn der Vorlesungszeit des Folgesemesters): 16.10.2024 Klausureinsicht: 25.7.2024, 11:00 - 12:00 Uhr, Raum CAP4 - R.1011
- Voraussetzungen / Organisatorisches
- Please find all the necessary information at Moodle .
Please register as usual via StudiDB .
Exact dates of lectures and tutorials are to be found in the moodle calendar.
Contact person for organisational or technical questions regarding this module is the first person named in the exercises.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 40
- Zugeordnete Lehrveranstaltungen
- UE: Exercise: Quantum Computing (080021)
-
Dozent/in: Prof. Dr. Thomas Wilke
Zeit und Ort: Mi 12:45 - 13:45, LMS11a - R.EG.003 (40) (außer Mi 17.4.2024); Einzeltermin am 17.4.2024 12:45 - 13:45, CAP2 - Hörsaal D
|
|