Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/137

Koko: px
Aloita esitys sivulta:

Download "Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/137"

Transkriptio

1 Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/137

2 Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi... jos ja vain jos... Sulkeita ( ) käytetään selkeyden vuoksi osoittamaan konnektiivien soveltamisen järjestys. 2/137

3 Negaation totuustaulu Määritelmä Negaatiolla on seuraava totuustaulu: A A Huom. Yllä 1 tarkoittaa tosi ja 0 epätosi. Jos propositiolause A on tosi, niin A on epätosi. Jos propositiolause A on epätosi, niin A on tosi. 3/137

4 Konjunktion totuustaulu Määritelmä Konjunktiolla on seuraava totuustaulu: Huom. A B A B Propositiolause A B on tosi, jos ja vain jos propositiolauseet A ja B ovat molemmat tosia. Määritelmä vastaa konnektiivin ja intuitiivista merkitystä. 4/137

5 Disjunktion totuustaulu Määritelmä Disjunktiolla on seuraava totuustaulu: Huom. A B A B Propositiolause A B on epätosi, jos ja vain jos propositiolauseet A ja B ovat molemmat epätosia. Määritelmä vastaa konnektiivin tai intuitiivista merkitystä siinä tapauksessa, että kysymyksessä ei ole poissulkeva tai. 5/137

6 Implikaation totuustaulu Määritelmä Implikaatiolla on seuraava totuustaulu: Huom. A B A B Propositiolause A B on epätosi, jos ja vain jos etujäsen A on tosi ja takajäsen B on epätosi. 6/137

7 Ekvivalenssin totuustaulu Määritelmä Ekvivalenssilla on seuraava totuustaulu: Huom. A B A B Propositiolause A B on tosi, jos ja vain jos propositiolauseilla A ja B on sama totuusarvo. 7/137

8 Looginen ekvivalenssi Propositiolausetta, joka on aina tosi, sanotaan tautologiaksi. Esimerkiksi propositiolause p 0 p 0 on tautologia, mikä nähdään seuraavasta totuustaulusta: Määritelmä p 0 p 0 p 0 p Propositiolauseet A ja B ovat loogisesti ekvivalentteja, jos ekvivalenssi A B on tautologia, ts. jos ekvivalenssin A B totuusarvo on aina 1. 8/130

9 Kvanttorit Väite, jossa esiintyy ns. vapaa muuttuja, voi olla jollakin muuttujan arvolla tosi ja jollakin epätosi. Tarkastellaan esimerkiksi väitettä x 2 2x + 1 = 0. Jos x = 5, tämä väite on epätosi, sillä = 16. Jos x = 1, tämä väite on tosi, sillä = 0. 9/130

10 Kvanttorit Tällaisten väitteiden tapauksessa ollaan usein kiinnostuneita siitä, onko väite tosi kaikilla muuttujan arvoilla tai ainakin yhdellä muuttujan arvolla. Nämä asiat voidaan ilmaista kvanttoreiden avulla: kaikilla on olemassa 10/130

11 Kvanttorit Tällaisten väitteiden tapauksessa ollaan usein kiinnostuneita siitä, onko väite tosi kaikilla muuttujan arvoilla tai ainakin yhdellä muuttujan arvolla. Nämä asiat voidaan ilmaista kvanttoreiden avulla: kaikilla on olemassa 10/125

12 Kvanttorit ja negaatiot Yhteenveto: Lause x P(x) on loogisesti ekvivalentti lauseen x P(x) kanssa. Lause x P(x) on loogisesti ekvivalentti lauseen x P(x) kanssa. Huomaa myös: Propositiolause (P Q) on loogisesti ekvivalentti propositiolauseen P Q kanssa. Propositiolause (P Q) on loogisesti ekvivalentti propositiolauseen P Q kanssa. 11/125

13 Geometrinen lukujono Määritelmä Lukujonoa (a 0, a 1, a 2, a 3,...) sanotaan geometriseksi, jos on olemassa sellainen q R että kaikilla n N pätee a n+1 = qa n. Lukua q nimitetään geometrisen lukujonon suhdeluvuksi. Huom. Jos a n = 0kaikillan N, niin määritelmän yhtälö voidaan muuttaa muotoon a n+1 a n = q. Toisin sanottuna lukujono on geometrinen, jos kahden peräkkäisen luvun suhde on vakio. 12/120

14 Geometrinen lukujono Lause 1 Oletetaan, että (a 0, a 1, a 2, a 3,...) on geometrinen lukujono, jonka suhdeluku on q. Tällöin a n = a 0 q n kaikilla luonnollisilla luvuilla n 1. 13/120

15 Todistus. Alkuaskel: Geometrisen lukujonon määritelmän mukaan a 1 = qa 0 = a 0 q 1. Väite pätee siis luvulla 1 N. Induktioaskel: Tehdään induktio-oletus: Oletetaan, että k 1 ja a k = a 0 q k. Näytetään, että tällöin vastaava väite pätee seuraavalla luonnollisella luvulla k + 1: Käytetään geometrisen lukujonon määritelmää ja induktio-oletusta: a k+1 = qa k = q(a 0 q k )=a 0 q k+1. Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa induktioperiaatteen nojalla, että väite pätee kaikilla luonnollisilla luvuilla n 1. 14/120

16 Geometrinen sarja Määritelmä Oletetaan, että a, q R. Geometrinen sarja on päättymätön summa aq k = a + aq + aq 2 + aq Huom. k=0 Geometriseen sarjaan päädytään, jos yritetään laskea yhteen jonkin geometrisen lukujonon kaikki termit. Sopimus: yllä olevassa määritelmässä q 0 = 1kaikillaq R, myös jos q = 0. 15/120

17 Geometrisen sarjan osasumma Määritelmä Oletetaan, että a, q R, n N ja n 1. Geometrisen sarjan n:s osasumma S n tarkoittaa sen n ensimmäisen termin summaa Huom. n 1 S n = aq k = a + aq + aq aq n 1. k=0 S 1 = a S 2 = a + aq S 3 = a + aq + aq 2 jne. 16/120

18 Geometrisen sarjan osasumma Lause 2 Oletetaan, että a, q R ja n N, n 1. Geometrisen sarjan n:s osasumma on n 1 S n = aq k a 1 qn, jos q = 1; = 1 q k=0 na, jos q = 1. Todistus. Induktiolla luvun n suhteen; jätetään harjoitustehtäväksi. 17/120

19 Geometrisen sarjan summa Oletetaan, että a R, n N ja 1 < q < 1. Tällöin voidaan osoittaa, että luvun n kasvaessa q n lähestyy nollaa eli q n 0. Tästä seuraa edelleen, että luvun n kasvaessa geometrisen sarjan osasummat S n lähestyvät lukua a/(1 q): S n = a 1 qn 1 q a q = a 1 q. 18/120

20 Geometrisen sarjan summa Jos 1 < q < 1, niin lukua a 1 q sanotaan geometrisen sarjan aq k = a + aq + aq 2 + aq k=0 summaksi. 19/120

21 Geometrinen sarja Esimerkki 4 Viereisessä kuvassa on esitetty Kochin lumihiutaleen neljä ensimmäistä iteraatiota. Oletetaan, että ensimmäisen kolmion pinta-ala on 1. Mikä on tämän Kochin käyrän rajaaman alueen pinta-ala, jos iteraatioita jatketaan loputtomiin samalla periaatteella? 23/120

22 Geometrinen sarja Esimerkki 6 Tarkastellaan noppapeliä, jossa kaksi henkilöä heittää noppaa vuorotellen ja voittaja on se pelaaja, joka saa ensimmäisenä kuutosen. Millä todennäköisyydellä aloittaja voittaa? Kannattaako tällaisessa pelissä yrittää saada aloitusvuoro itselleen? 30/120

23 Binomikertoimet ja osajoukkojen lukumäärä Määritelmä Oletetaan, että n, k N. Jos n = 0, merkitään X n =. Jos n 1, merkitään X n = {1,...,n}. Tarkastellaan niitä joukon X n osajoukkoja, joissa on k kappaletta alkioita. Tällaisten osajoukkojen lukumäärää merkitään ( ) n. k Huom. Tämä merkintä luetaan n yli k. ( ) n Lukuja, missän, k N, kutsutaan binomikertoimiksi. k 31/120

