Tässä artikkelissa esitetään linkit PDF-muotoisiin matematiikan artikkeleihin. Kolmannen ja neljännen asteen yhtälöt (yliopistotasoinen) Kolmion sivujen ja kulmien ratkaiseminen (lukiotasoinen) Artikkelien lähdekoodi löytyy TSL-Espoon Github-sivulta: https://github.com/mnummeli/tslespoo/tree/master/kurssit/matematiikka
Lukuteoreettiset funktiot
Laskettavat, mutta ei primitiivirekursiiviset funktiot Viime artikkelissa käsittelimme primitiivirekursiivisia funktioita ja totesimme, kuinka melkein kaikki tavanomaiset tietokoneella laskettavissa olevat funktiot ja operaattorit, olivat nämä sitten kokonaislukujen, murtolukujen, lukulistojen tai merkkijonojen operaatioita, ovat Gödel-numeroinnin ansiosta primitiivirekursiivisia. Tämä ei kuitenkaan tarkoita, että kaikki laskettavissa olevat funktiot olisivat primitiivirekursiivisia. Primitiivirekursiivisille funktioille on ominaista…
Primitiivirekursiiviset funktiot
Yleistä 1900-luvun alkupuoli oli matemaattisen logiikan kulta-aikaa, jolloin suuret matemaatikot, kuten Alan Turing (1912-1954), Kurt Gödel (1906-1978), Alonzo Church (1903-1995), Emil Post (1897-1954) ja useat muut kehittivät useita matemaattisia malleja, jotka mallinsivat nykyaikaisia tietokoneita ennen kuin niitä oli varsinaisesti rakennettu. Samalla pystyttiin jo ennen tietokoneiden keksimistä päättelemään, mitä on tietokoneella…
Matemaattisten kaavojen esittäminen sivulla otettu käyttöön
Yleistä Opintojärjestö on suunnitellut julkaisevansa sarjan matematiikkaa ja matematiikan opetusta koskevia artikkeleita keväästä 2021 alkaen, joita voidaan hyödyntää myös järjestön kursseissa kun näitä myöhemmin päästään järjestämään. Tätä varten sivulle on asennettu matemaattisten kaavojen esittämistä koskeva MathJax-Latex-lisäosa. Matematiikkaa koskevat artikkelit on jatkossa merkitty kategoriaan ”Matematiikka” ja sen alakategorioihin ”Peruskoulu”, ”Toinen aste”…
Viimeisimmät kommentit