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.- Entwicklung einer Idee.- Korrektheit des Verfahrens.- 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.- Die Rolle der Problemanalyse im Probleml?sungsproze?.- Problemtyp: Explizite Bestimmungsprobleme.- Methode: Analyse expliziter Bestimmmungspr?bleme.- Zur Arbeit mit der Literatur.- Die Rolle der Arbeit mit der Literatur im Probleml?sungsproze?.- Sachverhalte und Verfahren.- Informationstr?ger f?r gespeichertes mathematisches Wissen.- Die bibliographischen Daten von Literaturquellen.- Methode: Die Bearbeitung von gespeichertem Wissen.- Zur Pr?sentation und Dokumentation von erarbeiteten Probleml?sungen.- Die Rolle der Pr?sentation und Dokumentation von erarbeiteten Probleml?sungen.- Grundregeln f?r die Pr?sentation (und Dokumentation).- Zur Sprache.- Die Rolle der Sprache im Probleml?sungsproze?.- Syntax und Semantik von Sprachmitteln.- Konstante und Variable.- Einfachste Sprachkonstrukte aus Konstanten und Variablen.- Junktoren.- Quantoren.- Sprachkonstrukte zum Aufbau von Programmen.- Strukturierung von Beschreibungen durch Definitionen.- Die Technik des Definierens.- ?bungen und Erg?nzungen.- Fallstudie: Sortieren.- Vorgelegtes Problems Sortieren einer Kartei.- Problemanalyse, Modellproblem.- Entwurf eines L?sungsverfahrens.- Ideen f?r eine L?sung.- L?sungsvorschlag (Grobstruktur).- Korrektheitsbeweis f?r den L?sungsvorschlag.- L?sungsvorschlag f?r die Prozedur Maximum.- Kritische Beurtl#²