Inhalt

[ 201ATMA12 ] Subject Working techniques in mathematics

Versionsauswahl
Es ist eine neuere Version 2018W dieses Fachs/Moduls im Curriculum Bachelor's programme Technical Mathematics 2018W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Mode of examination Education level Study areas Responsible person Coordinating university
9 ECTS Accumulative subject examination B1 - Bachelor's programme 1. year Mathematics Walter Zulehner Johannes Kepler University Linz
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.

Subordinated subjects, modules and lectures