24 Binomikertoimet ja osajoukkojen lukumäärä Esimerkki 7 Merkitään X 3 = {1, 2, 3}. Joukon X 3 kaksialkioiset osajoukot ovat {1, 2}, {1, 3} ja {2, 3}, joten ( ) 3 = 3. 2 Joukolla X 3 ei ole yhtään viisialkioista osajoukkoa, joten ( ) 3 = /120

25 Binomikertoimet ja osajoukkojen lukumäärä Esimerkki 8 Merkitään X 9 = {1, 2, 3, 4, 5, 6, 7, 8, 9}. Joukon X 9 ainoa nolla-alkioinen osajoukko on, joten ( ) 9 = 1. 0 Joukon X 9 ainoa 9-alkioinen osajoukko on X 9 itse, joten ( ) 9 = /120

26 Joukon X 9 yksialkioiset osajoukot ovat {1}, {2},...,{9}, joten ( ) 9 = 9. 1 Joukon X 9 8-alkioiset osajoukot ovat yksialkioisten osajoukkojen komplementit X 9 {1},...,X 9 {9}, joten Huom. ( ) 9 = 9. 8 Voidaan osoittaa, että jos n,k N ja 0 k n, niin ( ) n = k ( ) n. n k 34/120

27 Osajoukkojen lukumäärä Esimerkki 9 Kuinka monta osajoukkoa on joukolla X 3 = {1, 2, 3}? Joukolla X 3 on seuraavat osajoukot: tyhjä joukko, yksiöt {1}, {2} ja {3}, kaksiot {1, 2}, {1, 3} ja {2, 3}, joukko itse {1, 2, 3}. Joukon X 3 osajoukkojen lukumäärä on siis 8 = /120

28 Osajoukkojen lukumäärä Lause 10 Oletetaan, että joukossa X on n alkiota, missä n N. Tällöin joukon X osajoukkojen lukumäärä on 2 n. Todistus. Jos n = 0, niin X =. Tyhjällä joukolla on vain yksi osajoukko, joka on tyhjä joukko itse. Toisin sanottuna eikä tyhjällä joukolla ole muita osajoukkoja. Siis joukon X osajoukkojen lukumäärä on 1 = /120

