Wissenschaftliches Rechnen Grundlagen 1 - Interaktive Studienpläne der TU Ilmenau

Fach- und Methodenkompetenz: Beherrschung grundlegender Begriffe der formalen Logik und Algorithmen sowie moderner Werkzeuge des Wissenschaftlichen Rechnens; Bewertung numerischer und symbolischer Algorithmen bezüglich Korrektheit, Komplexität und Effizienz

Grundlagen der Aussagenlogik (Boolesche Algebra, Normalformen, Theorembeweisen, mehrwertige Logiken); Algorithmen und formale Sprachen (Darstellungsformen, Eigenschaften, Grammatiken, Syntaxanalyse, EBNF); Computerarithmetik (IEEE-Standards, Rundung und Fehlerfortpflanzung, Integer-Arithmetik, schnelle Langzahlalgorithmen, Implementation einer Rational-Arithmetik); Computeralgebra (CA-Systeme, interne Darstellung symbolischer Daten, Kontroll- und Datenstrukturen, symbolische Differentiation und Integration).

Skript und Arbeitsblätter, Tafel- und Computerübungen, e-learning

Hoffmann, A., Marx, B., Vogt, W.: Mathematik für Ingenieure I Lineare Algebra, Analysis - Theorie u. Numerik. Pearson Verlag, München 2005 (2006 Bd. II: Vektoranalysis, gew. u. part. Differenzialgleichungen, Optimierung - Theorie u. Numerik)
Heun V.: Grundlegende Algorithmen. Einführung in den Entwurf und die Analyse effizienter Algorithmen. 2. Aufl., Vieweg-Verlag, Wiesbaden 2003.
Betounes, D., Redfern, M.: Mathematical Computing. Springer - Telos, New York 2002.
Walz, A.: Maple 10 - Rechnen und Programmieren. 3. Aufl., München 2009.