|
|
 |
LS 2 HomeTeaching (German)  Winter 04/05Sommer 04Diplomarbeiten (pdf)Frühere SemesterService Travel Staff Contact PrivateExternal Links Universität DortmundComputer Science FacultyCollab. Research Center 531Collab. Research Center 475Research Cluster 1126Student Advisory
|
GrundvorlesungTheoretische Informatik für Studierende der Angewandten InformatikSommersemester 2005Thomas Jansen
[Termine] [Zusammenfassung] [Übungen] [Literatur] [Diskussionsforum] [Links]
Termine
Erster Vorlesungstag: 12.04.2005
Übungen
Beginn der Übungen: 13.04.2005
Die Übungen wurden von Robin Nunkesser durchgeführt. Jeweils donnerstags wurde in der Vorlesung ein Übungsblatt verteilt, das bis Montag bearbeitet und abgegeben werden konte. Eine Vorschau auf das Blatt mit den beiden ersten Aufgaben wurde schon jeweils dienstags in der Vorlesung verteilt. In den Übungen am Mittwoch und Freitag wurden die Abgaben korrigiert zurückgegeben und besprochen. Für die Übungen in der ersten Woche wurde am 12.04.2005 ein Blatt 0 verteilt, das nicht abzugeben war. Die Übungsblätter finden sich auch hier als pdf. Auf jedem Übungsblatt finden sich drei Arten von Aufgaben. Zum einen sind Übungsaufgaben zu Bearbeitung zu finden. Die korrigierten Abgaben wurden in den Übungen zurückgegeben und dort auch besprochen. Zum anderen gibt es einfache Fragen, deren Beantwortung ohne Schwierigkeiten direkt möglich sein sollte. Diese Fragen sollen helfen, auf Lücken in der Nachbereitung der Vorlesung aufmerksam zu werden. Schließlich gibt es Fragen, die Beispiele für typische Prüfungsfragen sind. Sie sollen exemplarisch veranschaulichen, wie sich der Stoff in der vorgesehenen mündlichen Prüfung wiederfinden kann. Die Idee dieser Aufgaben ist, eventuelle Prüfungsängste abzubauen. Die Sammlung dieser Fragen sollte nicht als vollständiger Prüfungsfragenkatalog missverstanden werden. Übungsblätter
Beispielfolien Die Beispielfolien hier sind vermutlich ohne die in der Vorlesung dazu gegebenen Erklärungen nutzlos. Sie sind lediglich ein Service für die Hörerinnen und Hörer der Vorlesung und sollen keinem anderen Zweck dienen.
ZusammenfassungDie Vorlesung "Theoretische Informatik für Studierende der Angewandten Informatik" bietet eine Einführung in die theoretische Informatik unter besonderer Berücksichtigung anwendungsbezogener Aspekte. Konkret werden die Teilgebiete Entscheidbarkeitstheorie und Komplexitätstheorie, Automatentheorie, Grammatiken, Syntaxanalyse und lineare Programmierung behandelt. Während es in der Vorlesungsreihe "Datenstrukturen, Algorithmen und Programmierung" vorrangig darum geht, für konkrete Probleme effiziente Algorithmen zu finden, wollen wir uns hier stärker auf die Probleme an sich konzentrieren und sehr viel grundsätzlicher untersuchen, wie sie gelöst werden können. Nach einer geeigneten Formalisierung stehen zunächst Negativresultate im Vordergrund: Welche Probleme kann man mit einem Computer überhaupt nicht lösen, welche (vermutlich) nicht effizient? Dabei ist es wichtig zu klären, in wie weit solche Aussagen für die Praxis wichtige Konsequenzen implizieren. Eingeschränkte Rechenmodelle wie zum Beispiel Mealy-Automaten sind schon aus der Vorlesung "Rechnerstrukturen" bekannt. Wir wollen hier systematisch eingeschränkte Rechenmodelle untersuchen und wollen dabei verstehen, wie ihr Verständnis in der Praxis hilfreich ist. Es ergeben sich wichtige und hilfreiche Beziehungen zu Grammatiken, die zur formalen Beschreibung der Syntax von Programmiersprachen benutzt werden. Auch hier konzentrieren wir uns auf die Aspekte, die uns in der Praxis zum Beispiel beim Entwurf eigener Programmiersprachen hilfreich sein können. Trotz allen Praxisbezugs beschäftigt sich die Vorlesung mit Gegenständen, die abstrakter und komplexer sind, als das in anderen Veranstaltungen der Fall ist. Ehrliches Interesse, ein gewisser Grad an Durchhaltevermögen, regelmäßige Teilnahme an den Vorlesungen und deren ernsthafte Nachbereitung sowie regelmäßige und vor allem aktive Teilnahme an den Übungen helfen sehr, den wichtigen und auch wirklich spannenden Stoff gut zu verstehen und zu verinnerlichen. Die Vorlesung wendet sich an Studierende der angewandten Informatik. Die aktuelle Diplomprüfungsordnung schlägt den Besuch der Vorlesung für das vierte Semester vor und sieht eine mündliche Fachprüfung für das Vordiplom vor. Die Vorlesungsinhalte findet man hier noch einmal exakt zusammengeasst.
Literatur
Links
last change: 17.08.2005 |