29 Oletetaan, että joukossa X on n alkiota, missä n 1. Tällöin voidaan merkitä X = {a 1, a 2,...,a n }. Muodostetaan joukon X osajoukko käymällä läpi joukon X alkiot ja päättämällä jokaisen alkion kohdalla, otetaanko se osajoukkoon vai ei. Eri mahdollisuuksia on tällöin yhteensä } 2 2 {{ 2 } = 2 n. n kpl Joukolla X on siis 2 n erilaista osajoukkoa eli joukon X osajoukkojen lukumäärä on 2 n. 37/120

30 Osajoukkojen lukumäärä Lause 11 Oletetaan, että n N. Tällöin ( ) ( ) n n ( ) n + n 1 ( ) n = 2 n. n Todistus. Yhtälön vasemmalla puolella on laskettu yhteen n-alkoisen joukon kaikkien erikokoisten osajoukkojen lukumäärät. Tämä summa kertoo n-alkoisen joukon kaikkien osajoukkojen lukumäärän, joka on lauseen 10 mukaan 2 n. 38/120

31 Binomikertoimet ja osajoukkojen lukumäärä Määritelmä Oletetaan, että n, k N. Jos n = 0, merkitään X n =. Jos n 1, merkitään X n = {1,...,n}. Tarkastellaan niitä joukon X n osajoukkoja, joissa on k kappaletta alkioita. Tällaisten osajoukkojen lukumäärää merkitään ( ) n. k Huom. Tämä merkintä luetaan n yli k. ( ) n Lukuja, missän, k N, kutsutaan binomikertoimiksi. k 31/120

32 Osajoukkojen lukumäärä Lause 10 Oletetaan, että joukossa X on n alkiota, missä n N. Tällöin joukon X osajoukkojen lukumäärä on 2 n. Todistus. Jos n = 0, niin X =. Tyhjällä joukolla on vain yksi osajoukko, joka on tyhjä joukko itse. Toisin sanottuna eikä tyhjällä joukolla ole muita osajoukkoja. Siis joukon X osajoukkojen lukumäärä on 1 = /120

33 Oletetaan, että joukossa X on n alkiota, missä n 1. Tällöin voidaan merkitä X = {a 1, a 2,...,a n }. Muodostetaan joukon X osajoukko käymällä läpi joukon X alkiot ja päättämällä jokaisen alkion kohdalla, otetaanko se osajoukkoon vai ei. Eri mahdollisuuksia on tällöin yhteensä } 2 2 {{ 2 } = 2 n. n kpl Joukolla X on siis 2 n erilaista osajoukkoa eli joukon X osajoukkojen lukumäärä on 2 n. 37/120

34 Osajoukkojen lukumäärä Lause 11 Oletetaan, että n N. Tällöin ( ) ( ) n n ( ) n + n 1 ( ) n = 2 n. n Todistus. Yhtälön vasemmalla puolella on laskettu yhteen n-alkoisen joukon kaikkien erikokoisten osajoukkojen lukumäärät. Tämä summa kertoo n-alkoisen joukon kaikkien osajoukkojen lukumäärän, joka on lauseen 10 mukaan 2 n. 38/120

35 Kertoma Määritelmä Oletetaan, että n N. Luvun0kertoma tarkoittaa lukua 0!=1 Luvun (n + 1) kertoma tarkoittaa lukua (n + 1)! = (n + 1)n! Huom. Tässä kertoma määriteltiin rekursiivisesti. 49/120

36 Kertoma Esimerkki 15 Kertoman määritelmän mukaan 0!=1 1!=1 0!=1 1 = 1 2!=2 1!=2 1 = 2 3!=3 2!=3 2 = 6 4!=4 3!=4 6 = 24 50/120

37 Lause 16 Kertoma Oletetaan, että n N ja n 1. Tällöin Todistus. n!=1 2 3 n. Todistetaan väite induktiolla. Alkuaskel: määritelmän mukaan 1!=1 0!=1 1 = 1, joten väite pätee luvulla 1. Oletetaan, että jollakin k N pätee k!=1 2 3 k (induktio-oletus). Osoitetaan, että vastaava yhtälö pätee tällöin myös luvulle k + 1. Määritelmää ja induktio-oletusta käyttäen saadaan (k + 1)! = (k + 1) k!=(k + 1) k = k (k + 1). 51/120

38 Binomikertoimet ja kertoma Lause 17 Oletetaan, että n, k N ja k n. Tällöin ( ) n = k n! k!(n k)! 52/120

39 Lause 18 Oletetaan, että a, b R. Tällöin Binomikertoimet (a + b) n = n k=0 kaikilla luonnollisilla luvuilla n 1. Huom. ( ) n a n k b k k Yhtälön oikealla puolella on summa ( ) ( ) ( ) ( ) ( ) n n n n n a n + a n 1 b+ a n 2 b ab n 1 + b n n 1 n 61/120

40 Pascalin identiteetti Lause 13 Oletetaan, että n, k N ja 0 < k < n. Tällöin ( ) ( ) ( ) n n 1 n 1 = +. k k 1 k Huom. Pascalin identiteetistä saadaan ns. Pascalin kolmio, jonka avulla pieniä binomikertoimia on helppo laskea. 41/120

41 Pascalin kolmio ( 0 0) ( 1 ) ( 1 0 1) ( 2 ) ( 2 ) ( ) ( 3 ) ( 3 ) ( 3 ) ( ) ( 4 ) ( 4 ) ( 4 ) ( 4 ) ( ) ( 5 ) ( 5 ) ( 5 ) ( 5 ) ( 5 ) ( ). 42/120

42 Pascalin kolmio /120

43 2-kantainen logaritmi Merkitään jatkossa R + = {x R x > 0}. SiisR + on positiivisten reaalilukujen joukko. Määritelmä Oletetaan, että c R +.Luvunc 2-kantainen logaritmi kertoo, mihin potenssiin luku 2 pitää korottaa, jotta saadaan c. Toisin sanottuna log 2 (c)=t 2 t = c. 67/120

44 Huom. Voidaan osoittaa, että edellisessä määritelmässä jokaiseen c R + liitetään tasan yksi t R; toisin sanottuna 2-kantainen logaritmi on funktio R + R. Vastaavasti voidaan määritellä esimerkiksi kymmenkantainen logaritmi log 10 : R + R, jolla kantaluku on 10, ja luonnollinen logaritmi ln: R + R, jolla kantaluku on Neperin luku e 2,718. Kymmenkantaista logaritmia kutsutaan myös Briggsin logaritmiksi ja merkitään lg = log 10. Kaksikantaista logaritmia voidaan merkitä lb = log 2. 68/120

45 2-kantainen logaritmi ja kahdella jakaminen Oletetaan, että c R + ja log 2 (c)=n, missän N, n 1. Logaritmin määritelmästä saadaan log 2 (c)=n c = 2 n c 2 n = 1. Siis 2-kantainen logaritmi luvusta c kertoo mihin potenssiin luku 2 pitää korottaa, jotta saadaan c; kuinka monta kertaa luku c pitää jakaa luvulla 2, jotta saadaan 1. 69/120

46 2-kantaisen logaritmin määrittäminen jakolaskun avulla Esimerkki 21 Määritä seuraavat logaritmit (tai niiden likiarvot) jakolaskun avulla: (a) log 2 (8) (b) log 2 (1) (c) log 2 (20) ( ) 1 (d) log /120

47 Esimerkin 21 ratkaisu: (a) log 2 (8)=3, sillä jakolaskuja tarvitaan kolme: 8/2 = 4, 4/2 = 2, 2/2 = 1. Toisin sanottuna = 1 eli 8 = 23. (b) log 2 (1)=0, sillä jakolaskuja ei tarvita. Toisin sanottuna 1 = /120

48 (c) log 2 (20) 4, sillä 20 2 = 10, 10 2 = 5, 5 2 = 2,5, 2,5 2 = 1,25, 1,25 = 0, Huomaa, että neljännen jakolaskun tulos on lähimpänä lukua 1. ( ) 1 (d) log 2 = 2, sillä tarvitaan kaksi kertolaskua: = 1 2, = 1. Toisin sanottuna luku 2 täytyy korottaa negatiiviseen potenssiin, että saadaan 1/4: 2 2 = = /120

49 Logaritmiyhtälöiden ratkaisua Yksinkertaisia logaritmiyhtälöitä voi ratkaista käyttämällä logaritmin määritelmää. Esimerkki 22 Päättele mikä luku x on, jos tiedetään, että (a) log 2 (x)=1. (b) log 2 (x)=4. (c) log 2 (x)=6,5. (d) log 2 (x)= 3. 73/120

50 Esimerkin 22 ratkaisu: Käytetään logaritmin määritelmää: (a) Jos log 2 (x)=1, niin x = 2 1 = 2. (b) Jos log 2 (x)=4, niin x = 2 4 = 16. (c) Jos log 2 (x)=6,5, niin x = 2 6,5 = 2 6+0,5 = ,5 = = (d) Jos log 2 (x)= 3, niin x = 2 3 = = /120

51 Potenssien laskusääntöjä: potenssin potenssi Oletetaan, että k, n N {0}. Tällöin (2 k ) n =(2 k ) (2 k ) (2 k ) }{{} n kpl =(2 } 2 {{ 2 }) (2 } 2 {{ 2 }) (2 } 2 {{ 2 }) k kpl k kpl k kpl = }{{} nk kpl = 2 nk. Vastaava tulos pätee myös tilanteessa, jossa eksponentit n ja k ovat mitä tahansa reaalilukuja, mutta sen osoittaminen on työläämpää. 75/120

52 Samankantaisten potenssien tulo Oletetaan edelleen, että k, n N {0}. Tällöin 2 k 2 n =(2 2 2) }{{} k kpl = 2 k+n. (2 2 2) }{{} n kpl = }{{} k+n kpl Vastaava tulos pätee myös tilanteessa, jossa eksponentit n ja k ovat mitä tahansa reaalilukuja, mutta sen osoittaminen on työläämpää. 76/120

53 Potenssin logaritmi Oletetaan, että x on positiivinen reaaliluku. Merkitään a = log 2 (x). Tämä tarkoittaa logartimin määritelmän mukaan, että 2 a = x. Oletetaan, että b R. Määritetään log 2 (x b ): x b =(2 a ) b = 2 ba, joten logaritmin määritelmästä saadaan log 2 (x b )=ba. Koska aiemmin merkittiin a = log 2 (x), niin log 2 (x b )=b log 2 (x). Jos luku x korotetaan potenssiin b, logaritmi vain b-kertaistuu! 77/120

54 Tulon logaritmi Oletetaan, että x ja y ovat positiivisia reaalilukuja. Merkitään a = log 2 (x) ja b = log 2 (y). Tämä tarkoittaa logaritmin määritelmän mukaan, että x = 2 a ja y = 2 b. Tällöin xy = 2 a 2 b = 2 a+b. Tämä puolestaan tarkoittaa logaritmin määritelmän mukaan, että Siis log 2 (xy)=a + b. log 2 (xy)=log 2 (x)+log 2 (y). Tulon logaritmi on logaritmien summa. 78/120

55 Logaritmin kasvu hidastuu voimakkaasti (2,1) (4,2) (8,3) (1,0) y =log 2 (x) 79/120

56 Eksponenttiyhtälön ratkaiseminen Esimerkki 23 Ratkaise yhtälö 2 x = 50. Tapa I: Käytetään 2-kantaisen logaritmin määritelmää, jonka mukaan 2 x = 50 x = log 2 (50). Siis yhtälöllä on tasan yksi ratkaisu, joka on log 2 (50). 80/120

57 Ratkaisun likiarvo saadaan jakolaskun avulla: Jaetaan lukua 50 kantaluvulla 2 kunnes tulos on mahdollisimman lähellä lukua 1: 50 2 = 25, 25 2 = 12,5, 12,5 2 3,125 2 = 1,5625 1, = 6,25, 6,25 2 = 0, = 3,125, Päätellään, että log 2 (50) 6, sillä kuudennen jakolaskun tulos on lähimpänä lukua 1. 81/120

58 Tapa II: Otetaan yhtälön molemmilta puolilta vaikkapa 10-kantainen logaritmi, jolloin saadaan uusi yhtälö log 10 (2 x )=log 10 (50). Muokataan yhtälön vasenta puolta logaritmien laskusäännöillä (potenssin logaritmi), jolloin saadaan yhtälö x log 10 (2)=log 10 (50). Jaetaan tuntemattoman kertoimella: x = log 10(50) log 10 (2). 82/120

59 Lopuksi tarkistetaan, että löydetty luku on todella alkuperäisen yhtälön ratkaisu. Tämä voidaan tehdä esimerkiksi sijoittamalla saatu tulos alkuperäiseen yhtälöön, jolloin laskimella tms. saadaan 2 log 10 (50) log 10 (2) = 50. Siis yhtälöllä on tasan yksi ratkaisu, joka on log 10 (50) log 10 (2). Ratkaisun likiarvo saadaan tavallisella laskimella: log 10(50) log 10 (2) 5,6. 83/120

60 Kantaluvun vaihto Edellisestä esimerkistä 23 voi päätellä, että log 2 (50)= log 10(50) log 10 (2). Yleisesti voidaan osoittaa, että jos a, b R + {1} ja x R +,niin log a (x)= log b(x) log b (a). 84/120

61 Jaollisuus Määritelmä Sanotaan, että kokonaisluku a on jaollinen kokonaisluvulla b, jos on olemassa q Z, jolla a = qb. Tällöin merkitään b a ja sanotaan, että luku bjakaaluvun a. Jos luku a ei ole jaollinen luvulla b, merkitäänb a. Esimerkki 25 Esimerkiksi 6 42, sillä 42 = 7 6. Toisaalta Nimittäin 4 6 = 24 < 25 ja 5 6 = 30 > 25. Siten 25 = q 6kaikillaq Z. 87/120

62 Jakoyhtälö Voidaan osoittaa seuraava tulos, ns. kokonaislukujen jakoyhtälö. Tähän perehdytään tarkemmin kurssilla Algebra I. Lause 26 (Jakoyhtälö.) Oletetaan, että a, b Z ja b = 0. Tällöin on olemassa tasan yksi sellainen q Z ja tasan yksi sellainen r Z, että a = qb + r ja 0 r < b. Määritelmä Lauseessa 26 mainittua lukua r kutsutaan luvun a jakojäännökseksi luvulla b jaettaessa. 88/120

63 Jakoyhtälö Esimerkki 27 Tarkastellaan kuudella jakamista sekä lukuja 25 ja 13. (a) Huomataan, että 25 = , missä 0 1 < 6. Siis luvun 25 jakojäännös kuudella jaettaessa on 1. (b) Huomataan, että 13 = , missä 0 5 < 6. Siis luvun 13 jakojäännös kuudella jaettaessa on 5. 89/120

64 Tietojenkäsittelytieteen puolella jakojäännöksiä merkitään usein seuraavasti: 15 mod 4 = 3. Esimerkki 28 Laske: (a) 34 mod 5. (b) 20 mod 4. (c) 45 mod 6. Luvun 15 jakojäännös neljällä jaettaessa on 3. 90/120

65 Esimerkin 28 ratkaisu: (a) 34 mod 5 = 4, sillä vastaava jakoyhtälö on 34 = (b) 20 mod 4 = 0, sillä vastaava jakoyhtälö on 20 = (c) 45 mod 6 = 3, sillä vastaava jakoyhtälö on 45 = /120

66 Kongruenssi Määritelmä Oletetaan, että a, b Z ja n N {0}. Jos luvuilla a ja b on sama jakojäännös luvulla n jaettaessa, sanotaan, että luvut a ja b ovat kongruentit modulo n ja merkitään a b (mod n). Huom. Luvuilla a ja b on sama jakojäännös luvulla n jaettaessa, jos ja vain jos luvut a ja b voidaan kirjoittaa muodossa a = q 1 n + r ja b = q 2 n + r, missäq 1, q 2, r Z ja 0 r < n. 92/120

67 Kongruenssi Esimerkki 29 Esimerkiksi (mod 4), sillä lukujen 15 ja 59 jakojäännös neljällä jaettaessa on sama: Toisella tavalla merkittynä 15 = = mod 4 = 3 59 mod 4 = 3. 93/120

68 Kongruenssi ja jaollisuus Seuraava lause yhdistää kongruenssin ja jaollisuuden: Lause 30 Oletetaan, että a, b Z ja n N {0}. Tällöin a b (mod n), jos ja vain jos n (a b). 94/120

69 Lauseen 30 todistus (osa): : Harjoitustehtävä. : Oletetaan, että n (a b). Tällöin on olemassa sellainen k Z, ettäa b = kn. Tästäseuraa,ettäb = a kn. Oletetaan, että luvun a jakojäännös luvulla n jaettaessa on r. Tällöin a = qn + r, missäq, r Z ja 0 r < n. Näin ollen b = a kn = qn + r kn =(q k)n + r, missä q k Z kahden kokonaisluvun erotuksena ja lisäksi r Z ja 0 r < n. Siisluvunb jakojäännös luvulla n jaettaessa on r. Luvuilla a ja b on siis sama jakojäännös luvulla n jaettaessa, joten a b (mod n). 95/120

70 Kongruenssien laskusääntöjä Lause 31 Oletetaan, että a, b, c, d Z ja k, n N {0}. Oletetaanlisäksi, että a b (mod n) ja c d (mod n). Tällöin (a) a + c b + d (mod n) (b) ac bd (mod n) (c) a k b k (mod n). 96/120

71 Verkot Verkot muodostuvat solmuista (pisteistä) ja kaarista (nuolista tai viivoista pisteiden välillä). Määritelmä Verkko G on pari (V, E), missäv = on verkon solmujen joukko ja E = {(a, b) V V solmusta a on kaari solmuun b} on verkon kaarien joukko. 112/120

72 Suunnattu verkko Verkkoja on useaa tyyppiä. Alla on suunnattu verkko G, jonka solmujen joukko on V = {1, 2, 3, 4} ja kaarien joukko on E. Huomataan, että esimerkiksi (3, 1) E, sillä solmusta 3 on kaari solmuun 1. Sanotaan, että 3 on kaaren (3, 1) lähtösolmu ja 1 on kaaren (3, 1) maalisolmu Voidaan merkitä 3 1. Sanotaan myös, että solmu 1 on solmun 3 vierussolmu. Koska (4, 4) E, sanotaan että verkossa on silmukka pisteessä 4. Huomataan, että (4, 1) E, sillä solmusta 4 ei ole kaarta solmuun 1. Solmu 1 ei ole solmun 4 vierussolmu. 113/120

73 Suuntaamaton verkko Alla on suuntaamaton verkko G, jonka solmujen joukko on V = {1, 2, 3, 4, 5, 6} ja kaarien joukko on E. Suuntaamattoman verkon viivojen ajatellaan muodostuvan kahdesta vastakkaissuuntaisesta kaaresta. Esimerkiksi (1, 4) E ja (4, 1) E, koska solmujen 1 ja 4 välillä on viiva. Sanotaan, että solmut 1 ja 4 ovat vierekkäisiä Yleisesti suuntaamattomassa verkossa pätee, että jos (x, y) E, niin (y, x) E. 114/120

74 Solmun aste suuntaamattomassa verkossa Suuntaamattomassa verkossa solmun v aste deg(v) tarkoittaa niiden viivojen lukumäärää, joiden toisena päätepisteenä kyseinen solmu on. Esimerkiksi alla olevassa verkossa deg(4) = 2. Voidaan osoittaa, että jos suuntaamattoman verkon viivojen lukumäärä on m, niin sen solmujen asteiden summa on 2m Tästä seuraa, että suuntaamattomassa verkossa on aina parillinen määrä sellaisia solmuja, joiden aste on pariton. 115/120

75 Kaksijakoinen suuntaamaton verkko Oletetaan, että G =(V, E) on silmukaton suuntaamaton verkko, ts. (x, x) E kaikilla x V. Verkko G on kaksijakoinen, jos solmujen joukko V voidaan jakaa kahdeksi erilliseksi ja epätyhjäksi joukoksi V 1 ja V 2 niin, että V 1 V 2 = V ja jokainen verkon G kaari yhdistää pisteet joukoista V 1 ja V 2. Voidaan osoittaa, että silmukaton suuntaamaton verkko on kaksijakoinen, jos ja vain jos sen solmut voidaan värittää kahdella värillä niin, etteivät mitkään kaksi vierekkäistä solmua ole samanvärisiä. 116/120

76 Vierusmatriisi Verkon vierusmatriisi tarkoittaa neliömatriisia A, jossa alkio A(i, j)=1, jos solmusta i on kaari solmuun j, jamuuten A(i, j)=0. Tässä A(i, j) tarkoittaa normaaliin tapaan sitä matriisin A alkiota, joka on i:nnellä rivillä 1 2 j:nnessä sarakkeessa. 4 3 Esimerkiksi viereisen verkon G vierusmatriisi on A G = /120

77 Suuntaamattomien verkkojen isomorfisuus Oletetaan, että G 1 =(V 1, E 1 ) ja G 2 =(V 2, E 2 ) ovat silmukattomia suuntaamattomia verkkoja. Verkot G 1 ja G 2 ovat isomorfiset, jos on olemassa bijektio f : V 1 V 2, jolla lisäksi pätee seuraava ehto: a ja b ovat vierekkäisiä solmuja verkossa G 1, jos ja vain jos f (a) ja f (b) ovat vierekkäisiä solmuja verkossa G 2. Voidaan osoittaa, että isomorfisilla verkoilla on sama määrä solmuja; on sama määrä kaaria; solmuilla x V 1 ja f (x) V 2 on sama aste. 118/120

78 Polut ja yhtenäisyys Oletetaan, että G =(V, E) on suunnattu tai suuntaamaton verkko. Solmujono v 1, v 2,...,v n on polku (tai kulku) solmusta v 1 solmuun v n, jos jokaisesta jonossa esiintyvästä solmusta on kaari jonossa seuraavana olevaan solmuun eli v k v k+1 kaikilla k {1, 2,...,n 1}. Polun pituus on polkuun liittyvien kaarien lukumäärä; esimerkiksi polun v 1, v 2,...,v n pituus on n 1. Polku on yksinkertainen, jos kukin solmu esiintyy polussa vain kerran, paitsi ensimmäinen ja viimeinen saavat olla sama solmu. Yksinkertainen polku on sykli (eli kehä eli kierros), jos ensimmäinen ja viimeinen solmu ovat sama. Suuntaamaton verkko on yhtenäinen, jos verkon minkä tahansa kahden eri solmun välillä on polku. 119/120

79 Polut Mitkä seuraavista ovat polkuja alla kuvatussa suuntaamattomassa verkossa? Määritä jokaisen polun pituus. Mitkä ovat yksinkertaisia polkuja? Entä mitkä ovat syklejä? (a) 1, 2, 3, 4, 5, 6 (b) 1, 4, 3, 6, 2, 1 (c) 2, 3, 5, 1, 4, 3, 6, (d) 5, 3, 4, 1, 2, /120

Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/144

Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/144 Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/144 Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi...

Lisätiedot

Loogiset konnektiivit

Loogiset konnektiivit Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi... jos ja vain jos... Sulkeita ( ) käytetään selkeyden vuoksi

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

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B. HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 3 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan muun muassa kahden joukon osoittamista samaksi sekä joukon

Lisätiedot

Ratkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan

Ratkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 2 Ratkaisuehdotukset 1. Olkoon totuusjakauma v sellainen että v(p i ) = 1 kaikilla i N ja A propositiolause, jossa

Lisätiedot

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton. 3 Todistustekniikkaa 3.1 Väitteen kumoaminen vastaesimerkillä Monissa tilanteissa kohdataan väitteitä, jotka koskevat esimerkiksi kaikkia kokonaislukuja, kaikkia reaalilukuja tai kaikkia joukkoja. Esimerkkejä

Lisätiedot

Tekijä Pitkä Matematiikka 11 ratkaisut luku 2

Tekijä Pitkä Matematiikka 11 ratkaisut luku 2 Tekijä Pitkä matematiikka 11 0..017 170 a) Koska 8 = 4 7, luku 8 on jaollinen luvulla 4. b) Koska 104 = 4 6, luku 104 on jaollinen luvulla 4. c) Koska 4 0 = 80 < 8 ja 4 1 = 84 > 8, luku 8 ei ole jaollinen

