GÖDELIN LAUSE. kaikkein kaunein tosi ajatus syyskuuta 12

Koko: px
Aloita esitys sivulta:

Download "GÖDELIN LAUSE. kaikkein kaunein tosi ajatus m@hyl.fi 2012. 24. syyskuuta 12"

Transkriptio

1 GÖDELIN LAUSE kaikkein kaunein tosi ajatus 2012

2 Euklides noin -300 Alkeet, Στοιχεῖα, Stoikheia, Elementa, Elements kuvaili geometrian aksiomaattisesti 5 postulaattia kuvailee geometrian 5 aksioomaa yleiset totuudet

3 wikipediassa Postulaatit ovat sisällöltään geometrisia. 1. On mahdollista piirtää suora mistä hyvänsä pisteestä mihin hyvänsä pisteeseen. 2. On mahdollista jatkaa janaa jatkuvasti suoraksi. 3. On mahdollista piirtää ympyrä, jonka keskipiste on mikä hyvänsä ja keskipisteen ja kehän etäisyys mikä hyvänsä. 4. Kaikki suorat kulmat ovat keskenään yhtä suuria. 5. Jos suora joka leikkaa kaksi muuta suoraa, synnyttää samalle puolelle itseään kaksi sisäpuolista leikkauskulmaa, jotka ovat yhteensä vähemmän kuin kaksi suoraa kulmaa, niin suorat, jos niitä rajatta jatketaan, kohtaavat toisensa sillä puolen kolmatta suoraa, missä ovat kaksi mainittua kulmaa, jotka ovat yhteensä vähemmän kuin kaksi suoraa kulmaa. Aksioomat puolestaan ilmaisevat universaaleja totuuksia: 1. Asiat, jotka ovat samat kuin jokin asia, ovat myös keskenään samat. 2. Jos yhtä suuriin lisätään yhtä suuret, niin kokonaisuudet ovat yhtä suuret. 3. Jos yhtä suurista vähennetään yhtä suuret, niin jäännökset ovat yhtä suuret. 4. Asiat, jotka yhtyvät toisiinsa, ovat yhtä suuret. 5. Kokonaisuus on suurempi kuin sen osa.

4 5. postulaatti leikkaavatko yhdensuuntaiset suorat?

5 Leibniz 1670 Universaali laskukone

6 Nikolai Ivanovich Lobachevsky 1826 epäeuklidinen geometria samoihin aikoihin János Bolyai

7 Charles Babbage tietokone 1837 tai paremminkin tietokoneen kuvailu

8 Georg Cantor joukko-oppi aksioomat ja joukot tuottivat hirviöitä 1897 Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen diagonaalimenetelmä osoitti että reaalilukuja on enemmän kuin rationaalilukuja tai luonnollisia lukuja

9 Cantorin diagonaalimenetelmä

10 1901 Russelin paradoksi Formaalisti Russelin paradoksi määritellään seuraavasti: Oletetaan, että joukon M alkioita ovat kaikki sellaiset (normaalit) joukot, jotka eivät kuulu itseensä. Joukko A on siis joukon M alkio vain, jos joukko A ei ole itse oma alkionsa. Paradoksi seuraa kysymyksestä, kuuluuko joukko M tällöin yhtenä alkiona itseensä? Jos kuuluisi, niin ei tulisi M:n oman määritelmän perusteella kuulua; jos taas ei kuulu, niin silloin tulisi saman määritelmän mukaan kuulua. Paradoksin idean voi esittää myös konkreettisena esimerkkinä, esimerkiksi kuuluisalla parturin paradoksilla: oletetaan, että kylän parturi ajaa parran niiltä ja vain niiltä kylän miehiltä, jotka eivät aja omaa partaansa. Ajaako hän tällöin oman partansa? Jos parturi ajaa oman partansa, hän ei aja omaa partaansa ja kääntäen. Tai. Onko seuraava lause totta? Tämä lause on epätosi.

11 1910 The Principles of Mathematics Russell ja Whitehead loivat matematiikan (joukot, lukuteorian) siten että siinä ei olisi valehtelijan paradoksia sisäänrakennettuna. Kirja on täynnä sanoja/virkkeitä, kaavoja hyvin vähän. Päättyy sanoihin: To sum it up: it appears that the special contradiction of Chapter x is solved by... What the complete solution of the difficulty may be, I have not succeeded in discovering; but as it affects the very foundations of reasoning; I earnestly commend the study of it to the attention of all students of locig.

12 David Hilbert 1920 Hilbert ehdotti, että pitää luoda sellainen matematiikan teoria, että se voitaisiin osoittaa täydelliseksi ristiriidattomaksi

13 täydellisyys kaikki lukuihin liittyvät väittämät voidaan todistaa lähtien aksioomista ei ole olemassa luonnollisia lukuja x, y, z ja n >2 siten, että xn + yn = zn (Fermat 1637, Wiles 1997)

14 ristiriidattomuus aksioomista ei voi todistaa samaa asiaa todeksi ja epätodeksi vaikkapa: on totta että piin desimaalikehitelmässä on jossain kohtaa koko raamattu, kun sen kirjaimet on koodattu tietyllä koodauksella X lukusarjaksi ei ole totta että piin desimaalikehitelmässä on jossain kohtaa koko raamattu, kun sen kirjaimet on koodattu tietyllä koodauksella X lukusarjaksi

15 Kurt Gödel Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme Formaalisti ratkeamattomista lauseista Principia Mathematicassa ja vastaavissa järjestelmissä

16 Gödelin lause Sellaista aksiomaattista järjestelmää, mikä kuvailee luonnollisten lukujen aritmetiikan, ei voida todistaa ristiriidattomaksi sen omien aksioomien avulla. Epätäydellisyyslauseen mukaan lukuteorian sisältävä aksiomaattinen järjestelmä on epätäydellinen sillä aina on tosia lauseita, joita ei voi todistaa järjestelmän sisäisillä menetelmillä.

17 suomeksi on äärellinen määrä aksioomia ja lauseet äärellisen mittaisia järjestelmä on ristiriidaton aksioomat määrittävät luonnollisten lukujen matematiikan siten, että mukana on vähintään yhteen- ja kertolasku kaikkia tosia lauseita ei voi todistaa todeksi tai epätodeksi

18 Gödelin todistus Gödel osoittaa, että matematiikan formaalit lauseet voidaan koodata Gödelnumeroinnin avulla luonnolliseksi luvuksi. Gödelnumeroinnissa luvut ja matematiikassa tarvittavat merkit koodataan alkulukujen ja potenssien avulla yksikäsitteisiksi luvuiksi. Hän osoittaa, että lauseen todistus voidaan koodata luvuksi. Lopulta hän osoittaa, että on olemassa luku jonka merkitys on sama kuin Tämä lause on epätosi.

