infALG-01a: Automata, Logic, and Games (infALG-01a) (080035)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Vorlesung, 2 SWS, ECTS-Studium, ECTS-Credits: 6
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Mi 10:15 - 12:15, LMS8 - R.EG.009 (24)
vom 9.4.2023 bis zum 9.7.2023
- Voraussetzungen / Organisatorisches
- Die Aufteilung in Vorlesung und Übung wird nicht den üblichen Gepflogenheiten entsprechen. Stattdessen wird die Vorlesung zwischen 10:15 und 12:15 stattfinden und die Übung soll in der Zeit von 12:45 bis 13:45 durchgeführt werden.
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.
- Zugeordnete Lehrveranstaltungen
- UE: Übung zu: Automata, Logic, and Games (080032)
-
Dozent/in: Prof. Dr. Thomas Wilke
Zeit und Ort: Mi 12:45 - 13:45, LMS8 - R.EG.009 (24)
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: Mo 10:15 - 11:45, LMS8 - R.EG.009 (24) (außer Mo 8.5.2023); Di 16:15 - 17:45, LMS8 - R.EG.009 (24)
vom 9.4.2023 bis zum 9.7.2023
Sondertermin: 8.5.2023, 16:15 - 17:45 Uhr, Raum LMS8 - R.EG.009 (24)
- Voraussetzungen / Organisatorisches
- 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.
- Zugeordnete Lehrveranstaltungen
- UE: Übung zu: Automata and Logics (080034)
-
Dozent/in: Prof. Dr. Thomas Wilke
Zeit und Ort: Do 10:15 - 11:45, LMS8 - R.EG.009 (24)
infBSemIMG-02a: Bachelorseminar - Informatik - Mensch - Gesellschaft (infBSemIMG-02a) (080040)
- Dozentinnen/Dozenten
- Prof. Dr. Thomas Wilke, Gregor Große-Bölting, M.A., Moritz Riemann
- Angaben
- Seminar, 2 SWS, ECTS-Studium, ECTS-Credits: 5
Zeit und Ort: Blockveranstaltung 14.4.2023-21.4.2023 Fr 12:00 - 15:00, CAP4 - R.13.1304 a; Einzeltermine am 2.6.2023, 16.6.2023, 23.6.2023 12:00 - 18:00, CAP4 - R.13.1304 a
vom 9.4.2023 bis zum 9.7.2023
- Voraussetzungen / Organisatorisches
- Bitte berücksichtigen Sie, dass die Platzvergabe - wie üblich - zentral erfolgt!
Bei organisatorischen oder technischen Fragen wenden Sie sich bitte an Gregor Große-Bölting.
Angaben für die Philosophie: Digitalisierung und Digitalität
Voraussetzungen / Organisatorisches:
BA 7 (Kulturphilosophie, Wissenschaftsphilosophie)
BA 8 (Kulturphilosophie, Wissenschaftsphilosophie)
BA 9 (Problemstellungen und Theorien der Gegenwartsphilosophie)
BA 10 (Forschungsorientiertes Abschlußmodul)
PHF-phil-WP (Philosophische Reflexion und ethische Urteilskraft)
- Inhalt
- Die Digitalisierung wird als einer der umgreifendsten gesellschaftlichen Veränderungsprozesse oder Strukturwandel der Öffentlichkeit (Jürgen Habermas) beschrieben. In einem informatisch-philosophischen Dialog widmen wir uns den Grundlagen des Begriffspaares Digitalität und Digitalisierung sowie einigen paradigmatischen Fällen soziotechnischer Herausforderungen. Die Textgrundlage bildet hierbei Armin Nassehis soziologische Studie Muster (München 2019), der wir uns in den ersten beiden Blöcken vertieft widmen. In interdisziplinären Tandems werden im Anschluss Studierende der Informatik und der Philosophie sich gemeinsam Themenfelder erschließen und präsentieren.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 24
infEthik-01a: Ethik in der Informatik (infEthik-01a) (080069)
- Dozentinnen/Dozenten
- Prof. Dr. Thomas Wilke, Prof. Dr. Isabella Peters, Gregor Große-Bölting, M.A.
- Angaben
- Vorlesung, 1 SWS, ECTS-Studium, ECTS-Credits: 2
Praesenzveranstaltung
Zeit und Ort: n.V.
vom 9.4.2023 bis zum 9.7.2023
- 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: Übung zu: Ethik in der Informatik (080068)
-
Dozentinnen/Dozenten: Gregor Große-Bölting, M.A., Leona Kruse
Zeit und Ort: Mo 8:45 - 9:45, LMS8 - R.EG.009 (24); Di, Do 12:15 - 13:15, LMS8 - R.EG.009 (24); Mi 8:45 - 9:45, WSP3 - Seminarraum 1 (24); Do 10:15 - 11:15, LMS8 - R.EG.010 (26); Di 12:15 - 13:45, CAP4 - R.13.1304 a
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 9.4.2023 bis zum 9.7.2023
- Voraussetzungen / Organisatorisches
- An advanced course (8 LP) on automata theory, logic in computer science, or cryptography.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 5
Übung zu: Automata and Logics (Übung zu: infAutLog-01a) (080034)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Übung, 2 SWS
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Do 10:15 - 11:45, LMS8 - R.EG.009 (24)
vom 9.4.2023 bis zum 9.7.2023
- Voraussetzungen / Organisatorisches
- 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.
- Zugeordnet zu: infAutLog-01a: Automata and Logics (080038)
Übung zu: Automata, Logic, and Games (Übung zu: infALG-01a) (080032)
- Dozent/in
- Prof. Dr. Thomas Wilke
- Angaben
- Übung, 2 SWS
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Mi 12:45 - 13:45, LMS8 - R.EG.009 (24)
vom 9.4.2023 bis zum 9.7.2023
- Voraussetzungen / Organisatorisches
- 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.
- Zugeordnet zu: infALG-01a: Automata, Logic, and Games (080035)
|
|