Lisätiedot

Juuri 11 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty

Juuri 11 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty Kertaus K1. a) 72 = 2 36 = 2 2 18 = 2 2 2 9 = 2 2 2 3 3 = 2 3 3 2 252 = 2 126 = 2 2 63 = 2 2 3 21 = 2 2 3 3 7 = 2 2 3 2 7 syt(72, 252) = 2 2 3 2 = 36 b) 252 = 72 3 + 36 72 = 36 2 syt(72, 252) = 36 c) pym(72,

Lisätiedot

Kurssikoe on maanantaina 29.6. Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Kurssikoe on maanantaina 29.6. Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla. HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 201 Harjoitus 7 Ratkaisut palautettava viimeistään perjantaina 26.6.201 klo 16.00. Huom! Luennot ovat salissa CK112 maanantaista 1.6. lähtien.

Lisätiedot

Testaa taitosi 1: Lauseen totuusarvo

Testaa taitosi 1: Lauseen totuusarvo Testaa taitosi 1: Lauseen totuusarvo 1. a) Laadi lauseen A (B A) totuustaulu. b) Millä lauseiden A ja B totuusarvoilla a-kohdan lause on tosi? c) Suomenna a-kohdan lause, kun lause A on olen vihainen ja

Lisätiedot

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko?

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko? HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 1 Ratkaisuehdotuksia Tehtäväsarja I Seuraavat tehtävät liittyvät luentokalvoihin 1 14. Erityisesti esimerkistä 4 ja esimerkin

