Einführung in Foundations of Computing
Aus Studienführer
Allgemeines
| Veranstaltung: | Einführung in Foundations of Computing | Angebotsturnus: | jedes WS |
|---|---|---|---|
| SWS: | V3 | Sprache: | deutsch |
| Prüfung/Dauer: | schriftlich (120 min) oder mündlich erfolgreiche Bearbeitung der Aufgaben und Erläuterung der Ergebnisse im persönlichen Gespräch | Creditpoints (CP): | 4 |
| Vorgesehenes Semester: | B5 | Homepage: | http://www.mais.informatik.tu-darmstadt.de/Teaching.html |
| Vorlesungsverzeichnis: | Suche (Angebotsturnus beachten) | Prüfungscode: | 120045 |
| Begleitende Unterlagen: | Skript | ||
| Übungsklausuren: | |||
| Dozent: | Karsten Weihe | |
|---|---|---|
| Gebäude/Raum: | S2/02 - | |
| e-Mail: | ||
| Zweiter Dozent: | Heiko Mantel | |
| Gebäude/Raum: | S2/02 - E319 | |
| e-Mail: | ||
| Betreuender Assistent: | Dieter Schuster (WS08/09) | |
| Gebäude/Raum: | S2/02 - E321 | |
| e-Mail: | ||
Voraussetzungen und Studienleistungen
Grundlagen der Informatik I und Grundlagen der Informatik II, Lineare Algebra
Vorlesungsinhalte und Lernziele
Vertiefte, umfassende, vernetzte, alle relevanten Aspekte umfassende Schwerpunktkompetenz (Theorie und Praxis) in einem grundlegenden Aspekt der modernen Informatik Überblick gewinnen über die Breite der bislang entwickelten Methodik zur Problemlösung Entscheidungskompetenz erlangen in der Auswahl und Anwendung von Methoden Fähigkeit zur geeigneten Modellierung von Problemstellungen
Vorlesungsinhalten:
- Inkrementelle Verfahren (Greedy, Backtracking, ...)
- Meta-Heuristiken / bioanaloge Verfahren (Simulated Annealing Tabusuche, Evolutionsstrategien, genetische Algorithmen, Ant-Colony...)
- Enumerative Verfahren (Dynamische Programmierung, Constraint-Programmierung, Branch-and-Bound...)
- Regelbasiertes Schließen, Lernverfahren
- Non-Standard-Ansätze
- Verfahren für verschiedene Probleme der Datenverarbeitung (Data Mining, Bildauswertung, Spracherkennung...)
- Modellierung von Problemstellungen
Lehrmaterial
Studiengänge
BSc ETiT