19 Alan Turing Pysähtymisongelma koskee syötteenä annetun, mielivaltaisen ohjelman pysähtymistestausta. Ongelmassa pitää määrittää, pysähtyykö ohjelman suoritus koskaan annetulla syötteellä On Computable Numbers, with an Application to the Entscheidungsproblem Turing käytti Gödelin ideaa ja osoitti, että ei voi olla olemassa universaalia algoritmia, joka osaisi päättää pysähtyykö ohjelma vai ei.

20 suomeksi Tietokone jumittaa. Miksi ei ole sellaista käyttöjärjestelmää (Windows, Mac OS, Linux), että se valvoisi ulkopuolelta kaikkia suoritettuja ohjelmia ja estäisi sellaiset jotka jumittavat koneen. Turing osoitti että sellaista käyttöjärjestelmää ei voi tehdä. Nörteille tiedoksi: Muutoinhan for-next tai while silmukan tarkastelu ulkopuolelta ratkaisisi kaikki matematiikan ongelmat

21 Lue Apostolos Doxiadis, Christos Papadimitriou: Logicomix 2009 sarjakuva Kurt Gödel: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I 1931 Rudy Rucker: Mieli ja äärettömyys: Äärettömyyden tiedettä ja filosofiaa. (Infinity and the mind: The science and philosophy of the infinite, 1982.) Douglas Hofstadter: Gödel, Escher, Bach: An Eternal Golden Braid 1979 Nagel & Newman & Hofstadter: Gödels Proof 2001 John L. Casti, Werner DePauli: Kurt Gödel - elämä ja matematiikka 2001 Neal Stephenson: Cryptonomicon 1999

22 paradoksi jokainen sivu tässä esityksessä on epätotta kaikkivaltias jumala voi luoda sellaisen kiven jota hän ei voi nostaa jos tämä lause on tosi niin joulupukki on olemassa tiedän että en tiedä mitään

23 sivu 23 tämä ja sivu 24 on totta

24 sivu 24 sivu 23 ei ole totta

25 Pöö Cantor kuoli mielisairaalassa Turing tappoi itsensä myrkkyomenalla Gödel kuoli bakteerikammon aiheuttamaan aliravitsemukseen

Aloitus. TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 14. maaliskuuta 2011 TIETOTEKNIIKAN LAITOS. Aloitus.

Aloitus. TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 14. maaliskuuta 2011 TIETOTEKNIIKAN LAITOS. Aloitus. TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 14. maaliskuuta 2011 Sisällys Sisällys Kurssin käytännöt Kurssin sivuilla http://users.jyu.fi/~antkaij/opetus/auki/2011/

Lisätiedot

Eukleidinen geometria aksiomaattisena systeeminä

Eukleidinen geometria aksiomaattisena systeeminä Eukleidinen geometria aksiomaattisena systeeminä Harri Mäkinen Kreikkalaisen Eukleides Aleksandrialaisen noin 300 vuotta ennen ajanlaskun alkua kirjoittama Alkeet (kreikaksi Stoikheia, latinaksi Elementa),

Lisätiedot

LUKU II HOMOLOGIA-ALGEBRAA. 1. Joukko-oppia

LUKU II HOMOLOGIA-ALGEBRAA. 1. Joukko-oppia LUKU II HOMOLOGIA-ALGEBRAA 1. Joukko-oppia Matematiikalle on tyypillistä erilaisten objektien tarkastelu. Tarkastelu kohdistuu objektien tai näiden muodostamien joukkojen välisiin suhteisiin, mutta objektien

Lisätiedot

Äärettömistä joukoista

Äärettömistä joukoista Äärettömistä joukoista Markku Halmetoja Mistä tietäisit, että sinulla on yhtä paljon sormia ja varpaita, jos et osaisi laskea niitä? Tiettyä voimisteluliikettä tehdessäsi huomaisit, että jokaista sormea

Lisätiedot

Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi

Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi TKK (c) Ilkka Mellin (2007) 1 Joukko-oppi >> Joukko-opin peruskäsitteet Joukko-opin perusoperaatiot Joukko-opin laskusäännöt Funktiot Tulojoukot

Lisätiedot

Ramseyn lauseen ensimmäinen sovellus

Ramseyn lauseen ensimmäinen sovellus Ramseyn lauseen ensimmäinen sovellus Jarkko Peltomäki 30. huhtikuuta 2012 Tässä esseessä esitetään Frank Ramseyn vuonna 1929 esittämä tulos logiikassa, jonka todistamiseksi hän osoitti myöhemmin tärkeäksi

Lisätiedot

B. 2 E. en tiedä C. 6. 2 ovat luonnollisia lukuja?

B. 2 E. en tiedä C. 6. 2 ovat luonnollisia lukuja? Nimi Koulutus Ryhmä Jokaisessa tehtävässä on vain yksi vastausvaihtoehto oikein. Laske tehtävät ilman laskinta.. Missä pisteessä suora y = 3x 6 leikkaa x-akselin? A. 3 D. B. E. en tiedä C. 6. Mitkä luvuista,,,

Lisätiedot

Matematiikan mestariluokka, syksy 2009 7

Matematiikan mestariluokka, syksy 2009 7 Matematiikan mestariluokka, syksy 2009 7 2 Alkuluvuista 2.1 Alkuluvut Määritelmä 2.1 Positiivinen luku a 2 on alkuluku, jos sen ainoat positiiviset tekijät ovat 1 ja a. Jos a 2 ei ole alkuluku, se on yhdistetty

Lisätiedot

ALKULUVUISTA (mod 6)

ALKULUVUISTA (mod 6) Oulun Yliopisto Kandidaatintutkielma ALKULUVUISTA (mod 6) Marko Moilanen Opiskelijanro: 1681871 17. joulukuuta 2014 Sisältö 1 Johdanto 2 1.1 Tutkielman sisältö........................ 2 1.2 Alkulukujen

Lisätiedot

Talousmatematiikan perusteet ORMS.1030

Talousmatematiikan perusteet ORMS.1030 kevät 2014 Talousmatematiikan perusteet Matti Laaksonen, (Matemaattiset tieteet / Vaasan yliopisto) Vastaanotto to 11-12 huone D110/Tervahovi Sähköposti: matti.laaksonen@uva.fi Opettajan kotisivu: http://lipas.uwasa.fi/

Lisätiedot

Talousmatematiikan perusteet ORMS.1030

Talousmatematiikan perusteet ORMS.1030 orms.1030 Vaasan avoin yliopisto / kevät 2013 1 Talousmatematiikan perusteet Matti Laaksonen Matemaattiset tieteet Vaasan yliopisto Vastaanotto to 11-12 huone D110/Tervahovi Sähköposti: matti.laaksonen@uva.fi

