Wahlbereich 4: Mathematische Methoden in der Informatik (Leistungskurs)

Kennen von Informatiksystemen als Werkzeuge in der Mathematik

Näherungsverfahren, Optimierung, Fehleranalyse, Regressionsverfahren, Zahlentheorie, Graphentheorie, Simulationen

Übertragen der Kenntnisse von Rekursion und Iteration auf numerische Verfahren

Heron-Verfahren, Newton-Verfahren, Lösen linearer Gleichungssysteme, Interpolation, Regression, Differentiation, Integration; → LB 2; → MA, Kl. 9, LB 5; → MA, Kl. 10, LB 1; → MA, Gk 11/12, LB 1; → MA, Gk 11/12, LBW 2; → MA, Gk 11/12, LBW 5; → MA, Lk 11/12, LB 1; → MA, Lk 11/12, LBW 2; → MA, Lk 11/12, LBW 5

Kennen von Grenzen numerischer Lösungen für mathematische Problemstellungen

Darstellbarkeit reeller Zahlen, Rundungsfehler, Konvergenzgüte; → LB 3

Einblick gewinnen in das Beweisen mathematischer Sätze unter Nutzung von Informatiksystemen

automatisierte Theorembeweiser, interaktive Theorembeweiser; Vierfarbensatz, Keplersche Vermutung, Boolesche pythagoräische Tripel; Auswirkung der Künstlichen Intelligenz auf den Beweisvorgang; → Medienbildung