 |
Detailed information |
Original study plan |
Bachelor's programme Technical Mathematics 2012W |
Objectives |
(*)In diesem Fach sollen die Studierenden grundlegende mathematische Arbeitstechniken kennenlernen. Zum einen soll eine algorithmische Sichtweise der Mathematik verankert werden, die eine Grundlage für die Umsetzung mathematischer Ideen am Computer bildet; zum anderen soll die Sprache der Mathematik, wie sie in allen Lehrveranstaltungen des Studiums zum Einsatz kommt, einmal losgelöst von konkreten Inhalten einer genaueren Betrachtung unterzogen werden. Die Technik des mathematischen Beweisens steht hier im Zentrum des Interesses.
|
Subject |
(*)Algorithmische Methoden 1, 2:
Grundbegriffe der Algorithmik, insbesondere des numerischen und symbolischen Rechnens, wie Rundungsfehler, Kondition, Stabilität, oder Komplexität. Datenstrukturen zur Darstellung mathematischer Objekte am Computer, Schleifenalgorithmen und Rekursion. Grundlegende Problemstellungen und algorithmische Lösungen im Bereich der natürlichen, ganzen, rationalen und reellen Zahlen, der Vektoren und Matrizen, sowie der Polynome und Funktionen.
Logik als Arbeitssprache:
Syntax und Semantik der Prädikatenlogik (erster Stufe). Umgang mit Quantoren. Elementare Beweisregeln und Strategien. Verschiedene Typen von Induktionsargumenten.
|
|