Lisätiedot

Muita vaativuusluokkia

Muita vaativuusluokkia Muita vaativuusluokkia Käydään lyhyesti läpi tärkeimpiä vaativuusluokkiin liittyviä tuloksia. Monet tunnetuista tuloksista ovat vaikeita todistaa, ja monet kysymykset ovat vielä auki. Lause (Ladner 1975):

Lisätiedot

Talousmatematiikan perusteet ORMS.1030

Talousmatematiikan perusteet ORMS.1030 orms.1030 Vaasan yliopisto / kevät 2015 Talousmatematiikan perusteet Matti Laaksonen Matemaattiset tieteet, Vaasan yliopisto Vastaanotto to 11-12 huone D110/Tervahovi Sähköposti: matti.laaksonen@uva.fi

Lisätiedot

Suora 1/5 Sisältö ESITIEDOT: vektori, koordinaatistot, piste

Suora 1/5 Sisältö ESITIEDOT: vektori, koordinaatistot, piste Suora 1/5 Sisältö KATSO MYÖS:, vektorialgebra, geometriset probleemat, taso Suora geometrisena peruskäsitteenä Pisteen ohella suora on geometrinen peruskäsite, jota varsinaisesti ei määritellä. Alkeisgeometriassa

Lisätiedot

Mohrin-Mascheronin lause kolmiulotteisessa harppi-viivaingeometriassa

Mohrin-Mascheronin lause kolmiulotteisessa harppi-viivaingeometriassa Mohrin-Mascheronin lause kolmiulotteisessa harppi-viivaingeometriassa Matematiikka Sakke Suomalainen Helsingin matematiikkalukio Ohjaaja: Ville Tilvis 29. marraskuuta 2010 Tiivistelmä Harppi ja viivain

Lisätiedot

Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta

Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta Seminaariaine Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2004 Matemaattista ja historiallista taustaa Tämän kappaleen

Lisätiedot

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y.

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y. ANALYYSIN TEORIA A Kaikki lauseet eivät ole muotoiltu samalla tavalla kuin luennolla. Ilmoita virheistä yms osoitteeseen mikko.kangasmaki@uta. (jos et ole varma, onko kyseessä virhe, niin ilmoita mieluummin).

Lisätiedot

Matematiikan olemus Juha Oikkonen juha.oikkonen@helsinki.fi

Matematiikan olemus Juha Oikkonen juha.oikkonen@helsinki.fi Matematiikan olemus Juha Oikkonen juha.oikkonen@helsinki.fi 1 Eri näkökulmia A Matematiikka välineenä B Matematiikka formaalina järjestelmänä C Matematiikka kulttuurina Matemaattinen ajattelu ja matematiikan

Lisätiedot

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2 uonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "ogiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia

Lisätiedot

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 811120P 3. 5 op Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 ja laskenta tarkastelemme terveeseen järkeen perustuvaa päättelyä formaalina järjestelmänä logiikkaa sovelletaan

Lisätiedot

3 Suorat ja tasot. 3.1 Suora. Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta.

3 Suorat ja tasot. 3.1 Suora. Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta. 3 Suorat ja tasot Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta. 3.1 Suora Havaitsimme skalaarikertolaskun tulkinnan yhteydessä, että jos on mikä tahansa nollasta

Lisätiedot

Solmu 3/2001 Solmu 3/2001. Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä:

Solmu 3/2001 Solmu 3/2001. Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä: Frégier n lause Simo K. Kivelä Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä: Suorakulmaisen kolmion kaikki kärjet sijaitsevat paraabelilla y = x 2 ; suoran kulman

Lisätiedot

Algebran ja geometrian yhdyskohtia lukio-opetuksessa ja kuution tilavuuden kahdentaminen

Algebran ja geometrian yhdyskohtia lukio-opetuksessa ja kuution tilavuuden kahdentaminen Algebran ja geometrian yhdyskohtia lukio-opetuksessa ja kuution tilavuuden kahdentaminen Antti Tuohilampi 16. joulukuuta 2012 1 Sisältö I Johdanto 5 1 Minä ja motiivini 5 1.1 Välineet................................

Lisätiedot

Algoritmit. Ohjelman tekemisen hahmottamisessa käytetään

Algoritmit. Ohjelman tekemisen hahmottamisessa käytetään Ohjelmointi Ohjelmoinnissa koneelle annetaan tarkkoja käskyjä siitä, mitä koneen tulisi tehdä. Ohjelmointikieliä on olemassa useita satoja. Ohjelmoinnissa on oleellista asioiden hyvä suunnittelu etukäteen.

Lisätiedot

Hyperbolisesta geometriasta

Hyperbolisesta geometriasta Solmu 3/2015 1 Hyperbolisesta geometriasta Riikka Schroderus 1 tohtorikoulutettava, Matematiikan ja tilastotieteen laitos, Helsingin yliopisto riikka.schroderus@helsinki.fi Historia Hyperboliseen geometriaan,

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 1 1 Matemaattisesta päättelystä Matemaattisen analyysin kurssin (kuten minkä tahansa matematiikan kurssin) seuraamista helpottaa huomattavasti, jos opiskelija ymmärtää

Lisätiedot

Mitä ovat laskennalliset tieteet? (Symbolinen laskenta)

Mitä ovat laskennalliset tieteet? (Symbolinen laskenta) Solmu 3/2010 1 Mitä ovat laskennalliset tieteet? (Symbolinen laskenta) Jukka Tuomela Fysiikan ja matematiikan laitos, Itä-Suomen yliopisto jukka.tuomela@uef.fi Aluksi Määritelmän mukaan π on ympyrän kehän

Lisätiedot

Renkaat ja modulit. Tässä osassa käsiteltävät renkaat ovat vaihdannaisia, ellei toisin mainita. 6. Ideaalit

Renkaat ja modulit. Tässä osassa käsiteltävät renkaat ovat vaihdannaisia, ellei toisin mainita. 6. Ideaalit Renkaat ja modulit Tässä osassa käsiteltävät renkaat ovat vaihdannaisia, ellei toisin mainita. 6. Ideaalit Tekijärenkaassa nollan ekvivalenssiluokka on alkuperäisen renkaan ideaali. Ideaalin käsitteen

Lisätiedot

Teema 4. Homomorfismeista Ihanne ja tekijärengas. Teema 4 1 / 32

Teema 4. Homomorfismeista Ihanne ja tekijärengas. Teema 4 1 / 32 1 / 32 Esimerkki 4A.1 Esimerkki 4A.2 Esimerkki 4B.1 Esimerkki 4B.2 Esimerkki 4B.3 Esimerkki 4C.1 Esimerkki 4C.2 Esimerkki 4C.3 2 / 32 Esimerkki 4A.1 Esimerkki 4A.1 Esimerkki 4A.2 Esimerkki 4B.1 Esimerkki

