Original page: http://www.ams.org/publicoutreach/feature-column/fc-2015-05 Tässä sarakkeessa tutustun ompelukoneen ja siihen usein liittyvän puolaleikkurin matemaattisiin näkökohtiin… Tony Phillips Stony Brook Yliopisto Esittely Ompelukone on yksi 1800-luvun mekaanisen keksinnön ihmeistä. (Mahatma Gandhi on sanonut että ovat kutsuneet […]
Original page: http://www.cs.cornell.edu/~ross/publications/proofgen/ POPL 2010: [pdf] [bibtex] [pptx] [mp4] Tekijät: Ross Tate, Michael Stepp, Sorin Lerner Tekninen raportti: [pdf] [bibtex] Video: http://www.cs.cornell.edu/~ross/publications/proofgen/Tate-POPL10.mp4 Abstrakti Esittelemme automaattisen tekniikan kääntäjäoptimointien tuottamiseksi esimerkkeistä konkreettisista ohjelmista ennen ja jälkeen niiden parannusten. Tekniikkamme keskeinen tekninen käsitys on […]
Original page: https://math.temple.edu/~reich/Fib/ Fibonacci-sekvenssi ilmentää tietty numeerinen malli, joka alunperin vastaus harjoitus ensimmäinen lukion algebran tekstiä. Tämä malli osoittautui olevan etua ja merkitys paljon suurempi kuin mitä sen luoja kuvitellut. Sitä voidaan käyttää […]
Original: http://www.math.stonybrook.edu/~tony/mazes/ Mukava kuva päästä meille alkoi (tämä sivu). Sokkeloita: Mikä on yksinkertainen, vuorotellen kauttakulku (la) sokkelo? Vanhin voidaan piirretty peli. Reitti matematiikka: taso sekvenssin, joka kyll sokkelo. Matematiikka: Counting kuinka monta erilaista n tason istui sokkeloita […]
Source: http://geocalc.clas.asu.edu/html/Evolution.html Vaikka Leibniz nivelletty unelma universaalin geometrinen calculus seitsemästoista luvulla, sen toteuttaminen alkoi vuonna 1844 Hermann Grassmann n suuri työ Die Lineale Ausdehnungslehre. Grassmann visio oli niin paljon edellä […]