Lisätiedot

4 Matemaattinen induktio

4 Matemaattinen induktio 4 Matemaattinen induktio Joidenkin väitteiden todistamiseksi pitää näyttää, että kaikilla luonnollisilla luvuilla on jokin ominaisuus P. Esimerkkejä tällaisista väitteistä ovat vaikkapa seuraavat: kaikilla

Lisätiedot

LUKUTEORIA johdantoa

LUKUTEORIA johdantoa LUKUTEORIA johdantoa LUKUTEORIA JA TODISTAMINEN, MAA11 Lukuteorian tehtävä: Lukuteoria tutkii kokonaislukuja, niiden ominaisuuksia ja niiden välisiä suhteita. Kokonaislukujen maailma näyttää yksinkertaiselta,

Lisätiedot

Matematiikan tukikurssi, kurssikerta 5

Matematiikan tukikurssi, kurssikerta 5 Matematiikan tukikurssi, kurssikerta 5 1 Jonoista Matematiikassa jono (x n ) on yksinkertaisesti järjestetty, päättymätön sarja numeroita Esimerkiksi (1,, 3, 4, 5 ) on jono Jonon i:ttä jäsentä merkitään

Lisätiedot

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -Matematiikka on aksiomaattinen järjestelmä -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A0402 Diskreetin matematiikan perusteet Osa 1: Joukko-oppi ja logiikka Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Kiitokset Nämä luentokalvot perustuvat Gustaf

Lisätiedot

Johdatus yliopistomatematiikkaan

Johdatus yliopistomatematiikkaan Johdatus yliopistomatematiikkaan Lotta Oinonen 1. maaliskuuta 2016 Helsingin yliopisto Matematiikan ja tilastotieteen laitos Sisältö 1 Perusasioita joukoista................................ 1 1.1 Merkintöjä..................................

Lisätiedot

k-kantaisen eksponenttifunktion ominaisuuksia

k-kantaisen eksponenttifunktion ominaisuuksia 3.1.1. k-kantaisen eksponenttifunktion ominaisuuksia f() = k (k > 0, k 1) Määrittely- ja arvojoukko M f = R, A f = R + Jatkuvuus Funktio f on jatkuva Monotonisuus Funktio f aidosti kasvava, kun k > 1 Funktio

Lisätiedot

= 3 = 1. Induktioaskel. Induktio-oletus: Tehtävän summakaava pätee jollakin luonnollisella luvulla n 1. Induktioväite: n+1

= 3 = 1. Induktioaskel. Induktio-oletus: Tehtävän summakaava pätee jollakin luonnollisella luvulla n 1. Induktioväite: n+1 Matematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus 4 Ratkaisuehdotuksia 4-810 1 Osoita induktiolla, että luku 15 jakaa luvun 4 n 1 aina, kun n Z + Todistus Tarkastellaan ensin väitettä

Lisätiedot

1.1. YHDISTETTY FUNKTIO

1.1. YHDISTETTY FUNKTIO 1.1. YHDISTETTY FUNKTIO (g o f) () = g(f()) Funktio g = yhdistetyn funktion g o f ulkofunktio Funktio f = yhdistetyn funktion g o f sisäfunktio E.2. Olkoon f() = 2 + 3 ja g() = 4-5. Muodosta funktio a)

Lisätiedot

Ratkaisu: Yksi tapa nähdä, että kaavat A (B C) ja (A B) (A C) ovat loogisesti ekvivalentit, on tehdä totuustaulu lauseelle

Ratkaisu: Yksi tapa nähdä, että kaavat A (B C) ja (A B) (A C) ovat loogisesti ekvivalentit, on tehdä totuustaulu lauseelle HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 3 Ratkaisuehdotukset 1. Olkoot A, B ja C propositiolauseita. Näytä, että A (B C) (A B) (A C). Ratkaisu: Yksi tapa

Lisätiedot

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn Johdatus matemaattiseen päättelyyn Maarit Järvenpää Oulun yliopisto Matemaattisten tieteiden laitos Syyslukukausi 2015 1 Merkintöjä Luonnollisten lukujen joukko N on joukko N = {1, 2, 3,...} ja kokonaislukujen

Lisätiedot

Salausmenetelmät LUKUTEORIAA JA ALGORITMEJA. Veikko Keränen, Jouko Teeriaho (RAMK, 2006) 3. Kongruenssit. à 3.4 Kongruenssien laskusääntöjä

Salausmenetelmät LUKUTEORIAA JA ALGORITMEJA. Veikko Keränen, Jouko Teeriaho (RAMK, 2006) 3. Kongruenssit. à 3.4 Kongruenssien laskusääntöjä Salausmenetelmät Veikko Keränen, Jouko Teeriaho (RAMK, 2006) LUKUTEORIAA JA ALGORITMEJA 3. Kongruenssit à 3.4 Kongruenssien laskusääntöjä Seuraavassa lauseessa saamme kongruensseille mukavia laskusääntöjä.

Lisätiedot

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat. Approbatur 3, demo 1, ratkaisut 1.1. A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat. Käydään kaikki vaihtoehdot läpi. Jos A on rehti, niin B on retku, koska muuten

