UID:
almahu_9948192172002882
Format:
XI, 315 S.
,
online resource.
Edition:
1st ed. 1980.
ISBN:
9783642966026
Series Statement:
Informatik-Fachberichte, 35
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783642966033
Additional Edition:
Printed edition: ISBN 9783540104179
Language:
German
DOI:
10.1007/978-3-642-96602-6
URL:
https://doi.org/10.1007/978-3-642-96602-6
Bookmarklink