Lisätiedot

Äärellisesti generoitujen Abelin ryhmien peruslause

Äärellisesti generoitujen Abelin ryhmien peruslause Tero Harju (2008/2010) Äärellisesti generoitujen Abelin ryhmien peruslause Merkintä X on joukon koko ( eli #X). Vapaat Abelin ryhmät Tässä kappaleessa käytetään Abelin ryhmille additiivista merkintää.

Lisätiedot

Neljän alkion kunta, solitaire-peli ja

Neljän alkion kunta, solitaire-peli ja Neljän alkion kunta, solitaire-peli ja taikaneliöt Kalle Ranto ja Petri Rosendahl Matematiikan laitos, Turun yliopisto Nykyisissä tietoliikennesovelluksissa käytetään paljon tekniikoita, jotka perustuvat

Lisätiedot

KOMPLEKSILUVUT C. Rationaaliluvut Q. Irrationaaliluvut

KOMPLEKSILUVUT C. Rationaaliluvut Q. Irrationaaliluvut KOMPLEKSILUVUT C Luonnolliset luvut N Kokonaisluvut Z Rationaaliluvut Q Reaaliluvut R Kompleksi luvut C Negat kokonaisluvut Murtoluvut Irrationaaliluvut Imaginaariluvut Erilaisten yhtälöiden ratkaiseminen

Lisätiedot

rm + sn = d. Siispä Proposition 9.5(4) nojalla e d.

rm + sn = d. Siispä Proposition 9.5(4) nojalla e d. 9. Renkaat Z ja Z/qZ Tarkastelemme tässä luvussa jaollisuutta kokonaislukujen renkaassa Z ja todistamme tuloksia, joita käytetään jäännösluokkarenkaan Z/qZ ominaisuuksien tarkastelussa. Jos a, b, c Z ovat

Lisätiedot

2 Laskennallisten ongelmien vaikeus

2 Laskennallisten ongelmien vaikeus Tietojenkäsittelytiede 23 Kesäkuu 2005 sivut 17 25 Toimittaja: Antti Valmari c kirjoittaja(t) Oppimisen teoriasta ja teorian oppimisesta Tapio Elomaa Tampereen teknillinen yliopisto Ohjelmistotekniikan

Lisätiedot

Vadi m Kulikov. Ressun lukio. Työ sijoitt uu kahdelle tieteenalalle: matematiikka ja filoso fia.

Vadi m Kulikov. Ressun lukio. Työ sijoitt uu kahdelle tieteenalalle: matematiikka ja filoso fia. Reaaliluvut: keksitty vai löydetty käsite? Filosofisesti tuettu reaalilukujen johdatus klassisen joukko-opin aksioomista. Vadi m Kulikov Ressun lukio Työ sijoitt uu kahdelle tieteenalalle: matematiikka

Lisätiedot

I Geometrian rakentaminen pisteestä lähtien

I Geometrian rakentaminen pisteestä lähtien I Geometrian rakentaminen pisteestä lähtien Koko geometrian voidaan ajatella koostuvan pisteistä. a) Matemaattinen piste on sellainen, millä EI OLE LAINKAAN ULOTTUVUUKSIA. Oppilaita voi johdatella pisteen

Lisätiedot

Reaaliluvut 1/7 Sisältö ESITIEDOT:

Reaaliluvut 1/7 Sisältö ESITIEDOT: Reaaliluvut 1/7 Sisältö Reaalilukujoukko Reaalilukujoukkoa voidaan luonnollisimmin ajatella lukusuorana, molemmissa suunnissa äärettömyyteen ulottuvana suorana, jonka pisteet ja reaaliluvut vastaavat toisiaan:

Lisätiedot

Java-kielen perusteita

Java-kielen perusteita Java-kielen perusteita Toistorakenne (while, do-while, for) 1 While- lause while-lauseen rakenne on seuraava: while (ehtolauseke) lause Kun ehtolausekkeen arvo on totta, lause suoritetaan. Lause suoritetaan

Lisätiedot

Kokeellista matematiikkaa SAGE:lla

Kokeellista matematiikkaa SAGE:lla Kokeellista matematiikkaa SAGE:lla Tutkin GeoGebralla 1 luonnollisen luvun jakamista tekijöihin 2. GeoGebran funktio Alkutekijät jakaa luvun tekijöihin ja tuottaa alkutekijät listana. GeoGebrassa lista

Lisätiedot

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn Johdatus matemaattiseen päättelyyn Oulun yliopisto Matemaattisten tieteiden laitos 2011 Maarit Järvenpää 1 Todistamisesta Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta.

Lisätiedot

Esimerkki A1. Jaetaan ryhmä G = Z 17 H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4 4 = 16 = 1}.

Esimerkki A1. Jaetaan ryhmä G = Z 17 H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4 4 = 16 = 1}. Jaetaan ryhmä G = Z 17 n H = 4 sivuluokkiin. Ratkaisu: Koska 17 on alkuluku, #G = 16, alkiona jäännösluokat a, a = 1, 2,..., 16. Määrätään ensin n H alkiot: H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4

Lisätiedot

LUKUTEORIAN ALKEET HELI TUOMINEN

LUKUTEORIAN ALKEET HELI TUOMINEN LUKUTEORIAN ALKEET HELI TUOMINEN Sisältö 1. Lukujärjestelmät 2 1.1. Kymmenjärjestelmä 2 1.2. Muita lukujärjestelmiä 2 1.3. Yksikäsitteisyyslause 4 2. Alkulukuteoriaa 6 2.1. Jaollisuus 6 2.2. Suurin yhteinen

Lisätiedot

3. Kongruenssit. 3.1 Jakojäännös ja kongruenssi

3. Kongruenssit. 3.1 Jakojäännös ja kongruenssi 3. Kongruenssit 3.1 Jakojäännös ja kongruenssi Tässä kappaleessa esitellään kokonaislukujen modulaarinen aritmetiikka (ns. kellotauluaritmetiikka), jossa luvut tyypillisesti korvataan niillä jakojäännöksillä,

Lisätiedot

Outoja funktioita. 0 < x x 0 < δ ε f(x) a < ε.

Outoja funktioita. 0 < x x 0 < δ ε f(x) a < ε. Outoja funktioita Differentiaalilaskentaa harjoitettiin miltei 200 vuotta ennen kuin sen perustana olevat reaaliluvut sekä funktio ja sen raja-arvo määriteltiin täsmällisesti turvautumatta geometriseen

Lisätiedot

Luovat joukot ja Myhillin isomorfialause