Lisätiedot

Todistusmenetelmiä Miksi pitää todistaa?

Todistusmenetelmiä Miksi pitää todistaa? Todistusmenetelmiä Miksi pitää todistaa? LUKUTEORIA JA TO- DISTAMINEN, MAA11 Todistus on looginen päättelyketju, jossa oletuksista, määritelmistä, aksioomeista sekä aiemmin todistetuista tuloksista lähtien

Lisätiedot

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta: MATP00 Johdatus matematiikkaan Ylimääräisten tehtävien ratkaisuehdotuksia. Osoita, että 00 002 < 000 000. Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa. Lähdetään sieventämään epäyhtälön

Lisätiedot

Salausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006)

Salausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006) Salausmenetelmät Veikko Keränen, Jouko Teeriaho (RAMK, 2006) LUKUTEORIAA JA ALGORITMEJA 3. Kongruenssit à 3.1 Jakojäännös ja kongruenssi Määritelmä 3.1 Kaksi lukua a ja b ovat keskenään kongruentteja (tai

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Tuntitehtävät 9-10 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 13-14 loppuviikon harjoituksissa. Kotitehtävät 11-12 tarkastetaan loppuviikon

Lisätiedot

1 Lukujen jaollisuudesta

1 Lukujen jaollisuudesta Matematiikan mestariluokka, syksy 2009 1 1 Lukujen jaollisuudesta Lukujoukoille käytetään seuraavia merkintöjä: N = {1, 2, 3, 4,... } Luonnolliset luvut Z = {..., 2, 1, 0, 1, 2,... } Kokonaisluvut Kun

Lisätiedot

Olkoon seuraavaksi G 2 sellainen tasan n solmua sisältävä suunnattu verkko,

Olkoon seuraavaksi G 2 sellainen tasan n solmua sisältävä suunnattu verkko, Tehtävä 1 : 1 a) Olkoon G heikosti yhtenäinen suunnattu verkko, jossa on yhteensä n solmua. Määritelmän nojalla verkko G S on yhtenäinen, jolloin verkoksi T voidaan valita jokin verkon G S virittävä alipuu.

Lisätiedot

Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta.

Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta. Väitelause Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta. Tässä P:tä kutsutaan oletukseksi ja Q:ta väitteeksi. Jos yllä oleva väitelause on totta, sanotaan, että P:stä

Lisätiedot

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua. HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 2 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, 15-17

Lisätiedot

4 Yleinen potenssifunktio ja polynomifunktio

4 Yleinen potenssifunktio ja polynomifunktio 4 Yleinen potenssifunktio ja polynomifunktio ENNAKKOTEHTÄVÄT 1. a) Tutkitaan yhtälöiden ratkaisuja piirtämällä funktioiden f(x) = x, f(x) = x 3, f(x) = x 4 ja f(x) = x 5 kuvaajat. Näin nähdään, monessako

Lisätiedot

isomeerejä yhteensä yhdeksän kappaletta.

isomeerejä yhteensä yhdeksän kappaletta. Tehtävä 2 : 1 Esitetään aluksi eräitä havaintoja. Jokaisella n Z + symbolilla H (n) merkitään kaikkien niiden verkkojen joukkoa, jotka vastaavat jotakin tehtävänannon ehtojen mukaista alkaanin hiiliketjua

Lisätiedot

Tehtävä 1. Päättele resoluutiolla seuraavista klausuulijoukoista. a. 1 {p 3 } oletus. 4 {p 1, p 2, p 3 } oletus. 5 { p 1 } (1, 2) 7 (4, 6)

Tehtävä 1. Päättele resoluutiolla seuraavista klausuulijoukoista. a. 1 {p 3 } oletus. 4 {p 1, p 2, p 3 } oletus. 5 { p 1 } (1, 2) 7 (4, 6) Tehtävä 1 Päättele resoluutiolla seuraavista klausuulijoukoista. a. {{p 0 }, {p 1 }, { p 0, p 2 }, {p 1, p 2, p 3 }, { p 2, p 3 }, {p 3 }}, b. {{ p 0, p 2 }, {p 0, p 1 }, {{ p 1, p 2 }, { p 2 }}, c. {{p

Lisätiedot

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla. HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 05 Harjoitus 6 Ratkaisut palautettava viimeistään tiistaina.6.05 klo 6.5. Huom! Luennot ovat salissa CK maanantaista 5.6. lähtien. Kurssikoe on

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

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

Johdatus logiikkaan I Harjoitus 4 Vihjeet

Johdatus logiikkaan I Harjoitus 4 Vihjeet Johdatus logiikkaan I Harjoitus 4 Vihjeet 1. Etsi lauseen ((p 0 p 1 ) (p 0 p 1 )) kanssa loogisesti ekvivalentti lause joka on (a) disjunktiivisessa normaalimuodossa, (b) konjunktiivisessa normaalimuodossa.

Lisätiedot

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen! Matematiikan johdantokurssi Kertausharjoitustehtävien ratkaisuja/vastauksia/vihjeitä. Osoita todeksi logiikan lauseille seuraava: P Q (P Q). Ratkaisuohje. Väite tarkoittaa, että johdetut lauseet P Q ja

Lisätiedot

(2n 1) = n 2

(2n 1) = n 2 3.5 Induktiotodistus Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa väite P (n) on totta kaikille n =0, 1, 2,... Tässä väite P (n) riippuu n:n arvosta. Todistuksessa

Lisätiedot

Esko Turunen Luku 3. Ryhmät

Esko Turunen Luku 3. Ryhmät 3. Ryhmät Monoidia rikkaampi algebrallinen struktuuri on ryhmä: Määritelmä (3.1) Olkoon joukon G laskutoimitus. Joukko G varustettuna tällä laskutoimituksella on ryhmä, jos laskutoimitus on assosiatiivinen,

Lisätiedot

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) 31.1.-4.2.2011 OT 1. Määritellään kokonaisluvuille laskutoimitus n m = n + m + 5. Osoita, että (Z, ) on ryhmä.

Lisätiedot

811120P Diskreetit rakenteet

811120P Diskreetit rakenteet 811120P Diskreetit rakenteet 2017-2018 Yhteenveto Yleistä kurssista Kurssin laajuus 5 op Luentoja 30h Harjoituksia 21h Itsenäistä työskentelyä n. 80h 811120P Diskreetit rakenteet, Yhteenveto 2 Kurssin

Lisätiedot

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Valitse seuraaville säännöille mahdollisimman laajat lähtöjoukot ja sopivat maalijoukot niin, että syntyy kahden muuttujan funktiot (ks. monisteen

Lisätiedot

Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa. väite P(n) on totta kaikille n = 0,1,2,...

Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa. väite P(n) on totta kaikille n = 0,1,2,... Induktiotodistus Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa väite P(n) on totta kaikille n = 0,1,2,.... Tässä väite P(n) riippuu n:n arvosta. Todistuksessa

Lisätiedot

Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten Ratkaisuehdotelma Tehtävä 1 1. Etsi lukujen 4655 ja 12075 suurin yhteinen tekijä ja lausu se kyseisten lukujen lineaarikombinaationa ilman laskimen

Lisätiedot

Tee konseptiin pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Lue ohjeet huolellisesti!

Tee konseptiin pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Lue ohjeet huolellisesti! MAA11 Koe.4.014 Jussi Tyni Tee konseptiin pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Lue ohjeet huolellisesti! A-Osio: Ei saa käyttää laskinta. MAOL saa olla alusta asti käytössä. Maksimissaan

Lisätiedot

Johdatus matemaattiseen päättelyyn (5 op)

Johdatus matemaattiseen päättelyyn (5 op) Johdatus matemaattiseen päättelyyn (5 op) Tero Vedenjuoksu Oulun yliopisto Matemaattisten tieteiden laitos 2014 Johdatus matemaattiseen päättelyyn 2014 Yhteystiedot: Tero Vedenjuoksu tero.vedenjuoksu@oulu.fi

Lisätiedot

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120 Tehtävä 1 : 1 Merkitään jatkossa kirjaimella H kaikkien solmujoukon V sellaisten verkkojen kokoelmaa, joissa on tasan kolme särmää. a) Jokainen verkko G H toteuttaa väitteen E(G) [V]. Toisaalta jokainen

Lisätiedot

Olkoon funktion f määrittelyjoukkona reaalilukuväli (erityistapauksena R). Jos kaikilla määrittelyjoukon luvuilla x 1 ja x 2 on voimassa ehto:

Olkoon funktion f määrittelyjoukkona reaalilukuväli (erityistapauksena R). Jos kaikilla määrittelyjoukon luvuilla x 1 ja x 2 on voimassa ehto: 4 Reaalifunktiot 4. Funktion monotonisuus Olkoon funktion f määrittelyjoukkona reaalilukuväli (erityistapauksena R). Jos kaikilla määrittelyjoukon luvuilla x ja x on voimassa ehto: "jos x < x, niin f (x

Lisätiedot

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx x x x x x x x x Matematiikan johdantokurssi, syksy 08 Harjoitus, ratkaisuista Hanoin tornit -ongelma: Tarkastellaan kolmea pylvästä A, B ja C, joihin voidaan pinota erikokoisia renkaita Lähtötilanteessa

Lisätiedot

Johdatus graafiteoriaan

Johdatus graafiteoriaan Johdatus graafiteoriaan Syksy 2017 Lauri Hella Tampereen yliopisto Luonnontieteiden tiedekunta 62 Luku 2 Yhtenäisyys 2.1 Polku 2.2 Lyhin painotettu polku 2.3 Yhtenäinen graafi 2.4 Komponentti 2.5 Aste

Lisätiedot

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu.

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu. Johdatus yliopistomatematiikkaan Helsingin yliopisto, matematiikan ja tilastotieteen laitos Kurssikoe 23.10.2017 Ohjeita: Vastaa kaikkiin tehtäviin. Ratkaisut voi kirjoittaa samalle konseptiarkille, jos

Lisätiedot

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195 Johdatus yliopistomatematiikkaan JYM, Syksy2015 1/195 Joukko ja alkio Määritelmä Joukko tarkoittaa kokoelmaa olioita, joita sanotaan joukon alkioiksi. Lisäksi vaaditaan, että jokaisesta oliosta on voitava

Lisätiedot

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 5 Ratkaisuehdotukset

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 5 Ratkaisuehdotukset HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 5 Ratkaisuehdotukset 1. Päättele resoluutiolla seuraavista klausuulijoukoista: (a) {{p 0 }, {p 1 }, { p 0, p 2 },

Lisätiedot

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1) Approbatur 3, demo, ratkaisut Sovitaan, että 0 ei ole luonnollinen luku. Tällöin oletusta n 0 ei tarvitse toistaa alla olevissa ratkaisuissa. Se, pidetäänkö nollaa luonnollisena lukuna vai ei, vaihtelee

Lisätiedot

Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos:

Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos: 8 Kanta Tässä luvussa tarkastellaan aliavaruuden virittäjävektoreita, jotka muodostavat lineaarisesti riippumattoman jonon. Merkintöjen helpottamiseksi oletetaan luvussa koko ajan, että W on vektoreiden

Lisätiedot

1. Logiikan ja joukko-opin alkeet

1. Logiikan ja joukko-opin alkeet 1. Logiikan ja joukko-opin alkeet 1.1. Logiikkaa 1. Osoita totuusarvotauluja käyttäen, että implikaatio p q voidaan kirjoittaa muotoon p q, ts. että propositio (p q) ( p q) on identtisesti tosi. 2. Todista

Lisätiedot

joissa on 0 4 oikeata vastausta. Laskimet eivät ole sallittuja.

joissa on 0 4 oikeata vastausta. Laskimet eivät ole sallittuja. ÄÙ ÓÒ Ñ Ø Ñ Ø ÐÔ ÐÙÒ Ð Ù ÐÔ ÐÙÒ Ô ÖÙ Ö Tehtäviä on kahdella sivulla; kuusi ensimmäistä tehtävää on monivalintatehtäviä, joissa on 0 4 oikeata vastausta. Laskimet eivät ole sallittuja. 1. Kauppias on ostanut

Lisätiedot

a b 1 c b n c n

a b 1 c b n c n Algebra Syksy 2007 Harjoitukset 1. Olkoon a Z. Totea, että aina a 0, 1 a, a a ja a a. 2. Olkoot a, b, c, d Z. Todista implikaatiot: a) a b ja c d ac bd, b) a b ja b c a c. 3. Olkoon a b i kaikilla i =

