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

Gödel ja aritmetiikan epätäydellisyys

Gödel ja aritmetiikan epätäydellisyys TenhoVanhanen_Rovaniemi06.nb 1 Gödel ja aritmetiikan epätäydellisyys 10.11.2006/ XV ammattikorkeakoulujen matematiikan päivät Tenho Vanhanen, Stadia Johdanto - 100 vuotta Kurt Gödelin (28.4.1906-14.1.1978)

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

Epäeuklidista geometriaa

Epäeuklidista geometriaa Epäeuklidista geometriaa 7. toukokuuta 2006 Sisältö 1 Johdanto 1 1.1 Euklidinen geometria....................... 1 1.2 Epäeuklidinen geometria..................... 2 2 Poincarén kiekko 2 3 Epäeuklidiset

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

Reaaliarvoisen yhden muuttujan funktion raja arvo LaMa 1U syksyllä 2011

Reaaliarvoisen yhden muuttujan funktion raja arvo LaMa 1U syksyllä 2011 Neljännen viikon luennot Reaaliarvoisen yhden muuttujan funktion raja arvo LaMa 1U syksyllä 2011 Perustuu Trench in verkkokirjan lukuun 2.1. Esko Turunen esko.turunen@tut.fi Funktion y = f (x) on intuitiivisesti

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

Output. Input Automaton

Output. Input Automaton 16 Aakkostot, merkkijonot ja kielet Automaattiteoria diskreetin signaalinkäsittelyn perusmallit ja -menetelmät ( diskreettien I/O-kuvausten yleinen teoria) 1011 Input Automaton Output Automaatin käsite

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

Ympyrä 1/6 Sisältö ESITIEDOT: käyrä, kulma, piste, suora

Ympyrä 1/6 Sisältö ESITIEDOT: käyrä, kulma, piste, suora Ympyrä 1/6 Sisältö Ympyrä ja sen yhtälö Tason pisteet, jotka ovat vakioetäisyydellä kiinteästä pisteestä, muodostavat ympyrän eli ympyräviivan. Kiinteä piste on ympyrän keskipiste ja vakioetäisyys sen

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

Luku 7. Ratkeamattomuus ja epätäydellisyys. Predikaattilogiikan ratkeamattomuus

Luku 7. Ratkeamattomuus ja epätäydellisyys. Predikaattilogiikan ratkeamattomuus Luku 7 Ratkeamattomuus ja epätäydellisyys Predikaattilogiikan ratkeamattomuus Totesimme aikaisemmin Esimerkissä 6.7, että kaikkien validien S-lauseiden joukko VAL S on R-numeroituva. Osoitamme kohta, ettätämä

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

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

Matematiikan tukikurssi, kurssikerta 1

Matematiikan tukikurssi, kurssikerta 1 Matematiikan tukikurssi, kurssikerta 1 1 Joukko-oppia Matematiikassa joukko on mikä tahansa kokoelma objekteja. Esimerkiksi joukkoa A, jonka jäseniä ovat numerot 1, 2 ja 5 merkitään A = {1, 2, 5}. Joukon

Lisätiedot

Hilbertin aksioomat ja tarvittavat määritelmät Tiivistelmä Geometria-luentomonisteesta Heikki Pitkänen

Hilbertin aksioomat ja tarvittavat määritelmät Tiivistelmä Geometria-luentomonisteesta Heikki Pitkänen Hilbertin aksioomat ja tarvittavat määritelmät Tiivistelmä Geometria-luentomonisteesta Heikki Pitkänen 1. Hilbertin aksioomat 1-3 Oletetaan tunnetuiksi peruskäsitteet: piste, suora ja suora kulkee pisteen

Lisätiedot

811120P Diskreetit rakenteet

811120P Diskreetit rakenteet 811120P Diskreetit rakenteet 2016-2017 3. Logiikka 3.1 Logiikka tietojenkäsittelyssä Pyritään formalisoimaan terveeseen järkeen perustuva päättely Sovelletaan monella alueella tietojenkäsittelyssä, esim.

Lisätiedot

MAA4 Abittikokeen vastaukset ja perusteluja 1. Määritä kuvassa olevien suorien s ja t yhtälöt. Suoran s yhtälö on = ja suoran t yhtälö on = + 2. Onko väittämä oikein vai väärin? 2.1 Suorat =5 +2 ja =5

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

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

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

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

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

1 Kompleksiluvut 1. y z = (x, y) Kuva 1: Euklidinen taso R 2

1 Kompleksiluvut 1. y z = (x, y) Kuva 1: Euklidinen taso R 2 Sisältö 1 Kompleksiluvut 1 1.1 Määritelmä............................ 1 1. Kertolasku suorakulmaisissa koordinaateissa.......... 4 1.3 Käänteisluku ja jakolasku..................... 9 1.4 Esimerkkejä.............................

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

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

Induktio, jonot ja summat