Luovat joukot ja Myhillin isomorfialause Teknillinen korkeakoulu Informaatio- ja luonnontieteiden tiedekunta Luovat joukot ja Myhillin isomorfialause Mika Göös Ohjaajana prof. Pekka Orponen Espoossa 26.4.2009 Tiivistelmä Laskettavuusteoria

Lisätiedot

Lukuteorian helmiä lukiolaisille. 0. Taustaa. Jukka Pihko Matematiikan ja tilastotieteen laitos Helsingin yliopisto

Lukuteorian helmiä lukiolaisille. 0. Taustaa. Jukka Pihko Matematiikan ja tilastotieteen laitos Helsingin yliopisto Lukuteorian helmiä lukiolaisille Jukka Pihko Matematiikan ja tilastotieteen laitos Helsingin yliopisto 0. Taustaa Sain 24.4.2007 Marjatta Näätäseltä sähköpostiviestin, jonka aihe oli Fwd: yhteistyökurssi,

Lisätiedot

Geometriaa kuvauksin. Siirto eli translaatio

Geometriaa kuvauksin. Siirto eli translaatio Geometriaa kuvauksin Siirto eli translaatio Janan AB kuva on jana A B ja ABB A on suunnikas. Suora kuvautuu itsensä kanssa yhdensuuntaiseksi suoraksi. Kulmat säilyvät. Kuva ja alkukuva ovat yhtenevät.

Lisätiedot

Relaation ominaisuuksia. Ominaisuuksia koskevia lauseita Sulkeumat. Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

Relaation ominaisuuksia. Ominaisuuksia koskevia lauseita Sulkeumat. Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X, Relaation Joukossa X määritelty relaatio R on (r) refleksiivinen, jos xrx kaikilla x X, (ir) irrefleksiivinen, jos x Rx kaikilla x X, Relaation Joukossa X määritelty relaatio R on (r) refleksiivinen, jos

Lisätiedot

Esimerkkejä polynomisista ja ei-polynomisista ongelmista

Esimerkkejä polynomisista ja ei-polynomisista ongelmista Esimerkkejä polynomisista ja ei-polynomisista ongelmista Ennen yleisempiä teoriatarkasteluja katsotaan joitain tyypillisiä esimerkkejä ongelmista ja niiden vaativuudesta kaikki nämä ongelmat ratkeavia

Lisätiedot

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa TAMPEREEN YLIOPISTO Pro gradu -tutkielma Roosa Niemi Riippuvuuslogiikkaa Informaatiotieteiden yksikkö Matematiikka Syyskuu 2011 Tampereen yliopisto Informaatiotieteiden yksikkö ROOSA NIEMI: Riippuvuuslogiikkaa

Lisätiedot

Ohjausrakenteet. Valinta:

Ohjausrakenteet. Valinta: Ohjausrakenteet Luento antaa yleiskuvan siitä kuinka ohjelmassa suorittaan vaihtoehtoisia tehtäviä valintarakenteiden avulla ja kuinka samanlaisia ohjelma-askeleita toistetaan toistorakenteiden avulla

Lisätiedot

Taso 1/5 Sisältö ESITIEDOT: vektori, koordinaatistot, piste, suora

Taso 1/5 Sisältö ESITIEDOT: vektori, koordinaatistot, piste, suora Taso 1/5 Sisältö Taso geometrisena peruskäsitteenä Kolmiulotteisen alkeisgeometrian peruskäsitteisiin kuuluu taso pisteen ja suoran lisäksi. Intuitiivisesti sitä voidaan ajatella joka suunnassa äärettömyyteen

Lisätiedot

Matematiikan mestariluokka 2010

Matematiikan mestariluokka 2010 Matematiikan mestariluokka 00 Martti E. Pesonen 3. huhtikuuta 00 Mitä matematiikka on? Matematiikan määritteleminen lienee turhaa, kenties myös mahdotonta. Matemaatikot sanovatkin usein leikillisesti,

Lisätiedot

811312A Tietorakenteet ja algoritmit 2015-2016. I Johdanto

811312A Tietorakenteet ja algoritmit 2015-2016. I Johdanto 811312A Tietorakenteet ja algoritmit 2015-2016 I Johdanto Sisältö 1. Algoritmeista ja tietorakenteista 2. Algoritmien analyysistä 811312A TRA, Johdanto 2 I.1. Algoritmeista ja tietorakenteista I.1.1. Algoritmien

Lisätiedot

Hieman joukko-oppia. A X(A a A b A a b).

Hieman joukko-oppia. A X(A a A b A a b). Hieman joukko-oppia Seuraavassa esittelen hieman alkeellista joukko-oppia. Päämääränäni on saada käyttöön hyvinjärjestyslause, jota tarvitsemme myöhemmin eräissä todistuksissa. Esitykseni on aika, vaikkei

Lisätiedot

LUKUTEORIA A. Harjoitustehtäviä, kevät 2013. (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että

LUKUTEORIA A. Harjoitustehtäviä, kevät 2013. (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että LUKUTEORIA A Harjoitustehtäviä, kevät 2013 1. Olkoot a, b, c Z, p P ja k, n Z +. (a) Osoita, että jos niin Osoita, että jos niin (c) Osoita, että jos niin (d) Osoita, että (e) Osoita, että a bc ja a c,

Lisätiedot

Kerta 2. Kerta 2 Kerta 3 Kerta 4 Kerta 5. 1. Toteuta Pythonilla seuraava ohjelma:

Kerta 2. Kerta 2 Kerta 3 Kerta 4 Kerta 5. 1. Toteuta Pythonilla seuraava ohjelma: Kerta 2 Kerta 3 Kerta 4 Kerta 5 Kerta 2 1. Toteuta Pythonilla seuraava ohjelma: 2. Tulosta Pythonilla seuraavat luvut allekkain a. 0 10 (eli, näyttää tältä: 0 1 2 3 4 5 6 7 8 9 10 b. 0 100 c. 50 100 3.

Lisätiedot

1.1 Vektorit. MS-A0007 Matriisilaskenta. 1.1 Vektorit. 1.1 Vektorit. Reaalinen n-ulotteinen avaruus on joukko. x 1. R n. 1. Vektorit ja kompleksiluvut

1.1 Vektorit. MS-A0007 Matriisilaskenta. 1.1 Vektorit. 1.1 Vektorit. Reaalinen n-ulotteinen avaruus on joukko. x 1. R n. 1. Vektorit ja kompleksiluvut ja kompleksiluvut ja kompleksiluvut 1.1 MS-A0007 Matriisilaskenta 1. ja kompleksiluvut Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 26.10.2015 Reaalinen

Lisätiedot

Talousmatematiikan perusteet, L2

Talousmatematiikan perusteet, L2 Talousmatematiikan perusteet, L2 orms.1030 EPKY / kevät 2011 Toisen Laskutoimitukset tehdään seuraavassa järjestyksessä 1. Sulkujen sisällä olevat (alkaen sisältä ulospäin) 2. potenssit ja juuri 3. kerto-

Lisätiedot

MATEMATIIKKA 5 VIIKKOTUNTIA

MATEMATIIKKA 5 VIIKKOTUNTIA EB-TUTKINTO 2008 MATEMATIIKKA 5 VIIKKOTUNTIA PÄIVÄMÄÄRÄ: 5. kesäkuuta 2008 (aamupäivä) KOKEEN KESTO: 4 tuntia (240 minuuttia) SALLITUT APUVÄLINEET: Europpa-koulun antama taulukkovihkonen Funktiolaskin,

Lisätiedot

Tämä luku nojaa vahvasti esimerkkeihin. Aloitetaan palauttamalla mieleen, mitä koordinaatistolla tarkoitetaan.

Tämä luku nojaa vahvasti esimerkkeihin. Aloitetaan palauttamalla mieleen, mitä koordinaatistolla tarkoitetaan. MAB: Koordinaatisto geometrian apuna Aluksi Geometriassa tulee silloin tällöin eteen tilanne, jossa piirroksen tekeminen koordinaatistoon yksinkertaistaa laskuja. Toisinaan taas tilanne on muuten vaan

Lisätiedot

PRELIMINÄÄRIKOE PITKÄ MATEMATIIKKA 9.2.2011

PRELIMINÄÄRIKOE PITKÄ MATEMATIIKKA 9.2.2011 PRELIMINÄÄRIKOE PITKÄ MATEMATIIKKA 9..0 Kokeessa saa vastata enintään kymmeneen tehtävään.. Sievennä a) 9 x x 6x + 9, b) 5 9 009 a a, c) log 7 + lne 7. Muovailuvahasta tehty säännöllinen tetraedri muovataan