Lisätiedot

Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.

Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden

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

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetyhteenveto, 3. osahuhtikuuta

Lisätiedot

Valitse kuusi tehtävää! Kaikki tehtävät ovat 6 pisteen arvoisia.

Valitse kuusi tehtävää! Kaikki tehtävät ovat 6 pisteen arvoisia. MAA11 Koe 8.4.013 5 5 1. Luvut 6 38 ja 43 4 jaetaan luvulla 17. Osoita, että tällöin jakojäännökset ovat yhtäsuuret. Paljonko tämä jakojäännös on?. a) Tutki onko 101 alkuluku. Esitä tutkimuksesi tueksi

Lisätiedot

Jäännösluokat. Alkupala Aiemmin on tullut sana jäännösluokka vastaan. Tarkastellaan

Jäännösluokat. Alkupala Aiemmin on tullut sana jäännösluokka vastaan. Tarkastellaan Jäännösluokat LUKUTEORIA JA TODIS- TAMINEN, MAA Alkupala Aiemmin on tullut sana jäännösluokka vastaan. Tarkastellaan lukujoukkoja 3k k Z =, 6, 3, 0, 3, 6, 3k + k Z =,,,,, 7, 3k + k Z =,,,,, 8, Osoita,

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A0402 Diskreetin matematiikan perusteet Osa 4: Modulaariaritmetiikka Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Modulaariaritmetiikka Jakoyhtälö Määritelmä 1 Luku

Lisätiedot

! 7! = N! x 8. x x 4 x + 1 = 6.

! 7! = N! x 8. x x 4 x + 1 = 6. 9. 10. 2008 1. Pinnalta punaiseksi maalattu 3 3 3-kuutio jaetaan 27:ksi samankokoiseksi kuutioksi. Mikä osuus 27 pikkukuution kokonaispinta-alasta on punaiseksi maalattu? 2. Positiivisen kokonaisluvun

Lisätiedot

Valitse vain 6 tehtävää! Kaikkiin tehtäviin tarvittavat välivaiheet esille!

Valitse vain 6 tehtävää! Kaikkiin tehtäviin tarvittavat välivaiheet esille! 1. Onko lause ( A B) ( A B) tautologia?. Jaa luvut 16 360 ja 8 65 alkutekijöihin. Määrää myös syt(16 360, 8 65) ja pym(16 360, 8 65). 3. a) Laadi totuustaulu lauseelle ( A B) B. Milloin lause on tosi?

Lisätiedot

4 LUKUJONOT JA SUMMAT

4 LUKUJONOT JA SUMMAT Huippu Kertaus Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty 0.7.08 4 LUKUJONOT JA SUMMAT ALOITA PERUSTEISTA 45A. Määritetään lukujonon (a n ) kolme ensimmäistä jäsentä ja sadas jäsen a 00 sijoittamalla

Lisätiedot

Lineaarinen yhtälöryhmä

Lineaarinen yhtälöryhmä Lineaarinen yhtälöryhmä 1 / 39 Lineaarinen yhtälö Määritelmä 1 Lineaarinen yhtälö on muotoa a 1 x 1 + a 2 x 2 + + a n x n = b, missä a i, b R, i = 1,..., n ovat tunnettuja ja x i R, i = 1,..., n ovat tuntemattomia.

Lisätiedot

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn Johdatus matemaattiseen päättelyyn Maarit Järvenpää Oulun yliopisto Matemaattisten tieteiden laitos Syyslukukausi 2015 1 Merkintöjä 2 Todistamisesta 2 3 Joukko-oppia Tässä luvussa tarkastellaan joukko-opin

Lisätiedot

