Wintersemester 2018/19
Vorlesungszeit: 15.10.2018 - 16.02.2019
Anmeldung:
- Alle Teilnehmer melden sich bitte mit Ihrem Zedat-account im KVV -> FU-Login an.
- Alle Studenten, die Leistungspunkte und eine Note benötigen, müssen sich zusätzlich vor Beginn der Veranstaltung im Campus Management anmelden.
| 19300001 + 19300004: Funktionale Programmierung (VL/Ü) | ||
|---|---|---|
| Grundlagen der Berechenbarkeit:Lambda-Kalkül; primitive Rekursion; µ-Rekursion. Einführung in die Funktionale Programmierung (Haskell): Syntax (Backus-Naur-Form); primitive Datentypen, Listen, Tupel, Zeichenketten; Ausdrücke, Funktionsdefinitionen, Rekursion und Iteration; Funktionen höherer Ordnung, Polymorphie; Typsystem, Typherleitung und –überprüfung; Algebraische und ... | ||
| Dozent/in | Raúl Rojas | |
| Anmeldung | Module zu dieser Lehrveranstaltung | |
| Zeit | 17.10.2018 - 13.02.2019 VL: Montags und mittwochs, 10-12 Uhr, Hörsaal der Takustr. 9 Übungsgruppen: Mo. 8-10 Uhr, T9.055; Mo 12-14 Uhr, A7.031; Mo 12-14 Uhr, T9.055; Mo 16-18 Uhr, T9.006; Di 14-16 Uhr, A7.031; Mi 8-10 Uhr, T9.049; Mi 12-14 Uhr, T9.055; Do 12-14 Uhr, T9.031 Fr 8-10 Uhr, T9.046; Fr 10-12 Uhr, T9.051; Fr 14-16 Uhr, T9.055; Fr 14-16 Uhr, T9.049. | |
| 19304701/ 19304702: Robotik (VL/Ü) | ||
|---|---|---|
| This class will give an introduction to robotics. It will be structured into the following parts: Generating motion and and dynamic control: This chapter will cover coordinate frames, non-holonomic constraints, Ackermann-drive (in analogy to street cars), PID. Planning: Planning around obstacles, path finding, Dijkstra, A*, configuration space obstacles, RRTs, lattice planners, gradient ... | ||
| Dozent/in | Daniel Göhring | |
| Anmeldung | Module zu dieser Lehrveranstaltung | |
| Zeit | 15.10.2018 - 15.02.2019 Vorlesung: Montags von 8-10 Uhr im SR 005 der Takustr. 9. Übung: Freitags von 10 - 12 Uhr im SR005 der Takustr. 9 | |
| 19304201/19304202: Mustererkennung / Machine Learning (VL/Ü) | ||
|---|---|---|
| Bayesche Verfahren der Mustererkennung, Clustering, Expectation Maximization, Neuronale Netze und Lernalgorithmen, Assoziative Netze, Rekurrente Netze. Computer-Vision mit neuronalen Netzen, Anwendungen in der Robotik. | ||
| Dozent/in | Tim Landgraf | |
| Anmeldung | Module zu dieser Lehrveranstaltung | |
| Zeit | 17.10.2018 - 14.02.2019 Vorlesung: Mittwochs 12-14 Uhr, im SR005, Takustr. 9 Übung: Donnerstags 12-14 Uhr, im SR005, Takustr. 9 | |
| 19311911: Seminar Künstliche Intelligenz - Autonome Fahrzeuge | ||
|---|---|---|
| Das Seminar behandelt Themen rund um den Forschungsbereich autonome Fahrzeuge. Schwerpunkt sind Aufgaben, die als Grundlage einer Bachelor- oder Masterarbeit dienen sollen, wie z.B: Erkennung von Personen/Fahrzeugen mit Vision; Kartengenerierung aus Trajektorien; C2C-/C2X-Kommunikation; Objekttracking-/prediction; Sensor- / Datenfusion; Lokalisierung mit Map Matching; ... | ||
| Dozent/in | Daniel Göhring | |
| Anmeldung | Module zu dieser Lehrveranstaltung | |
| Zeit | 15.10.2018 - 26.02.2019 4 Termine: Mo. 15.10.2018 10-12 Uhr - Vorbesprechung und Themenvergabe Mo 07.01.2019 10-12 Uhr - Zwischenpräsentation Mo 25.02.2019 10-18 Uhr - Abschlusspräsentation Di 26.02.2019 10-18 Uhr - Abschlusspräsentation | |
| 19328001/19328002: Universal Logical Reasoning (VL/Ü) | ||
|---|---|---|
| Universal Logical Reasoning (with exemplary applications in Mathematics, Metapyhsics, Ethics, AI and CS). Diese Vorlesung soll die zuvor prämierte Vorlesung "Computational Metaphysics" (SS16, 19323701/2) um weitere spannende und hochaktuelle Anwendungsthemen erweitern. Für Studenten der Informatik, Mathematik und Philosophie geeignet. | ||
| Dozent/in | Christoph Benzmüller | |
| Anmeldung | Module zu dieser Lehrveranstaltung | |
| Zeit | 16.10.2018 - 12.02.2019 VL: Dienstags, 10-12 Uhr, Takustr. 9, SR053 Ü : Dienstags, 12-14 Uhr, Takustr. 9, SR053 | |
| 19328111: Seminar Selected Works of Kurt Gödel | ||
|---|---|---|
| In diesem Seminar werden die Studenten ausgewählte Arbeiten von Kurt Gödel präsentieren. Anschließend werden die Seminarteilnehmer werden über die Arbeiten diskutieren. Die ausgewählten Themen reichen von Theoretischer Informatik zu Philosophie und Metaphysik. Die Veranstaltung ist für Studenten der Informatik, Mathematik und Philosophie geeignet. | ||
| Dozent/in | Christoph Benzmüller | |
| Anmeldung | Module zu dieser Lehrveranstaltung | |
| Zeit | 27.02.2019 - 01.03.2019 Blockveranstaltung nach Ende der Vorlesungszeit. Vorbesprechung am 09.11., 12-14 Uhr im SR007 der Arnimallee 6 (Pi-Gebäude). Räume: 27.02. -> T9.006 28.02./01.03. -> A7.031 | |
| 19319510: Proseminar Information Retrieval | ||
|---|---|---|
| Part 1: Mathematical principles: similarity and distance measures, vector space Part 2: Building a search engine, state of the art Boolean Retrieval. Part 3: Dictionaries and selected aspects of Natural Language Processing Part 4: Ranking and evaluation of search results Part 5: Relevance Feedback and Query Extension Part 6: Link Analysis, PageRank | ||
| Dozent/in | Dr. Christoph Schommer, Univ. Luxembourg | |
| Anmeldung | Module zu dieser Lehrveranstaltung | |
| Zeit | 19.11.2018 - 29.11.2018 Vorbesprechung am 15.10.2018, 14 Uhr, SR046, Takustr. 9 Blockveranstaltung, 8 Termine. Bitte die Ankündigungen im EVV/KVV beachten. | |
| 19312316: Forschungsseminar Intelligente Systeme und Robotik | ||
|---|---|---|
| Vorträge über eigene Forschung, Bachelor-, Diplom- und Masterarbeiten, sowie Originalarbeiten aus der Künstlichen Intelligenz | ||
| Dozent/in | Raúl Rojas | |
| Zeit | 19.10.2018 - 17.02.2019 Freitags 9-11 Uhr, Arnimallee 7, SR031 | |
| 19317212: Softwareprojekt Logik-Software | ||
|---|---|---|
| Beweisen und rationales Argumentieren bilden die eine wichtige Grundlage in mehreren wissenschaftliche Disziplinen. Formalisierungen von Beweisen und rationalen Argumenten werden durch die Formate des TPTP-Projekts unterstützt. Dies schließt das Herleiten von neuem Wissen und das automatische Führen von Beweisen durch sogenannte automatische Theorembeweiser (ATPs) mit ein. Im TPTP-Kontext ... | ||
| Dozent/in | Christoph Benzmüller | |
| Anmeldung | Module zu dieser LV | |
| Zeit | 27.02.2019 - 01.03.2019 Blockveranstaltung nach Ende WS18/19. Vorbesprechungstermin wird noch bekannt gegeben. | |
| 19324816: Forschungsseminar Artificial and Collective Intelligence | ||
|---|---|---|
| Vorträge über eigene Forschung, Bachelor-, Masterarbeiten, sowie Originalarbeiten aus der Biorobotik und Künstlichen Intelligenz. Studierende können wissenschaftliche Ergebnisse geeignet präsentieren und deren Qualität beurteilen. | ||
| Dozent/in | Tim Landgraf | |
| Zeit | 16.10.2018 - 12.02.2019 Dienstags, 10-12 Uhr, Arnimallee 7, SR031 | |
| 19328716: Forschungsseminar Autonome Fahrzeuge | ||
|---|---|---|
| In der Veranstaltung werden neue Ergebnisse der Arbeitsgruppe Autonome Fahrzeuge vorgestellt und diskutiert. Neue Artikel in Zeitschriften und Tagungen werden vorgestellt. | ||
| Dozent/in | Daniel Göhring | |
| Zeit | 08.10.2018 - 25.03.2019 Montags 10-12 Uhr, Arnimallee 7, Raum 031 | |