Induktio, jonot ja summat Induktio, jonot ja summat Matemaattinen induktio on erittäin hyödyllinen todistusmenetelmä, jota sovelletaan laajasti. Sitä verrataan usein dominoefektiin eli ketjureaktioon, jossa ensimmäisen dominopalikka

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

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

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

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

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

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

Injektio (1/3) Funktio f on injektio, joss. f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f )

Injektio (1/3) Funktio f on injektio, joss. f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f ) Injektio (1/3) Määritelmä Funktio f on injektio, joss f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f ) Seurauksia: Jatkuva injektio on siis aina joko aidosti kasvava tai aidosti vähenevä Injektiolla on enintään

Lisätiedot

Vastauksia. Topologia Syksy 2010 Harjoitus 1

Vastauksia. Topologia Syksy 2010 Harjoitus 1 Topologia Syksy 2010 Harjoitus 1 (1) Olkoon X joukko ja (T j ) j J perhe X:n topologioita. Osoita, että T = {T j : j J} on X:n topologia. (2) Todista: Välit [a, b) muodostavat R 1 :n erään topologian kannan.

Lisätiedot

1 Peruslaskuvalmiudet

1 Peruslaskuvalmiudet 1 Peruslaskuvalmiudet 11 Lukujoukot N {1,, 3, 4,} on luonnollisten lukujen joukko (0 mukana, jos tarvitaan), Z {, 3,, 1, 0, 1,, 3,} on kokonaislukujen joukko, Q m n : m, n Z, n 0 on rationaalilukujen joukko,

Lisätiedot

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen. Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Tietyn ominaisuuden samuus -relaatio on ekvivalenssi; se on (1) refleksiivinen,

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

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

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

Lineaarialgebra ja matriisilaskenta I

Lineaarialgebra ja matriisilaskenta I Lineaarialgebra ja matriisilaskenta I 29.5.2013 HY / Avoin yliopisto Jokke Häsä, 1/26 Kertausta: Kanta Määritelmä Oletetaan, että w 1, w 2,..., w k W. Vektorijono ( w 1, w 2,..., w k ) on aliavaruuden

Lisätiedot

M = (Q, Σ, Γ, δ, q 0, q acc, q rej )

M = (Q, Σ, Γ, δ, q 0, q acc, q rej ) 6. LASKETTAVUUSTEORIAA Churchin Turingin teesi: Mielivaltainen (riittävän vahva) laskulaite Turingin kone. Laskettavuusteoria: Tarkastellaan mitä Turingin koneilla voi ja erityisesti mitä ei voi laskea.

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

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

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Kerttu Moilanen. Laskettavuudesta

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Kerttu Moilanen. Laskettavuudesta TAMPEREEN YLIOPISTO Pro gradu -tutkielma Kerttu Moilanen Laskettavuudesta Matematiikan, tilastotieteen ja filosofian laitos Matematiikka Toukokuu 2009 Tampereen yliopisto Matematiikan ja tilastotieteen

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

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

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 4 Jatkuvuus Jatkuvan funktion määritelmä Tarkastellaan funktiota f x) jossakin tietyssä pisteessä x 0. Tämä funktio on tässä pisteessä joko jatkuva tai epäjatkuva. Jatkuvuuden

Lisätiedot

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos... 2 Logiikkaa Tässä luvussa tutustutaan joihinkin logiikan käsitteisiin ja merkintöihin. Lisätietoja ja tarkennuksia löytyy esimerkiksi Jouko Väänäsen kirjasta Logiikka I 2.1 Loogiset konnektiivit Väitelauseen

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

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

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

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

Matematiikan tukikurssi, kurssikerta 4

Matematiikan tukikurssi, kurssikerta 4 Matematiikan tukikurssi, kurssikerta 4 1 Raja-arvo äärettömyydessä Tietyllä funktiolla f() voi olla raja-arvo äärettömyydessä, jota merkitään f(). Tämä tarkoittaa, että funktio f() lähestyy jotain tiettyä

Lisätiedot

1.2 Kulma. Kulmien luokittelua. Paralleeliaksiooma

1.2 Kulma. Kulmien luokittelua. Paralleeliaksiooma 1.2 Kulma. Kulmien luokittelua. Paralleeliaksiooma Pisteen, suoran ja tason avulla lähdetään muodostamaan uusia geometrian käsitteitä. Jos suora sahataan (keskeltä!!) poikki ja heitetään toinen puoli pois,

Lisätiedot

Kontraharmonisesta keskiarvosta ja Pythagoraan luvuista