Lisätiedot

LAUSELOGIIKKA (1) Sanalliset ilmaisut ovat usein epätarkkoja. On ilmaisuja, joista voidaan sanoa, että ne ovat tosia tai epätosia, mutta eivät molempia. Ilmaisuja, joihin voidaan liittää totuusarvoja (tosi,

Lisätiedot

Käyrien välinen dualiteetti (projektiivisessa) tasossa

Käyrien välinen dualiteetti (projektiivisessa) tasossa Solmu 3/2008 1 Käyrien välinen dualiteetti (projektiivisessa) tasossa Georg Metsalo georg.metsalo@tkk.fi Tämä kirjoitus on yhteenveto kaksiosaisesta esitelmästä Maunulan yhteiskoulun matematiikkapäivänä

Lisätiedot

Ongelma(t): Mihin perustuu tietokoneiden suorituskyky ja sen jatkuva kasvu? Mitkä tekijät rajoittavat suorituskyvyn parantamista ja mitkä niistä ovat

Ongelma(t): Mihin perustuu tietokoneiden suorituskyky ja sen jatkuva kasvu? Mitkä tekijät rajoittavat suorituskyvyn parantamista ja mitkä niistä ovat Ongelma(t): Mihin perustuu tietokoneiden suorituskyky ja sen jatkuva kasvu? Mitkä tekijät rajoittavat suorituskyvyn parantamista ja mitkä niistä ovat ehdottomia? 2013-2014 Lasse Lensu 2 Nykyiset tietokoneet

Lisätiedot

Suora. Hannu Lehto. Lahden Lyseon lukio

Suora. Hannu Lehto. Lahden Lyseon lukio Suora Hannu Lehto Lahden Lyseon lukio Suuntavektori Normaalivektori Hannu Lehto 4. syyskuuta 2010 Lahden Lyseon lukio 2 / 12 Esimerkki Suuntavektori Normaalivektori Tarkastellaan suoraa y = 2 3 x 1. kulmakerroin

Lisätiedot

Ongelma(t): Mikä on Turingin kone? Miten Turingin kone liittyy funktioihin ja algoritmeihin? Miten Turingin kone liittyy tietokoneisiin?

Ongelma(t): Mikä on Turingin kone? Miten Turingin kone liittyy funktioihin ja algoritmeihin? Miten Turingin kone liittyy tietokoneisiin? Ongelma(t): Mikä on Turingin kone? Miten Turingin kone liittyy funktioihin ja algoritmeihin? Miten Turingin kone liittyy tietokoneisiin? 2013-2014 Lasse Lensu 2 Algoritmit ovat deterministisiä toimintaohjeita

Lisätiedot

Logiikka I 7. harjoituskerran malliratkaisut 19. - 23.3.07 Ratkaisut laati Miikka Silfverberg.

Logiikka I 7. harjoituskerran malliratkaisut 19. - 23.3.07 Ratkaisut laati Miikka Silfverberg. Logiikka I 7. harjoituskerran malliratkaisut 19. - 23.3.07 Ratkaisut laati Miikka Silfverberg. Olkoon L = {Lontoo, P ariisi, P raha, Rooma, Y hteys(x, y)}. Kuvan 3.1. kaupunkiverkko vastaa seuraavaa L-mallia

Lisätiedot

Geometrian kertausta. MAB2 Juhani Kaukoranta Raahen lukio

Geometrian kertausta. MAB2 Juhani Kaukoranta Raahen lukio Geometrian kertausta MAB2 Juhani Kaukoranta Raahen lukio Ristikulmat Ristikulmat ovat yhtä suuret keskenään Vieruskulmien summa 180 Muodostavat yhdessä oikokulman 180-50 =130 50 Samankohtaiset kulmat Kun

Lisätiedot

Ongelma(t): Mihin perustuu tietokoneiden suorituskyky ja sen jatkuva kasvu? Mitkä tekijät rajoittavat suorituskyvyn parantamista ja mitkä niistä ovat

Ongelma(t): Mihin perustuu tietokoneiden suorituskyky ja sen jatkuva kasvu? Mitkä tekijät rajoittavat suorituskyvyn parantamista ja mitkä niistä ovat Ongelma(t): Mihin perustuu tietokoneiden suorituskyky ja sen jatkuva kasvu? Mitkä tekijät rajoittavat suorituskyvyn parantamista ja mitkä niistä ovat ehdottomia? 2012-2013 Lasse Lensu 2 Nykyiset tietokoneet

Lisätiedot

Kenguru 2014 Junior sivu 1 / 8 (lukion 1. vuosikurssi)

Kenguru 2014 Junior sivu 1 / 8 (lukion 1. vuosikurssi) Kenguru 2014 Junior sivu 1 / 8 Nimi Ryhmä Pisteet: Kenguruloikan pituus: Irrota tämä vastauslomake tehtävämonisteesta. Merkitse tehtävän numeron alle valitsemasi vastausvaihtoehto. Väärästä vastauksesta

Lisätiedot

203 Asetetaan neliöt tasoon niin, että niiden keskipisteet yhtyvät ja eräiden sivujen välille muodostuu 45 kulma.

203 Asetetaan neliöt tasoon niin, että niiden keskipisteet yhtyvät ja eräiden sivujen välille muodostuu 45 kulma. Pyramidi 3 Geometria tehtävien ratkaisut sivu 1 201 202 Saadaan tapaukset 1) Tason suorat l ja m voivat olla yhdensuuntaiset, mutta eri suorat, jolloin niillä ei ole yhteisiä pisteitä. l a) A B C A B C

