Übungsaufgaben mit computer-algebra-software mathematik ... · i maxima, sympy, numpy, scipy, r,...

30
¨ Ubungsaufgaben mit Computer-Algebra-Software – Mathematik machen“, statt nachmachen Uta Priss ZeLL, Ostfalia Dezember, 2015

Upload: others

Post on 18-Oct-2020

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Ubungsaufgaben mit Computer-Algebra-Software –Mathematik

”machen“, statt nachmachen

Uta Priss

ZeLL, Ostfalia

Dezember, 2015

Page 2: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Meine Lehrerfahrung mit Mathe

I Vor 5 Jahren neuer Kurs:

”Mathematik fur Informatiker“ an einer schottischen Uni.

I Vorgabe fur den Inhalt: keine.

I Studierende mit geringen Vorkenntnissen.

I Mein Ziel: auf Informatik-Anwendungen fokussieren.Den Studierenden die Angst vor Mathe nehmen.

Der Kurs wurde von den Studierenden als sehr gut bewertet.

Nachstes Semester: Diskrete Strukturen an der Ostfalia.

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 2/30

Page 3: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Mogliche Grunde, warum mein Kurs erfolgreich:

1. Einsatz von Computer Algebra Software (CAS) und normaleProgrammiersprache (Python)Hypothese: Zugang zur Mathematik durchComputerprogramme ist fur Informatikstudierende intuitiv

2. Ed Dubinsky: APOS-Theorie

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 3/30

Page 4: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Ziel dieses Webinars

Zum Nachdenken anregen:

* uber die Vielzahl der Moglichkeiten beim Einsatz von CAS

* durch Ubungsaufgaben Verstehensprozesse unterstutzen

→ Mathematik”machen“, statt nachmachen

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 4/30

Page 5: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Studierende sollen”Funktion“ definieren

Eine Funktion ist ...

1. Ein Algorithmus, der Eingabewerte auf Ausgabewerte abbildet.

2. Etwas, das einen Ausdruck mit x berechnet.

3. Gleichung mit Variablen; Wert der Variable wird ausgerechnet.

4. Ein Input wird bearbeitet, welches zu einer Ausgabe fuhrt.

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 5/30

Page 6: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

APOS-Theorie: Aktion und Prozess

Eine Funktion ist ...

I Aktion:

”Etwas, das einen Ausdruck mit x berechnet.“

”Gleichung mit Variablen; Wert der Variable wird

ausgerechnet.“

I Prozess:

”Ein Input wird bearbeitet, welches zu einer Ausgabe fuhrt.“

”Ein Algorithmus, der Eingabewerte auf Ausgabewerte

abbildet.“

I Objekt:Eine Funktion kann selbst Eingabewert fur eine andereFunktion sein.

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 6/30

Page 7: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

APOS-Theorie: Verstehensebenen

I Aktion: Regeln ausfuhren

I Prozess: abstrakteres Verstandnis, zugrundeliegendes Prinzip

I Objekt: Reifikation, auf hoherer Ebene als Ganzes betrachtet

I Schema: komplexes Zusammenspiel von Aktionen, Prozessen,Objekten und Schemata

Jede Ebene muss einzeln gelernt werden.Nicht immer in dieser Reihenfolge.

