Mathematik für Informatiker I

Die Methode der Mathematik.- Die Methode der Mathematik.- Beispiel: Ein Schaltnetz.- Der Vorgang des Problemlösens: Übersicht.- Übungsarbeit.- Fallstudie: Dynamische Programmierung.- Reales Problem: Optimaler Einsatz von Investitionen.- Problemanalyse, Modellproblem.- Erster Lösungsversuch.- Kritische Beurteilung des Lösungsverfahrens und Anwendung.- Neuformulierung des Problems.- Zweiter Lösungsversuch.- Verwendung von gespeichertem Wissen.- Kritische Beurteilung des verbesserten Lösungsverfahrens und Anwendung.- Dokumentation und Präsentation der Lösung.- Übungsarbeit.- Methodische Analyse der Fallstudie.- Zur Problemanalyse.- Zur Arbeit mit der Literatur.- Zur Präsentation und Dokumentation von erarbeiteten Problemlösungen.- Zur Sprache.- Übungen und Ergänzungen.- Fallstudie: Sortieren.- Vorgelegtes Problem: Sortieren einer Kartei.- Problemanalyse, Modellproblem.- Entwurf eines Lösungsverfahrens.- Kritische Beurteilung des Lösungsverfahrens.- Literatursuche.- Dokumentation des Lösungsverfahrens.- Übungsarbeit.- Methodische Analyse der Fallstudie.- Zur Problemanalyse: Standardmodelle.- Das Standardmodell "Menge".- Zur Problemanalyse und zum strukturierten Entwurf von Lösungsverfahren.- Zum Entwurf von Lösungsverfahren: Korrektheitsbeweise für Programme.- Übungen und Ergänzungen.- Fallstudie: Komplexitätsanalyse.- Vorgelegtes Problem: Komplexitätsanalyse eines Sortierprogramms.- Problemanalyse, Modellproblem.- Lösung des Problems.- Verwendung der Literatur.- Dokumentation der Lösung.- Übungsarbeit.- Methodische Analyse der Fallstudie.- Zur Problemanalyse.- Zur Technik des Problemlösens: Standardprobleme.- Weitere Grundbegriffe aus der Mengenlehre.- Zur Beweistechnik: Induktionsbeweise.- Zur Beweistechnik: Der Umgang mit dem ?- und?-Zeichen.- Zur Beurteilung von Algorithmen: Komplexitätsanalysen.- Standardprobleme der elementaren Kombinatorik.- Übungen und Ergänzungen.- Fallstudie: Ein Nimmspiel.- Das Problem.- Problemanalyse.- Erster Lösungsvorschlag.- Zweiter Lösungsvorschlag.- Literatur zu dem Problem.- Dokumentation des Algorithmus.- Übungsarbeit.- Methodische Analyse der Fallstudie.- Zur Problemanalyse: Explizite Entscheidungsprobleme.- Zur Problemanalyse: Implizite Probleme, Datentypen.- Zur Technik des Problemlösens: Beweisen.- Übungen und Ergänzungen.- Literatur zum Thema dieser Vorlesung.- Zitierte Literatur.- Symbolverzeichnis.- Stichwortverzeichnis.