Kontraharmonisesta keskiarvosta ja Pythagoraan luvuista J Pahikkala Kontraharmonisesta keskiarvosta ja Pythagoraan luvuista Erilaisia lukujen keskiarvoja on useita tunnetuimmat ovat tavallinen eli aritmeettinen keskiarvo ja keskiverto eli geometrinen keskiarvo

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

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista 1. Olkoot (E, ) ja (F, ) epätyhjiä järjestettyjä joukkoja. Määritellään joukossa E F relaatio L seuraavasti: [ (x, y)l(x, y ) ] [ (x < x )

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

Vastaukset 1. A = (-4,3) B = (6,1) C = (4,8) D = (-7,-1) E = (-1,0) F = (3,-3) G = (7,-9) 3. tämä on ihan helppoa

Vastaukset 1. A = (-4,3) B = (6,1) C = (4,8) D = (-7,-1) E = (-1,0) F = (3,-3) G = (7,-9) 3. tämä on ihan helppoa Vastaukset 1. A = (4,3) B = (6,1) C = (4,8) D = (7,1) E = (1,0) F = (3,3) G = (7,9) 2. 3. tämä on ihan helppoa 4. 5. a) (0, 0) b) Kolmannessa c) Ensimmäisessä d) toisessa ja neljännessä 117 6. 7. 8. esimerkiksi

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

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

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

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

Matemaatiikan tukikurssi

Matemaatiikan tukikurssi Matemaatiikan tukikurssi Kurssikerta 1 1 Funktiot Funktion määritelmä Funktio on sääntö, joka liittää kahden eri joukon alkioita toisiinsa. Ollakseen funktio tämän säännön on liitettävä jokaiseen lähtöjoukon

Lisätiedot

5.3 Suoran ja toisen asteen käyrän yhteiset pisteet

5.3 Suoran ja toisen asteen käyrän yhteiset pisteet .3 Suoran ja toisen asteen käyrän yhteiset pisteet Tämän asian taustana on ratkaista sellainen yhtälöpari, missä yhtälöistä toinen on ensiasteinen ja toinen toista astetta. Tällainen pari ratkeaa aina

Lisätiedot

Ratkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R):

Ratkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R): Diskreetti matematiikka, sks 2010 Harjoitus 2, ratkaisuista 1. Seuraavassa on kuvattu kolme virtapiiriä, joissa on paristo, sopiva lamppu L ja katkaisimia P, Q, R, joiden läpi virta kulkee (1) tai ei kulje

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

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

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

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

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

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

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

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

Sisältö. Sarjat 10. syyskuuta 2005 sivu 1 / 17

Sisältö. Sarjat 10. syyskuuta 2005 sivu 1 / 17 Sarjat 10. syyskuuta 2005 sivu 1 / 17 Sisältö 1 Peruskäsitteistöä 2 1.1 Määritelmiä 2 1.2 Perustuloksia 4 2 Suppenemistestejä positiivitermisille sarjoille 5 3 Itseinen ja ehdollinen suppeneminen 8 4 Alternoivat

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

Tenttiin valmentavia harjoituksia

Tenttiin valmentavia harjoituksia Tenttiin valmentavia harjoituksia Alla olevissa harjoituksissa suluissa oleva sivunumero viittaa Juha Partasen kurssimonisteen siihen sivuun, jolta löytyy apua tehtävän ratkaisuun. Funktiot Harjoitus.

Lisätiedot

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Perusaksioomat: Laki 1: Kukin totuusfunktio antaa kullekin propositiolle totuusarvoksi joko toden T tai epätoden

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

Ristitulolle saadaan toinen muistisääntö determinantin avulla. Vektoreiden v ja w ristitulo saadaan laskemalla determinantti

Ristitulolle saadaan toinen muistisääntö determinantin avulla. Vektoreiden v ja w ristitulo saadaan laskemalla determinantti 14 Ristitulo Avaruuden R 3 vektoreille voidaan määritellä pistetulon lisäksi niin kutsuttu ristitulo. Pistetulosta poiketen ristitulon tulos ei ole reaaliluku vaan avaruuden R 3 vektori. Ristitulosta on

Lisätiedot

Pyramidi 4 Analyyttinen geometria tehtävien ratkaisut sivu 180 Päivitetty Pyramidi 4 Luku Ensimmäinen julkaistu versio

Pyramidi 4 Analyyttinen geometria tehtävien ratkaisut sivu 180 Päivitetty Pyramidi 4 Luku Ensimmäinen julkaistu versio Pyramidi 4 Analyyttinen geometria tehtävien ratkaisut sivu 8 Päivitetty 7.5.6 Pyramidi 4 Luku 5..6 Ensimmäinen julkaistu versio 7.5.6 Korjattu tehtävän 56 vastaus Pyramidi 4 Analyyttinen geometria tehtävien

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

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

Matematiikan tukikurssi, kurssikerta 3

Matematiikan tukikurssi, kurssikerta 3 Matematiikan tukikurssi, kurssikerta 3 1 Epäyhtälöitä Aivan aluksi lienee syytä esittää luvun itseisarvon määritelmä: { x kun x 0 x = x kun x < 0 Siispä esimerkiksi 10 = 10 ja 10 = 10. Seuraavaksi listaus

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

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

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

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

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

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