Mathematik: Unterschied zwischen den Versionen

aus Metalab, dem offenen Zentrum für meta-disziplinäre Magier und technisch-kreative Enthusiasten.
Wechseln zu: Navigation, Suche
(andere Themen: + Komplexitaetstheorie)
K (Crypto)
 
(48 dazwischenliegende Versionen von 14 Benutzern werden nicht angezeigt)
Zeile 2: Zeile 2:
  
 
==Erzeugende Funktionen==
 
==Erzeugende Funktionen==
 
+
[[Bild:Matelab1.jpg|thumb|180px|right|Mat(h)e-Workshop ;-)]]
 
Wir möchten uns für den Anfang mit [http://de.wikipedia.org/wiki/Erzeugende_Funktion Erzeugenden Funktionen] beschäftigen. Mit Hilfe erzeugender Funktionen kann jede lineare Rekursion explizit angeschrieben werden (und noch vieles mehr). Das heißt, man braucht sich für die, sagen wir, 42. Zahl nicht alle Zahlen davor ausrechnen, sondern kann in eine geschlossene Formel "42" einsetzen und erhält direkt das Ergebnis.
 
Wir möchten uns für den Anfang mit [http://de.wikipedia.org/wiki/Erzeugende_Funktion Erzeugenden Funktionen] beschäftigen. Mit Hilfe erzeugender Funktionen kann jede lineare Rekursion explizit angeschrieben werden (und noch vieles mehr). Das heißt, man braucht sich für die, sagen wir, 42. Zahl nicht alle Zahlen davor ausrechnen, sondern kann in eine geschlossene Formel "42" einsetzen und erhält direkt das Ergebnis.
  
Zeile 28: Zeile 28:
 
==Tower of Hanoi==
 
==Tower of Hanoi==
  
Den Erzeugenden Funktionen nich unaehnlich weil, es auch hier darum geht Funktionen mit rekursiven Charakter in solche ohne umzuwandeln (wobei hier die zugrundeliegenden rekursiven Funktionen keine Folgen im aengeren Sinne darstellen), sind die meisten Fragestellungen aus dem Umfeld des [http://en.wikipedia.org/wiki/Tower_of_Hanoi Tower of Hanoi Problems]. Clifford beschaeftigt sich schon laenger mit diversen Fragen aus dem Tower of Hanoi-Umfeld und hat unter anderem diese Formel fuer den Zustand eines Tower of Hanoi Systems zu einer gegebenen Zugnummer erarbeitet:
+
Den Erzeugenden Funktionen nicht unaehnlich, weil es auch hier darum geht Funktionen mit rekursiven Charakter in solche ohne umzuwandeln (wobei hier die zugrundeliegenden rekursiven Funktionen keine Folgen im engeren Sinne darstellen), sind die meisten Fragestellungen aus dem Umfeld des [http://en.wikipedia.org/wiki/Tower_of_Hanoi Tower of Hanoi Problems]. Clifford beschaeftigt sich schon laenger mit diversen Fragen aus dem Tower of Hanoi-Umfeld und hat unter anderem diese Formel fuer den Zustand eines Tower of Hanoi Systems zu einer gegebenen Zugnummer erarbeitet:
  
 
<center>
 
<center>
Zeile 44: Zeile 44:
  
 
'''Ansprechpartner fuer das Thema: [[User:Clifford|Clifford]]'''
 
'''Ansprechpartner fuer das Thema: [[User:Clifford|Clifford]]'''
 +
 +
== Crypto ==
 +
* [[Cryptography]]: aaron wiederholt hier gerne sein "Vorlesung" von der Donau Uni Krems (RSA wird hergeleitet) - wenn gewünscht.
 +
* Inhalt: wir werden den RSA Algo komplett mathematisch beweisen und herleiten. Fokus liegt in der Mathematik, nicht in der Praxis.
 +
* Unterlagen @ http://tema.lo-res.org/~aaron/crypto
 +
* Termin : 30.4.2007, 14:00
 +
* Interessierte eintragen in der [http://metalab.at/wiki/Jukebox#Crypto Jukebox]
  
 
==andere Themen==
 
==andere Themen==
Zeile 52: Zeile 59:
 
*** (Loesung gibt es auf http://www.clifford.at/fun/jans_eselin.pl --[[Benutzer:Clifford|Clifford]])
 
*** (Loesung gibt es auf http://www.clifford.at/fun/jans_eselin.pl --[[Benutzer:Clifford|Clifford]])
 
** [http://de.wikipedia.org/wiki/14/15-Puzzle 14/15-Puzzle]
 
** [http://de.wikipedia.org/wiki/14/15-Puzzle 14/15-Puzzle]
* Komplexitaetstheorie
+
* [http://de.wikipedia.org/wiki/Komplexitätstheorie Komplexitaetstheorie]
 
** [http://de.wikipedia.org/wiki/Landau-Symbole Kostenfunktionen]
 
** [http://de.wikipedia.org/wiki/Landau-Symbole Kostenfunktionen]
 
** [http://de.wikipedia.org/wiki/Erfüllbarkeitsproblem_der_Aussagenlogik Erfüllbarkeitsproblem]
 
** [http://de.wikipedia.org/wiki/Erfüllbarkeitsproblem_der_Aussagenlogik Erfüllbarkeitsproblem]
Zeile 58: Zeile 65:
 
** [http://de.wikipedia.org/wiki/P/NP-Problem P vs. NP - Problem]
 
** [http://de.wikipedia.org/wiki/P/NP-Problem P vs. NP - Problem]
 
* Berühmte ungelöste Problemstellungen verstehen ;)
 
* Berühmte ungelöste Problemstellungen verstehen ;)
 +
* kleine Beweise
  
 
=Organisation=
 
=Organisation=
Zeile 70: Zeile 78:
 
* [[User:cygenb0ck|cygen0ck]]
 
* [[User:cygenb0ck|cygen0ck]]
 
* [[User:metaz|meta]]
 
* [[User:metaz|meta]]
 +
* [[User:Citizen428|citizen428]]
 +
* [[User:kyrah|kyrah]]
 +
* [[Benutzer:Chrysn|chrysn]]
 +
* [[Benutzer:thex|thex]]
 +
* [[User:fetzig|fetzig]]
  
 
==Wann?==
 
==Wann?==
Erstes Treffen am 15.2.2007 um 18:00 Uhr im Hauptraum. Es geht um erzeugende Funktionen. Hauptsächlich werden die Grundlagen behandelt, da man ja vorher nix wissen muss :) Wir schauen dann wie weit wir kommen. Die genauen Themen sowie Unterlagen zum Download folgen noch.
+
Das nächste Treffen wird am <s>'''12.04.2007'''</s> ''(wegen Krankheit verschoben)'' um '''19:30''' stattfinden. Die genauen Themen sowie ein Update der Unterlagen folgen noch. Es geht wieder um erzeugende Funktionen, bzw. den Weg dorthin ;)
 +
 
 +
Die Unterlagen kann man hier runterladen: [[Bild:Erzeugende_funktionen.pdf]],
 +
Source: [[Bild:Erzeugende_funktionen.tex]] (Stand vom 22.2.2007, nur bis Potenzrechnen)
  
 
===Teilnehmer===
 
===Teilnehmer===
 +
 
* [[User:Isis1984|Isis]]
 
* [[User:Isis1984|Isis]]
* [[User:Clifford|Clifford]] (kann aber erst ab 19:30)
+
* [[User:Clifford|Clifford]]
* [[User:sushimako|sushimako]]
+
* <s>[[User:Citizen428|citizen428]]</s> (leider doch nicht)
* [[User:Wizard23|Wizard23]]
+
* [[User:chrysn|chrysn]]
 +
 
 +
===Frühere Termine===
 +
Am '''22.2.2007''' wurden folgende Themen behandelt:
 +
 
 +
* Mengen
 +
* Quadratische Gleichungen und lineare Gleichungssysteme mit zwei Unbekannten
 +
* Potenzrechnen (auch mit Wurzeln)
 +
* Summenschreibweise
 +
* Folgen
 +
* Reihen
 +
* Potenzreihen (nur die Definition)
  
Möchte noch jemand außer Clifford einen späteren Start? Wäre OK für mich, bitte hierher schreiben. Konzentration sollte aber noch da sein :) --[[Benutzer:Isis1984|Isis1984]] 13:03, 2. Feb. 2007 (CET)
+
Außerdem haben wir gemeinsam die große Lösungsformel für quadratische Gleichungen hergeleitet :)
  
 
[[Kategorie:Interessensgebiete]]
 
[[Kategorie:Interessensgebiete]]

Aktuelle Version vom 30. April 2007, 02:00 Uhr

Themen

Erzeugende Funktionen

Mat(h)e-Workshop ;-)

Wir möchten uns für den Anfang mit Erzeugenden Funktionen beschäftigen. Mit Hilfe erzeugender Funktionen kann jede lineare Rekursion explizit angeschrieben werden (und noch vieles mehr). Das heißt, man braucht sich für die, sagen wir, 42. Zahl nicht alle Zahlen davor ausrechnen, sondern kann in eine geschlossene Formel "42" einsetzen und erhält direkt das Ergebnis.

Außerdem sind Erzeugende Funktionen auf den ersten, zweiten und fünften Blick magisch ;)

Wir setzen uns zusammen und reden über Erzeugende Funktionen. Es brauchen keine Vorkenntnisse vorhanden zu sein, insbesondere kein Maturawissen in Mathematik. Alle Grundlagen werden erklärt.

Als Beispiel die Erzeugende Funktion der Fibonacci-Zahlen:

Die Fibonacci-Zahlen beginnen mit $ 1 $ als nullter Zahl und $ 1 $ als erster Zahl. Dann werden immer die beiden vorhergehenden Zahlen addiert: Die zweite Fibonacci-Zahl ist $ 2 $, die dritte $ 3 $, die vierte $ 5 $ usw. Für jede natürliche Zahl $ n $ (natürliche Zahlen: $ 0, 1, 2, 3, 4, ... $) gibt es eine, die rekursive Funktion sieht so aus:

$ f(n)=f\left( n-1 \right) +f\left( n-2 \right) $


Aber wie kann man eine geschlossene Formel anschreiben, damit man nicht alle Zahlen vor der gesuchten ausrechnen muss? Wie man das macht werden wir lernen, die $ n $-te Fibonacci-Zahl sieht so aus:

$ f(n)=\frac{1}{\sqrt{5}} \left( \left( \frac{1+\sqrt{5}}{2}\right)^{n+1} - \left( \frac{1-\sqrt{5}}{2}\right)^{n+1}\right) $

Und die 42. Fibonacci-Zahl:

$ f(42)=\frac{1}{\sqrt{5}} \left( \left( \frac{1+\sqrt{5}}{2}\right)^{42+1} - \left( \frac{1-\sqrt{5}}{2}\right)^{42+1}\right) = 433494437 $

Ansprechpartner fuer das Thema: Isis

Tower of Hanoi

Den Erzeugenden Funktionen nicht unaehnlich, weil es auch hier darum geht Funktionen mit rekursiven Charakter in solche ohne umzuwandeln (wobei hier die zugrundeliegenden rekursiven Funktionen keine Folgen im engeren Sinne darstellen), sind die meisten Fragestellungen aus dem Umfeld des Tower of Hanoi Problems. Clifford beschaeftigt sich schon laenger mit diversen Fragen aus dem Tower of Hanoi-Umfeld und hat unter anderem diese Formel fuer den Zustand eines Tower of Hanoi Systems zu einer gegebenen Zugnummer erarbeitet:

$ s = \left( \left( \left( \left( n + d + 1 \right) \bmod 2 \right) + 1 \right) \cdot \lfloor \frac{ m + 2^{d-1} }{ 2^d } \rfloor \right) \bmod 3 $
http://www.clifford.at/hanoi/

Wir koennten uns unter anderem mit folgenden Fragestellungen beschaeftigen:

  • Vom Zustand des Hanoi-Systems zur Zugnummer (ohne Numerik natuerlich!)
  • Effektive Algorithmen fuer mehr als drei Tuerme
  • Von der Zugnummer zum Zustand und umgekehrt fuer belibige Start- und Ziel-Zustaende
  • Tower of Hanoi System als Graycode-Darstellungsvariante eines Trinaersystems?
  • Weitere Vorschlaege bitte hier einzusetzen

Ansprechpartner fuer das Thema: Clifford

Crypto

  • Cryptography: aaron wiederholt hier gerne sein "Vorlesung" von der Donau Uni Krems (RSA wird hergeleitet) - wenn gewünscht.
  • Inhalt: wir werden den RSA Algo komplett mathematisch beweisen und herleiten. Fokus liegt in der Mathematik, nicht in der Praxis.
  • Unterlagen @ http://tema.lo-res.org/~aaron/crypto
  • Termin : 30.4.2007, 14:00
  • Interessierte eintragen in der Jukebox

andere Themen

Organisation

Interessenten

Wann?

Das nächste Treffen wird am 12.04.2007 (wegen Krankheit verschoben) um 19:30 stattfinden. Die genauen Themen sowie ein Update der Unterlagen folgen noch. Es geht wieder um erzeugende Funktionen, bzw. den Weg dorthin ;)

Die Unterlagen kann man hier runterladen: Datei:Erzeugende funktionen.pdf, Source: Datei:Erzeugende funktionen.tex (Stand vom 22.2.2007, nur bis Potenzrechnen)

Teilnehmer

Frühere Termine

Am 22.2.2007 wurden folgende Themen behandelt:

  • Mengen
  • Quadratische Gleichungen und lineare Gleichungssysteme mit zwei Unbekannten
  • Potenzrechnen (auch mit Wurzeln)
  • Summenschreibweise
  • Folgen
  • Reihen
  • Potenzreihen (nur die Definition)

Außerdem haben wir gemeinsam die große Lösungsformel für quadratische Gleichungen hergeleitet :)