Digicampus
Seminar: Seminar zu Computeralgebra - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

General information

Course name Seminar: Seminar zu Computeralgebra
Semester SS 2024
Current number of participants 0
maximum number of participants 11
Home institute Didaktik der Mathematik
Courses type Seminar in category Teaching
First date Monday, 15.04.2024 12:15 - 13:45, Room: (CIP2040)
Pre-requisites Die Vorlesung Algebra ist als Grundlage sinnvoll, aber nicht unbedingt notwendig, wenn ausreichend Kompetenz im Umgang mit Polynomen vorhanden ist.
Performance record Referat
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache deutsch
Literaturhinweise Literatur
• Haager, Wilhelm (2019). Computeralgebra mit Maxima. München, Carl Hanser Verlag. ISBN: 9783446448681. Uni-Bibliothek Signatur: 81/ST 600 H111(2)
• Koepf, Wolfram (2006). Computeralgebra: Eine algorithmisch orientierte Einführung. Springer
• Lamagna, Edmund (2020). Computer Algebra. CRC Press.
• Z. Kovacs & T. Recio (2022). Real quantifier elimination in the classroom. DOI: 10.13140/RG.2.2.19303.93602, https://www.researchgate.net/publication/366177699_Real_quantifier_elimination_in_the_classroom
• M. Jirstrand (1995). Cylindrical Algebraic Decomposition an Introduction. https://www.diva-portal.org/smash/get/diva2:315832/FULLTEXT02

Hinweis: Die letzten beiden Bücher existieren in der Bibliothek noch nicht, sind aber bestellt.
ECTS points 6

Rooms and times

(CIP2040)
Monday: 12:15 - 13:45, weekly (1x)

Module assignments

Comment/Description

Computeralgebra, teilweise auch symbolisches Rechnen genannt, ist das Gebiet, das den formalen Umgang mit mathematischen Objekten auf den Computer bringt. Im Gegensatz zur numerischen Mathematik geht es also nicht um das approximative Rechnen mit Fließpunktzahlen, sondern um das exakte Rechnen mit Termen, das Lösen von Gleichungen und die Bestimmung von Ableitungen und Stammfunktionen. Im Seminar sollen vor allem die grundlegenden mathematischen Theorien erarbeitet werden, die für ein Verständnis der Leistungen und der Grenzen solcher Algorithmen relevant sind. Viele der Algorithmen betreffen den Umgang mit Polynomen, so dass es von Vorteil ist, über entsprechende Grundlagen etwa aus der Algebra-Vorlesung zu verfügen. Neben der Theorie soll es auch praktische Übungen zur Umsetzung geben.

Bei diesem Seminar handelt es sich um ein fachwissenschaftliches Seminar für das gymnasiale Lehramtsstudium (6LP).
• Studienordnung 2012/2015 (Studienbeginn vor Herbst2023) MTH-7950 (benotet)
• Studienordnung 2023 (Studienbeginn ab Herbst2023) MTH-7955 (unbenotet)
Die Teilnehmerzahl ist auf 11 begrenzt (vgl. Terminplan unten).

Prüfungsform ist „Referat“, d.h. Sie müssen eine Sitzung gestalten, in der Sie eines der untenstehenden Gebiete für Ihre Kommilitonen verständlich aufbereiten und darstellen. Diese Darstellung soll etwa 80 Minute dauern (so dass Zeit zur Reflektion und Nachfragen bleibt) und die Kommilitonen aktivieren und einbeziehen. Zum Referat soll es eine schriftliche Zusammenfassung der wichtigsten Punkte geben, die vor allem für die Kommilitonen nützlich sein soll. Beachten Sie auch die Übungsaufgaben in den

Das Seminar ist fachwissenschaftlich, aber es soll doch gelegentlich ein Blick auf die schulische Bedeutung geworfen werden, dazu gehören zB die Fragen, was es für den Bildungswert der Mathematik bedeutet, wenn wesentliche Teile automatisiert werden können.

Im Seminar wird überwiegend mit dem Freeware-System Maxima (https://maxima.sourceforge.io/de/index.html) gearbeitet, gelegentlich auch mit Maple (kommerziell, aber im CIP2040 installiert) und GeoGebra.

Admission settings

The course is part of admission "Zeitgesteuerte Anmeldung: Seminar zu Computeralgebra".
The following rules apply for the admission:
  • The enrolment is possible from 01.02.2023, 00:00 to 18.04.2024, 23:59.
  • A defined number of seats will be assigned to these courses.
    The seats in the affected courses have been assigned at 15.04.2024 on 23:59. Additional seats may be available via a wait list.