Lisätiedot

v 8 v 9 v 5 C v 3 v 4

v 8 v 9 v 5 C v 3 v 4 Verkot Verkko on (äärellinen) matemaattinen malli, joka koostuu pisteistä ja pisteitä toisiinsa yhdistävistä viivoista. Jokainen viiva yhdistää kaksi pistettä, jotka ovat viivan päätepisteitä. Esimerkiksi

Lisätiedot

nyky-ymmärryksemme mukaan hajaantuvaan sarjaan luvun 1 2 kun n > N Huom! Määritelmä on aivan sama C:ssä ja R:ssä. (Kuva vain on erilainen.

nyky-ymmärryksemme mukaan hajaantuvaan sarjaan luvun 1 2 kun n > N Huom! Määritelmä on aivan sama C:ssä ja R:ssä. (Kuva vain on erilainen. Sarjaoppia Käsitellään kompleksi- ja reaalisarjat yhdessä. Reaalilukujen ominaisuuksista (kuten järjestys) riippuvat asiat tulevat lisämausteena mukaan. Kirjallisuutta: 1. [KRE] Kreyszig: Advanced Engineering

Lisätiedot

Laskennan vaativuus ja NP-täydelliset ongelmat

Laskennan vaativuus ja NP-täydelliset ongelmat Laskennan vaativuus ja NP-täydelliset ongelmat TRAK-vierailuluento 13.4.2010 Petteri Kaski Tietojenkäsittelytieteen laitos Tietojenkäsittelytiede Tietojenkäsittelytiede tutkii 1. mitä tehtäviä voidaan

Lisätiedot

Kansainväliset matematiikkaolympialaiset 2008

Kansainväliset matematiikkaolympialaiset 2008 Kansainväliset matematiikkaolympialaiset 2008 Tehtävät ja ratkaisuhahmotelmat 1. Teräväkulmaisen kolmion ABC korkeusjanojen leikkauspiste on H. Pisteen H kautta kulkeva ympyrä, jonka keskipiste on sivun

Lisätiedot

Harjoituksia MAA4 - HARJOITUKSIA. 6. Merkitse lukusuoralle ne luvut, jotka toteuttavat epäyhtälön x 2 < ½.

Harjoituksia MAA4 - HARJOITUKSIA. 6. Merkitse lukusuoralle ne luvut, jotka toteuttavat epäyhtälön x 2 < ½. MAA4 - HARJOITUKSIA 1 Esitä lauseke 3 x + x 4 ilman itseisarvomerkkejä Ratkaise yhtälö a ) 5x 9 = 6 b) 6x 9 = 0 c) 7x 9 + 6 = 0 3 Ratkaise yhtälö x 7 3 + 4x = 4 Ratkaise yhtälö 5x + = 3x 4 5 Ratkaise yhtälö

Lisätiedot

MAA4 - HARJOITUKSIA. 1. Esitä lauseke 3 x + 2x 4 ilman itseisarvomerkkejä. 3. Ratkaise yhtälö 2 x 7 3 + 4x = 2 (yksi ratkaisu, eräs neg. kokon.

MAA4 - HARJOITUKSIA. 1. Esitä lauseke 3 x + 2x 4 ilman itseisarvomerkkejä. 3. Ratkaise yhtälö 2 x 7 3 + 4x = 2 (yksi ratkaisu, eräs neg. kokon. MAA4 - HARJOITUKSIA 1. Esitä lauseke 3 + 4 ilman itseisarvomerkkejä.. Ratkaise yhtälö a ) 5 9 = 6 b) 6 9 = 0 c) 7 9 + 6 = 0 3. Ratkaise yhtälö 7 3 + 4 = (yksi ratkaisu, eräs neg. kokon. luku) 4. Ratkaise

Lisätiedot

Lukuteoriaa ja salakirjoitusta, osa 1

Lukuteoriaa ja salakirjoitusta, osa 1 Solmu 3/2007 1 Lukuteoriaa ja salakirjoitusta, osa 1 Heikki Apiola Dosentti Matematiikan laitos, Teknillinen korkeakoulu Johdanto Lukuteoriaa on joskus pidetty esteettisesti kauniina, mutta käytännössä

Lisätiedot

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun {A 1,A 2,...,A n,b } 0, jatkoa jatkoa 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin

Lisätiedot

ALKULUKUJA JA MELKEIN ALKULUKUJA

ALKULUKUJA JA MELKEIN ALKULUKUJA ALKULUKUJA JA MELKEIN ALKULUKUJA MINNA TUONONEN Versio: 12. heinäkuuta 2011. 1 2 MINNA TUONONEN Sisältö 1. Johdanto 3 2. Tutkielmassa tarvittavia määritelmiä ja apulauseita 4 3. Mersennen alkuluvut ja

Lisätiedot

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS JOHDATUS TEKOÄLYYN TEEMU ROOS LOGIIKKAA TERMI: MUUTTUJA: A,B,C,... VAKIO: a,b,c,... PREDIKAATTI: SISÄLLÄ, ULKONA,... LAUSE: ULKONA(A) SISÄLLÄ(A) SITÄ ON JOKO ULKONA TAI SISÄLLÄ. LAUSE: ULKONA(A) SATAA

Lisätiedot

JOHDATUS MATEMATIIKKAAN

JOHDATUS MATEMATIIKKAAN JOHDATUS MATEMATIIKKAAN Toitteko minulle ihmisen, joka ei osaa laskea sormiaan? Kuolleiden kirja JYVÄSKYLÄN YLIOPISTO MATEMATIIKAN JA TILASTOTIETEEN LAITOS Alkusanat Tämä tiivistelmä on allekirjoittaneen

Lisätiedot

Kenguru 2012 Student sivu 1 / 8 (lukion 2. ja 3. vuosi)

Kenguru 2012 Student sivu 1 / 8 (lukion 2. ja 3. vuosi) Kenguru 2012 Student sivu 1 / 8 Nimi Ryhmä Pisteet: Kenguruloikan pituus: Irrota tämä vastauslomake tehtävämonisteesta. Merkitse tehtävän numeron alle valitsemasi vastausvaihtoehto. Väärästä vastauksesta