MS-A010{3,4,5} (ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat

MS-A010{3,4,5} (ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat MS-A010{3,4,5} (ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat Pekka Alestalo, Jarmo Malinen Aalto-yliopisto, Matematiikan ja systeemianalyysin laitos September 13, 2017 Pekka Alestalo,

Lisätiedot

Alkulukujen harmoninen sarja

Alkulukujen harmoninen sarja Alkulukujen harmoninen sarja LuK-tutkielma Markus Horneman Oiskelijanumero:2434548 Matemaattisten tieteiden laitos Oulun ylioisto Syksy 207 Sisältö Johdanto 2 Hyödyllisiä tuloksia ja määritelmiä 3. Alkuluvuista............................

Lisätiedot

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat Pekka Alestalo, Jarmo Malinen Aalto-yliopisto, Matematiikan ja systeemianalyysin laitos 14.9.2016 Pekka Alestalo, Jarmo Malinen

Lisätiedot

j(j 1) = n(n2 1) 3 + (k + 1)k = (k + 1)(k2 k + 3k) 3 = (k + 1)(k2 + 2k + 1 1)

j(j 1) = n(n2 1) 3 + (k + 1)k = (k + 1)(k2 k + 3k) 3 = (k + 1)(k2 + 2k + 1 1) MS-A0401 Diskreetin matematiikan perusteet Tentti ja välikokeiden uusinta 10.11.015 Kirjoita jokaiseen koepaperiin nimesi, opiskelijanumerosi ym. tiedot! Laskimia tai taulukoita ei saa käyttää tässä kokeessa!

Lisätiedot

Matematiikan peruskurssi 2

Matematiikan peruskurssi 2 Matematiikan peruskurssi Tentti, 9..06 Tentin kesto: h. Sallitut apuvälineet: kaavakokoelma ja laskin, joka ei kykene graaseen/symboliseen laskentaan Vastaa seuraavista viidestä tehtävästä neljään. Saat

Lisätiedot

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari Tehtävä 9 : 1 Merkitään kirjaimella G tehtäväpaperin kuvan vasemmanpuoleista verkkoa sekä kirjaimella H tehtäväpaperin kuvan oikeanpuoleista verkkoa. Kuvan perusteella voidaan havaita, että verkko G on

Lisätiedot

802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO

802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO 8038A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 016 Sisältö 1 Irrationaaliluvuista Antiikin lukuja 6.1 Kolmio- neliö- ja tetraedriluvut...................

Lisätiedot

MS-A010{2,3,4,5} (SCI, ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat

MS-A010{2,3,4,5} (SCI, ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat M-A010{2,3,4,5} (CI, ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: arjat Pekka Alestalo, Jarmo Malinen Aalto-yliopisto, Matematiikan ja systeemianalyysin laitos eptember 12, 2018 Pekka

Lisätiedot

Induktiotodistus: Tapaus n = 0 selvä; ol. väite pätee kun n < m.

Induktiotodistus: Tapaus n = 0 selvä; ol. väite pätee kun n < m. Väite: T (n) (a + b)n 2 + a. Induktiotodistus: Tapaus n = 0 selvä; ol. väite pätee kun n < m. Huomaa että funktion x x 2 + (m 1 x) 2 kuvaaja on ylöspäin aukeava paraabeli, joten funktio saavuttaa suurimman

Lisätiedot

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset 1. Etsi lauseen (p 0 (p 1 p 0 )) p 1 kanssa loogisesti ekvivalentti lause joka on (a) disjunktiivisessa

Lisätiedot

Kirjoita käyttäen propositiosymboleita, konnektiiveja ja sulkeita propositiologiikan lauseiksi:

Kirjoita käyttäen propositiosymboleita, konnektiiveja ja sulkeita propositiologiikan lauseiksi: 1 Logiikan paja, kevät 2011 Ratkaisut viikolle I Thomas Vikberg Merkitään propopositiosymboleilla p i seuraavia atomilauseita: p 0 : vettä sataa p 1 : tänään on perjantai p 2 : olen myöhässä Valitaan konnektiiveiksi,

Lisätiedot

Johdatus matematiikkaan

Johdatus matematiikkaan Johdatus matematiikkaan Luento 4 Mikko Salo 4.9.2017 Sisältö 1. Rationaali ja irrationaaliluvut 2. Induktiotodistus Rationaaliluvut Määritelmä Reaaliluku x on rationaaliluku, jos x = m n kokonaisluvuille

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Tuntitehtävät 1-2 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 5- loppuviikon harjoituksissa. Kotitehtävät 3-4 tarkastetaan loppuviikon

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

R : renkaan R kääntyvien alkioiden joukko; R kertolaskulla varustettuna on

R : renkaan R kääntyvien alkioiden joukko; R kertolaskulla varustettuna on 0. Kertausta ja täydennystä Kurssille Äärelliset kunnat tarvittavat esitiedot löytyvät Algebran kurssista [Alg]. Hyödyksi voivat myös olla (vaikka eivät välttämättömiä) Lukuteorian alkeet [LTA] ja Salakirjoitukset

Lisätiedot

Vaihtoehtoinen tapa määritellä funktioita f : N R on

Vaihtoehtoinen tapa määritellä funktioita f : N R on Rekursio Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on käyttää rekursiota: 1 (Alkuarvot) Ilmoitetaan funktion arvot

Lisätiedot

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen! Matematiikan johdantokurssi Kertausharjoitustehtävien ratkaisuja/vastauksia/vihjeitä. Osoita todeksi logiikan lauseille seuraava: P Q (P Q). Ratkaisuohje. Väite tarkoittaa, että johdetut lauseet P Q ja

Lisätiedot

Vektoreiden virittämä aliavaruus

Vektoreiden virittämä aliavaruus Vektoreiden virittämä aliavaruus Määritelmä Oletetaan, että v 1, v 2,... v k R n. Näiden vektoreiden virittämä aliavaruus span( v 1, v 2,... v k ) tarkoittaa kyseisten vektoreiden kaikkien lineaarikombinaatioiden

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 6 Sarjojen suppeneminen Kiinnostuksen kohteena on edelleen sarja a k = a + a 2 + a 3 + a 4 +... k= Tämä summa on mahdollisesti äärellisenä olemassa, jolloin sanotaan

Lisätiedot

Lukion matematiikkakilpailun alkukilpailu 2015

Lukion matematiikkakilpailun alkukilpailu 2015 Lukion matematiikkakilpailun alkukilpailu 015 Avoimen sarjan tehtävät ja niiden ratkaisuja 1. Olkoot a ja b peräkkäisiä kokonaislukuja, c = ab ja d = a + b + c. a) Osoita, että d on kokonaisluku. b) Mitä

Lisätiedot

LOGIIKKA johdantoa

LOGIIKKA johdantoa LOGIIKKA johdantoa LUKUTEORIA JA TO- DISTAMINEN, MAA11 Logiikan tehtävä: Logiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat päättelyt

Lisätiedot

Rekursio. Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on

Rekursio. Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on Rekursio Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on käyttää rekursiota: Rekursio Funktio f : N R määritellään yleensä

Lisätiedot

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0. Vapaus Määritelmä Oletetaan, että v 1, v 2,..., v k R n, missä n {1, 2,... }. Vektorijono ( v 1, v 2,..., v k ) on vapaa eli lineaarisesti riippumaton, jos seuraava ehto pätee: jos c 1 v 1 + c 2 v 2 +

Lisätiedot

(mod 71), 2 1(mod 71) (3 ) 3 (2 ) 2

(mod 71), 2 1(mod 71) (3 ) 3 (2 ) 2 46. Väite: Luku 3 1 704 71 on jaollinen luvulla 71. Todistus: 1704 71 70 4+ 4 70 3+ 31 70 4 4 70 3 31 70 70 3 3 3 1(mod 71), 1(mod 71) 1 3 4 4 1 3 3 31 4 31 (3 ) 3 ( ) 36 40 67(mod 71) Luku 3 1 704 71

Lisätiedot

Yhtäpitävyys. Aikaisemmin osoitettiin, että n on parillinen (oletus) n 2 on parillinen (väite).

Yhtäpitävyys. Aikaisemmin osoitettiin, että n on parillinen (oletus) n 2 on parillinen (väite). Yhtäpitävyys Aikaisemmin osoitettiin, että n on parillinen (oletus) n 2 on parillinen (väite). Toisaalta ollaan osoitettu, että n 2 on parillinen (oletus) n on parillinen (väite). Nämä kaksi väitelausetta

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä,

Lisätiedot

1 Logiikkaa. 1.1 Logiikan symbolit

1 Logiikkaa. 1.1 Logiikan symbolit 1 Logiikkaa Tieteessä ja jokapäiväisessä elämässä joudutaan tekemään päätelmiä. Logiikassa tutkimuskohteena on juuri päättelyt. Sen sijaan päätelmien sisältöön ei niinkäään kiinnitetä huomiota. Päätelmät

Lisätiedot