(Literatur: Leron & Dubinsky. “An abstract algebra story.” AMM 1995,

http://www.math.kent.edu/∼edd/AlgbraStory.pdf)

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 7/30

Page 8: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

APOS-Theorie: Beispiel Quadratfunktion

I Aktion:eine Zahl mit sich selbst multiplizieren

I Prozess:f (x) = x2,

√x , (a + b)2

I Objekt:x2 als Parameter fur andere Funktionen

I Schema:Kurvendiskussion

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 8/30

Page 9: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Objektverstandnis ist schwierig

Komplexe Strukturen sind einfache Elemente auf einer hoherenAbstraktionsebene. Beispiele:

* Verkettung von Funktionen: Funktion wird Elementg(f (x)) ist ok, g ◦ f ist schwierig

* Matrizen: Multiplikation von Zahlen ist kommutativaber Matrixmultiplikation ist nicht kommutativ

* Rechnen mit Unendlichkeit: ℵ0 + ℵ0 = ℵ0(Fur Zahlen: a + a = 2a)

(Typisch fur Mathematik!)

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 9/30

Page 10: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

ACE - Lernzyklus

Als Lehrender sollte man die Aktionen, Prozesse und Objekte einesThemas identifizieren.

Fur wichtige Prozesse und Objekte benotigt man dann (eventuellfur jede Verstehensebene):

1. einfuhrende Aktivitat: die Studierenden experimentieren,beobachten, definieren, erfahren und gestalten lassen

2. Class discussion: zusammenfassen, verstehen, Fragen stellen,Zusammenhange erklaren

3. Exercises: einuben

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 10/30

Page 11: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Ubung: Grundlagen der Mengenlehre

Geben Sie je ein Beispiel fur die Verstandnisebenen:Aktion, Prozess und Objekt.

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 11/30

Page 12: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Verwenden Sie schon CAS?Wenn ja, welche?

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 12/30

Page 13: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

SageMath - Open-Source Mathematical Software System

I http://www.sagemath.org/de/

I Programmiersprache Python

I Interface: Web oder Kommandozeile

I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik,Graphentheorie, graphische Darstellung

Anbindung an Programmiersprache ist vorhanden.

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 13/30

Page 14: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

SageMath Notizbuch

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 14/30

Page 15: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

SageMath Web-Interface

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 15/30

Page 16: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

CAS und SageMath

Haben Sie Fragen, Kommentare oder Anregungen bezuglich CASund SageMath?

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 16/30

Page 17: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Traditionelle Lehrveranstaltung

1. Vorlesung: vormachen

2. Ubung: nachmachen

→ Mathematik nachmachen

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 17/30

Page 18: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

ACE - Lernzyklus (konstruktivistisch)

1. einfuhrende Aktivitat: die Studierenden experimentieren,beobachten, definieren, erfahren und gestalten lassen

2. Class discussion: zusammenfassen, verstehen, Fragen stellen,Zusammenhange erklaren

3. Exercises: einuben

→ Mathematik (wenigstens zum Teil selber)”machen“

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 18/30

Page 19: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Was konnte eine einfuhrende Aktivitat fur den Begriff

”Menge“ sein?

Insbesondere auch: wie kann man dabei CAS einsetzen?

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 19/30

Page 20: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Beispiel: Mengenlehre (konstruktivistisch)

8

A

B

C

15

8

Was ist eine Menge?

Welche Beziehungen zwischen Mengen konnte man definieren?

Schreiben Sie ein Computerprogramm, das zwei Mengen einliestund deren Schnittmenge ausgibt.

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 20/30

Page 21: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Vorteil vom Einsatz von CAS

Ubungen mit Papier und Bleistift:

Lernende mussen selbst entscheiden, was richtig undfalsch ist. (Erfordert metakognitive Kompetenz oderUberprufung durch Lehrenden.)

Ubungen mit dem Computer:

Die mathematische Realitat wird simuliert.Lernende konnen direkt mit abstrakten Strukturenexperimentieren und Hypothesen uberprufen.

Ziel ist trotzdem Verstandnis, aber in kleineren Schritten.

(Peschek & Schneider, “CAS and Communication with Experts”)

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 21/30

Page 22: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Abstrakte Inhalte mit CAS programmieren

Zum Beispiel: mathematische Definitionen mit CAS formulieren.

Funktionen schreiben, die Definitionen (Axiome) uberprufen.

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 22/30

Page 23: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Beispiel: Gruppentheorie (Leron & Dubinsky)

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 23/30

Page 24: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Beispiel: Typische Fehlvorstellungen vom Funktionsbegriff

I immer eine Gleichung mit Variablen

I Etwas zum Ausrechnen oder Einsetzen

I nur durch eine Formel darstellbar

I Wohldefiniertheit, Eindeutigkeit und Umkehrbarkeitverwechselt

I kausaler Zusammenhang zwischen Argumenten und Wert

I Begriff der Umkehrfunktion ist nicht klar

(Breidenbach et al. “Development of the process conception of function.”

ESIM 23.3 (1992))

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 24/30

Page 25: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Der Funktionsbegriff mit CAS

Verschiedene Darstellungsformen:

I Graph

I CAS Formel

I in Programmiersprachen: iterativ, rekursiv

I nicht-mathematische Funktionen (String.length)

Window-Shuttle-Technik (Heugl, 2006; Dorfler, 1991):Gleichzeitige Darstellung von Formel und Graph

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 25/30

Page 26: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Objektverstandnis von Funktionen

Abstrakte Funktionsdarstellung in modernen Programmiersprachen.(Rekursion, Lambda, anonyme Funktion, Callback, ...)

def f(x) : return x+1

def g(x) : return x*2

f(g(3))

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 26/30

Page 27: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Zusammenhange Mathematik/Informatik (CAS)

Mathematischer Begriff Relevanz fur die Informatik

Menge alternative Datenstruktur zu ArraysPrimzahlen KryptographieMathematische Unendlichkeit Zahlendarstellung im Computerlogische Operatoren logische ProgrammiersprachenFunktionen in der Mathematik Funktionen in ProgrammiersprachenGraphen Graph-Software benutzenRelationen Datenbanktabellen

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 27/30

Page 28: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Fragen und Diskussion

Konnen Sie sich vorstellen CAS auch in Ihrer Lehrveranstaltung imSinne von APOS-Theorie einzusetzen?

Setzen Sie selbst schon CAS fur einfuhrende Aktivitaten ein?

Haben Sie andere Fragen, Anregungen oder Kommentare?

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 28/30

Page 29: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Literatur und Links

SageMath: http://www.sagemath.org/de/

APOS-Theorie (Einfuhrung und Bibliographie):Dubinsky & McDonald. “APOS: A constructivist theory of learning inundergraduate mathematics education research.” ICMI-Studies Series, Springer,2002. http://www.math.kent.edu/∼edd/ICMIPaper.pdf

APOS-Theorie Beispiele:Leron & Dubinsky. “An abstract algebra story.” AMM 1995,http://www.math.kent.edu/∼edd/AlgbraStory.pdf

Untersuchung CAS und APOS:

Wolfgang Lindner: Wissenskonstruktion mit Computeralgebrasystemen in der

Linearen Algebra/Geometrie der Sekundarstufe II (Dissertation)

http://duepublico.uni-duisburg-essen.de/servlets/DocumentServlet?id=28602

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 29/30

Page 30: Übungsaufgaben mit Computer-Algebra-Software Mathematik ... · I Maxima, SymPy, NumPy, SciPy, R, Mengen, Logik, Graphentheorie, graphische Darstellung Anbindung an Programmiersprache

Einleitung APOS-Theorie CAS APOS und CAS Schluss

Das eCULT-Projekt an der Ostfalia:http://ostfalia.de/cms/de/ecult/

Das Gesamt-eCULT-Projekt:http://www.ecult-niedersachsen.de/

1

1Dieses Vorhaben wird aus Mitteln des Bundesministeriums fur Bildung undForschung unter dem Forderkennzeichen 01PL11066H gefordert. DieVerantwortung fur den Inhalt dieser Veroffentlichung liegt beim Autor.

Uta Priss Ubungsaufgaben mit Computer-Algebra-Software 30/30