Lisätiedot

ALGEBRA Tauno Mets ankyl a Marjatta N a at anen 2010

ALGEBRA Tauno Mets ankyl a Marjatta N a at anen 2010 ALGEBRA Tauno Metsänkylä Marjatta Näätänen 2010 c Tauno Metsänkylä ja Marjatta Näätänen ALGEBRA Tauno Metsänkylä Marjatta Näätänen Esipuhe Tämä kirja on syntynyt toisen tekijän(t.m.) Turun yliopistossa

Lisätiedot

Harjoitustehtävät, syys lokakuu 2010. Helpommat

Harjoitustehtävät, syys lokakuu 2010. Helpommat Harjoitustehtävät, syys lokakuu 010. Helpommat Ratkaisuja 1. Kellon minuutti- ja tuntiosoittimet ovat tasan suorassa kulmassa kello 9.00. Milloin ne ovat seuraavan kerran tasan suorassa kulmassa? Ratkaisu.

Lisätiedot

582206 Laskennan mallit

582206 Laskennan mallit 582206 Laskennan mallit luennot syksylla 2006, periodit I{II Jyrki Kivinen tietojenkasittelytieteen aineopintokurssi, 6 op, paaaineopiskelijoille pakollinen esitietoina Tietorakenteet (ja sen esitiedot)

Lisätiedot

Kuva Suomen päätieverkko 1 Moottoritiet on merkitty karttaan vihreällä, muut valtatiet punaisella ja kantatiet keltaisella värillä.

Kuva Suomen päätieverkko 1 Moottoritiet on merkitty karttaan vihreällä, muut valtatiet punaisella ja kantatiet keltaisella värillä. POHDIN projekti TIEVERKKO Tieverkon etäisyyksien minimointi ja esimerkiksi maakaapeleiden kokonaismäärän minimointi sekä ylipäätään äärellisen pistejoukon yhdistäminen reitityksillä toisiinsa niin, että

Lisätiedot

Matematiikan olympiavalmennus

Matematiikan olympiavalmennus Matematiikan olympiavalmennus Syyskuun 2014 vaativammat valmennustehtävät, ratkaisuja 1. Onko olemassa ehdot a + b + c = d ja 1 ab + 1 ac + 1 bc = 1 ad + 1 bd + 1 cd toteuttavia reaalilukuja a, b, c, d?

Lisätiedot

Lukujoukot luonnollisista luvuista reaalilukuihin

Lukujoukot luonnollisista luvuista reaalilukuihin Lukujoukot luonnollisista luvuista reaalilukuihin Pro gradu -tutkielma Esa Pulkka 517378 Itä-Suomen Yliopisto Fysiikan ja matematiikan laitos 26. maaliskuuta 2012 Sisältö 1 Johdanto 1 2 Luonnolliset luvut

Lisätiedot

Liite 2. Ryhmien ja kuntien perusteet

Liite 2. Ryhmien ja kuntien perusteet Liite 2. Ryhmien ja kuntien perusteet 1. Ryhmät 1.1 Johdanto Erilaisissa matematiikan probleemoissa törmätään usein muotoa a + x = b tai a x = b oleviin yhtälöihin, joissa tuntematon muuttuja on x. Lukujoukkoja

Lisätiedot

Saatteeksi. Lassi Kurittu

Saatteeksi. Lassi Kurittu Sisältö 1 Johdanto 1 1.1 Yleiskatsaus.............................. 1 1.2 Esimerkkikieli............................. 3 1.2.1 Syntaksi............................ 4 1.2.2 Semantiikka..........................

Lisätiedot

MAT-71506 Program Verification (Ohjelmien todistaminen) merkintöjen selityksiä

MAT-71506 Program Verification (Ohjelmien todistaminen) merkintöjen selityksiä MAT-71506 Program Verification (Ohjelmien todistaminen) merkintöjen selityksiä Antti Valmari & Antero Kangas Tampereen teknillinen yliopisto Matematiikan laitos 20. elokuuta 2013 Merkkien selityksiä Tähän

Lisätiedot

TODISTAMINEN LUKION PITKÄSSÄ MATEMATIIKASSA

TODISTAMINEN LUKION PITKÄSSÄ MATEMATIIKASSA 1 TODISTAMINEN LUKION PITKÄSSÄ MATEMATIIKASSA Anna-Kaisa Viertola Pro Gradu tutkielma Kesä 2011 Jyväskylän yliopisto Matematiikan laitos 2 Sisällysluettelo 1 JOHDANTO... 3 2 YLEISTÄ... 4 3 MATEMATIIKAN

Lisätiedot

Epäeuklidisista geometrioista

Epäeuklidisista geometrioista TAMPEREEN YLIOPISTO Pro gradu -tutkielma Essi Kuukkula Epäeuklidisista geometrioista Matematiikan ja tilastotieteen laitos Matematiikka Elokuu 2010 2 Tampereen yliopisto Matematiikan ja tilastotieteen

Lisätiedot

w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1.

w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1. Kotitehtävät, tammikuu 2011 Vaikeampi sarja 1. Ratkaise yhtälöryhmä w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1. Ratkaisu. Yhtälöryhmän ratkaisut (w, x, y, z)

Lisätiedot

P? = NP Kysymys ratkaisun keksimisestä ja sen tarkistamisesta

P? = NP Kysymys ratkaisun keksimisestä ja sen tarkistamisesta P? = NP Kysymys ratkaisun keksimisestä ja sen tarkistamisesta Juha Nurmonen Matematiikan laitos Helsingin yliopisto Ajatellaanpa esimerkiksi kauppamatkustajan jokapäiväistä ongelmaa: Kauppamatkustajan

Lisätiedot

Kompleksiluvut 1/6 Sisältö ESITIEDOT: reaaliluvut

Kompleksiluvut 1/6 Sisältö ESITIEDOT: reaaliluvut Kompleksiluvut 1/6 Sisältö Kompleksitaso Lukukäsitteen vaiheittainen laajennus johtaa luonnollisista luvuista kokonaislukujen ja rationaalilukujen kautta reaalilukuihin. Jokaisessa vaiheessa ratkeavien

Lisätiedot

Joukko-opin rooli suomalaisessa koulumatematiikassa

Joukko-opin rooli suomalaisessa koulumatematiikassa TAMPEREEN YLIOPISTO Pro gradu -tutkielma Eero Seppä Joukko-opin rooli suomalaisessa koulumatematiikassa Informaatiotieteiden yksikkö Matematiikka Tammikuu 2013 Tampereen yliopisto Informaatiotieteiden

Lisätiedot