Inhalt
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.
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.
Titel
Mathematik für Informatiker I
Untertitel
Die Methode der Mathematik
EAN
9783642966026
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
08.03.2013
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
36.2 MB
Anzahl Seiten
315
Auflage
1980
Lesemotiv
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.