Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna...

12
Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer

Transcript of Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna...

Page 1: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Computer-Algebra

Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer

Page 2: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Thema: Kombinatorik

• Grundbegriffe der Kombinatorik• Summen• Catalanzahlen• Kräftegleichgewicht unter Berücksichtigung

der Gravitation (Bücherstapel)• Gosper-Algorithmus

Page 3: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Summen

Page 4: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Symbolisches Rechnen

• d

• Symbolisch: für a=2 und b=15• Numerisch:

Page 5: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

• Symbolisch:

Für b = 20 :

• Numerisch:

Page 6: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Grundbegriffe der Kombinatorik

• Fakultät: 3! = 3 . 2 . 1

• Binomialkoeffizient [n über k]:

– Anwendung bei Wahrscheinlichkeitsrechnungen

Page 7: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Beispiele

• Fibonaccifolge:an=an-1+an-2

a0 = 0, a1 = 1 0, 1 , 1 , 2 , 3, 5 , 8, 13, 21,…

• Rubikwürfel:– Mögliche Kombinationen:

(12! . 212 . 8! . 38)/12=43 252 003 274 489 856 000

Page 8: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Catalanzahlen

• 1, 1, 2, 5, 14, 42, 132, 429,…• Interpretationen:– Binärbäume– Triangulation– Pfade im Quadrat

• Berechnung:

• Geschlossene Form:

Page 9: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Bücherstapel

Page 10: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.
Page 11: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.
Page 12: Computer-Algebra Lukas Rotkopf, Dominik Worf, David Seufer-Wasserthal, Marco Macala, Johanna Novacek, Markus Exler, Ehrentraud Hager, Alexander Niederklapfer.

Gosper-Algorithmus

• Algorithmus zur Summenberechnung• Benötigt hypergeometrische Funktion von k• Vorgangsweise

wird geteilt in

– Einsetzen in die Gospergleichung

– „Ansatz“ Geschlossene Form