Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.
|
|
- Auvo Nurmi
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 2 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua. 1. Merkitään A = {x R cos x = e x } ja B = {x R (e x cos x)(x 7 +e 2πx cos x) = 0}. Osoita, että A B. Oletetaan, että b A. Tällöin b R jolle pätee cos b = e b. Näin ollen e b cos b = 0 ja edelleen (e b cos b)(b 7 + e 2πb cos b) = 0. Näin ollen b B. Tämä päättely osoittaa, että A B. 2. Tarkastellaan väitettä "jos A B ja B / C, niin A C ". Osoita, että väite ei päde yleisesti keksimällä esimerkki joukoista A, B ja C joille väite ei päde. Keksi myös esimerkki joukoista A, B ja C joille väite pätee. Olkoon A = C = {1}, B = {{1}}. Tällöin A B ja B / C, mutta A C ei päde, sillä A C. Väite ei siis päde näillä joukoilla. Olkoon A = {1}, B = {{1}} ja C = {2}. Tällöin A B, B / C ja myös A C. Väite siis pätee näillä joukoilla.. Osoita induktiolla, että kaikilla n N pätee Alkuaskel: Olkoon n = 0. Tällöin n 2 i = 2(2 n 1 i=0 2 ). joten väitee pätee kun n = 0. n 2 i = 2 0 = 1 = 2(1 1 i=0 2 ) = 2( ) = 2(2n 1 2 ), Induktio-askel: oletetaan, että k N ja Tällöin k+1 i=0 2 i = k i=0 k 2 i = 2(2 k 1 i=0 2 ) 2 i +2 k+1 i.o. = 2(2 k 1 2 )+2k+1 = 2(2 k 1 2 )+2 2k = 2(2 k k ) = 2(2 k ), joten väite pätee luvulle k + 1. Johtopäätös: Induktioperiatteen nojalla väite pätee kaikilla n N.
2 4. Osoita induktiolla, että (n n)/ on kokonaisluku kaikilla n N. Alkuaskel: Olkoon n = 0. Tällöin joten väitee pätee kun n = 0. (n n)/ = (0 0)/ = 0/ = 0 Z, Induktio-askel: oletetaan, että k N ja että on kokonaisluku. Nyt (k + 1) (k + 1) (k k)/ = k + k 2 + k + 1 k 1 Induktio-oletuksen nojalla k k väite pätee luvulle k + 1. = k k + k 2 + k Z, joten myös k k Johtopäätös: Induktioperiatteen nojalla väite pätee kaikilla n N. Tehtäväsarja II Seuraavat tehtävät liittyvät alkion ja osajoukon käsitteisiin = k k +k 2 +k. + k 2 + k Z. Näin ollen 5. Olkoon A = {1, {1, 6}, 4, {, 5}, {6}}. Mitkä seuraavista väitteistä ovat totta? Mitkä ovat epätosia? Muista perustella omin sanoin. (a) A (b) 4 A (c) {4} A (d) {1, 4, {6}} A (e) A (f) 6 A (g) {6} A (h) {{6}} A. (a) Epätosi, sillä ei ole A:n alkio. (b) Tosi, sillä 4 on A:n alkio. (c) Tosi, sillä 4 on A:n alkio. (d) Tosi, sillä 1,4 ja {6} ovat A:n alkioita. (e) Tosi, sillä on kaikkien joukkojen osajoukko. (f) Epätosi, sillä 6 ei ole A:n alkio. (g) Epätosi, sillä 6 ei ole A:n alkio. (h) Tosi, sillä {6} on A:n alkio. 6. Luettele joukon A kaikki osajoukot, jos (a) A = {0, 1} (b) A = {, 0, 1} (a) Osajoukot ovat:, {0}, {1} sekä A. (b) Osajoukot ovat:, { }, {0}, {1}, {, 0}, {, 1}, {0, 1} sekä A. Seuraavissa tehtävissä harjoitellaan induktiotodistusta ja summamerkinnän käyttöä. Luentokalvoista 24 voi olla apua.
3 7. Osoita induktiolla, että 4 n + 6n 1 on jaollinen luvulla 9 kaikilla n N. Alkuaskel: Olkoon n = 0. Tällöin joten väitee pätee kun n = 0. 4 n + 6n 1 = = = 0 = 9 0, Induktio-askel: oletetaan, että k N ja että 4 k + 6k 1 on jaollinen luvulla 9. Tällöin siis 4 k + 6k 1 = 9b, jollakin b Z. Tällöin 4 k+1 +6(k+1) 1 = 4 4 k +6k+5 i.o = 4 (9b 6k+1)+6k+5 = 9 4b 18k+9 = 9(4b 2k+1). Nyt, koska 4b 2k + 1 Z, niin väite pätee luvulla k + 1. Johtopäätös: Induktioperiatteen nojalla väite pätee kaikilla n N. 8. Laske seuraavat summat: (i) 4 i=1 1 i + (ii) 6 ( 1) m m 2 m= (iii) 100 n=1 99 n 2 + ( k 2 ) k= (i) 4 i=1 1 i + = = (ii) 6 ( 1) m m 2 = ( 1) 2 + ( 1) ( 1) ( 1) = = 18 m=. (iii) Tehtäväsarja III 100 n=1 n k= ( k 2 ) = = = Seuraavat tehtävät liittyvät perusjoukon ja komplementin käsitteisiin. Luentokalvoista voi olla apua. 9. Olkoon X = { n N n < 10 }. Tarkastellaan joukon X osajoukkoja A = {1, 2, } ja B = {2,, 4, 5}. Määritä joukot (a) A (b) B (c) (A B) (d) A B. (a) A = X \ A = {0, 4, 5, 6, 7, 8, 9}. (b) B = X \ B = {0, 1, 6, 7, 8, 9}. (c) (A B) = {1, 2,, 4, 5} = {0, 6, 7, 8, 9} (d) A B = {0, 4, 5, 6, 7, 8, 9} {0, 1, 6, 7, 8, 9} = {0, 6, 7, 8, 9}
4 10. Tarkastellaan joukon Z osajoukkoja A = {1, 2, } ja B = {2,, 4, 5}. Määritä joukot (a) A (b) B (c) (A B) (d) A B. (a) A = Z \ A = {..., 2, 1, 0, 4, 5, 6,...}. (b) B = Z \ B = {..., 2, 1, 0, 1, 6, 7, 8,...}. (c) (A B) = {2, } = {..., 2, 1, 0, 1, 4, 5, 6,...} (d) A B = {..., 2, 1, 0, 1, 4, 5, 6,...} 11. Olkoon A = {1, 2, 5, 7}. Määritä joukko A tai perustele, miksi sitä ei voi määrittää. Tehtävässä ei ole mainittu minkä joukon suhteen komplementti otetaan, joten sitä ei voi määrittää. Tehtäväsarja IV Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista voi olla apua. 12. Tutki Vennin kaavioiden avulla, kumpi seuraavista yhtälöistä näyttäisi pätevän yleisesti: A (B C) = (A B) C A (B C) = (A B) (A C). B A C A (B C) B A C (A B) C B A C
5 (A B) (A C) Jälkimmäinen yhtälö näyttäisi siis kuvien perusteella pätevän yleisesti. 1. Osoita vastaesimerkin avulla, että toinen tehtävän 12 yhtälöistä ei päde yleisesti. Ensimmäinen yhtälö ei päde kun esimerkiksi A = B = ja C = {1}. Tällöin A (B C) = ( {1}) = {1} = ( ) {1} = (A B) C). 14. Osoita, että toinen tehtävän 6 yhtälöistä pätee yleisesti 1. Oletetaan ensin, että alkio a A (B C). Siis leikkauksen määritelmän mukaan a A ja a B C. Nyt siis yhdisteen määritelmän nojalla a B tai a C. Käydään molemmat tapaukset läpi. Jos a B, niin voidaan päätellä, että a A B, sillä tiedetään, että a A. Sama päättely voidaan tehdä tapauksessa a C. Siis nyt a (A B) (A C). Päätellään sitten sisältyminen vielä toiseen suuntaan. Oletetaan siis, että alkio a (A B) (A C). Siis nyt yhdisteen määritelmän nojalla joko a A B tai a A C. Tarkastellaan molemmat tapaukset erikseen: Oletetaan, että a A B. Siis nyt a A ja a B (leikkauksen määritelmä). Toisaalta tällöin a A ja a B C. Siis a A (B C). Oletetaan, että a A C. Siis nyt a A ja a C (leikkauksen määritelmä). Toisaalta tällöin a A ja a B C. Siis a A (B C). Molemmat päättelyt pätivät mille tahansa joukkojen alkioille, joten päättelyt olivat päteviä. Siis mikä tahansa joukon A (B C) alkio kuuluu joukkoon (A B) (A C) ja toisinpäin. Tehtäväsarja V Seuraavat tehtävät liittyvät komplementtiin. 15. Oletetaan, että X on joukko ja A X. (a) Oletetaan, että X = {z N z < } ja A = {x X x 2 10}. Määritä A. (b) Oletetaan, että A = { 45, 0, 5} ja A = {, 6}. Määritä X. (c) Oletetaan, että X = {π, 19, {0, 1}} ja A = {{0, 1}}. Määritä A. (a) Huomataan, että X = {0, 1, 2,, 4, 5, 6, 7, 8} ja A = {4, 5, 6, 7, 8}. Näin ollen A = {0, 1, 2, }. (b) X = A A = { 45, 0,, 5, 6}. (c) A = {π, 19}. 16. Oletetaan, että X on joukko ja A X. Määritä A kun (a) X = N ja A = {x X x = 0 tai x = 1} (b) X = N ja A = {x X x 0 tai x 1} 1 Muista, että joukkojen identtisyys saadaan todistettua päättelemällä sisältyminen molempiin suuntiin.
6 Vihje: pohdi ensin mikä joukko A on. (a) Tässä A = {0, 1}, joten A = {2,, 4,...}. (b) Tässä A = N, joten A =. 17. Sama kuin edellinen tehtävä mutta X = R. (a) A = {0, 1}, joten A = R \ {0, 1}. (b) A = R, joten A =. Tehtäväsarja VI Seuraavissa tehtävissä harjoitellaan "jos..., niin...-tyyppisten väitteiden todistamista sekä väitteen kumoamista vastaesimerkin avulla. Luentojen kalvoista 44 ja 60 voi olla apua. 18. Todista tai kumoa seuraavat väitteet: (a) Jos m, n Z, niin mn > m(n 1) (b) Jos a, b R, niin a 2 + b 2 ab. Vihje b-kohtaan paperin alalaidassa 2. (a) Väite ei päde. Vastaesimerkki: Oletetaan, että m = n = 0. Tällöin m, n Z, mutta mn = 0 0 = m(n 1). (b) Väite pätee. Oletetaan, että a, b R. Tällöin (a b) 2 0, ts. a 2 2ab + b 2 0, eli a 2 + b 2 2ab. Tästä seuraa, että a2 +b 2 2 ab, joten a 2 + b 2 a2 + b 2 2 ab, missä ensimmäinen epäyhtälö pätee koska a 2 + b Oletetaan, että a, b R missä a >. Osoita, että jos ab + b < 0, niin b < 0. Päiteekö väite jos oletetaankin, että a? Oletetaan, että ab + b < 0, ts. (a + ) b < 0. Nyt kahden reaaliluvun tulo on negatiivinen jos ja vain jos niillä on eri etumerkki. Nyt a + > + = 0 tehtävänannon oletuksen nojalla (a > ). Näin ollen täytyy päteä b < 0. Väite ei päde jos a <, sillä tällöin a + < + = 0. Tällöin b > 0, joten väite ei päde. 20. Oletetaan, että A, B ja C ovat joukkoja. Osoita, että jos (A \ B) C =, niin A C B. Oletetaan, että (A \ B) C =. Osoitetaan, että A C B. Oletetaan, että x A C. Tällöin x A ja x C. Nyt, jos x / B, niin x A ja x / B sekä x C. Näin ollen x (A \ B) C. Tällöin siis (A \ B) C, joka on ristiriidassa oletuksen kanssa. Näin ollen x B. Tee jompikumpi tehtäväsarjoista Kompleksiluvut ja Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa. 2 (a b) 2
7 Kompleksiluvut 21. Määritä kompleksiluvun z = i(1 i) (1 i) 2 (a) reaaliosa Re z (b) imaginaariosa Im z (c) itseisarvo eli moduli z (d) liittoluku z. Sievennetään: z = i(1 i) (1 i) 2 = i i 2 (1 2i + i 2 ) = i i + 1 = 1 + i. Näin ollen (a) Re z = 1, (b) Im z =, (c) z = = 10 ja (d) z = 1 i. 22. (a) Oletetaan, että z, w C. Osoita, että z + w = z + w. (b) Millainen kuvio muodostuu kompleksitasoon niistä pisteistä z, jotka toteuttavat yhtälön z i = z. (a) Koska z, w C, niin voidaan merkitä z = a+bi ja w = x+yi, missä a, b, x, y R. Tällöin ja z + w = (a + bi) + (x + yi) = (a + x) + (b + y)i = (a + x) (b + y)i z + w = (a + bi) + (x + yi) = (a bi) + (x yi) = (a + x) (b + y)i, mistä nähdään, että z + w = z + w. Ratkaisu 2: Koska z, w C, niin voidaan merkitä z = a+bi ja w = x+yi, missä a, b, x, y R. Tällöin z + w = (a + bi) + (x + yi) = (a + x) + (b + y)i = (a + x) (b + y)i = (a bi) + (x yi) = (a + bi) + (x + yi) = z + w. (b) Koska z C, niin voidaan merkitä z = a + bi, missä a, b R. Tällöin z i = a + bi i = (a + 1) + (b + 2)i = (a + 1) 2 + (b + 2) 2 = a 2 + 2a b 2 + 4b + 4 = a 2 + b 2 + 2a + 4b + 5 ja z = a + bi = (a ) + bi = (a ) 2 + b 2 = a 2 6a b 2 = a 2 + b 2 6a + 9 Saadaan z i = z a 2 + b 2 + 2a + 4b + 5 = a 2 + b 2 6a + 9 a 2 + b 2 + 2a + 4b + 5 = a 2 + b 2 6a + 9 2a + 4b + 5 = 6a + 9 b = 2a + 1. Yhtälön toteuttavat pisteet muodostavat siis suoran b = 2a + 1.
8 2. Määritä ne reaaliluvut a, joilla lauseke (2 + ai)(a i) + (a + i)(a i) on (a) reaalinen. (b) puhtaasti imaginaarinen. Sievennetään: (2 + ai)(a i) + (a+i)(a i) = 2a 6i+a 2 i ai 2 + a 2 i 2 = a 2 + 5a+1+(a 2 6)i (a) Lauseke on reaalinen kun a 2 6 = 0, eli kun a = ± 6. (b) Lauseke on puhtaasti imaginaarinen kun a 2 + 5a + 1 = 0 ja a 2 6 0, eli kun a = 5 ± Oletetaan, että z, w C. Osoita, että zw = z w. Koska z, w C, niin voidaan merkitä z = a + bi ja w = x + yi, missä a, b, x, y R. Tällöin zw = (a + bi)(x + yi) = ax + ayi + bxi by = ax by + (ay + bx)i = (ax by) (ay + bx)i ja z w = (a + bi) (x + yi) = (a bi)(x yi) = (ax by) (ay + bx)i, mistä nähdään, että zw = z w. 25. Laske (eli sievennä muotoon a + bi, missä a, b R). (a) (4i )(6 2i) (b) i 7 (c) (1 + 6i) 1. (a) (4i )(6 2i) = 24i 8i i = i = 10 0i (b) (c) i 7 = (i 2 ) i = ( 1) i = i (1 + 6i) 1 = i = 1 6i (1 + 6i)(1 6i) = 1 6i 1 6i = 1 6i 2 7 Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa = i 26. Tulkitse seuraavat luonnollisia lukuja koskevat väitteet suomen kielelle ja päättele, ovatko ne tosia vai epätosia. (a) x y(y 2x = 0) (b) y x(y 2x = 0) (c) x y(x 2y = 0) (d) x(x < 10 y(y < x y < 9)).
9 (a) Kaikilla luonnollisilla luvuilla x on olemassa luonnollinen luku y siten, että y 2x = 0. Väite pätee: olkoon x N. Valitsemalla y = 2x huomataan, että y N, ja y 2x = 2x 2x = 0. (b) On olemassa y N siten, että kaikilla x N pätee y 2x = 0. Väite ei päde: oletetaan, että väite pätee jollakin luvulla y N. Tällöin yhtälö pätee luvuilla x = 0 ja x = 1, ts. y 0 = 0 ja y 2 = 0. Tästä seuraa, että y = 0 ja y = 2 mikä ei voi pitää paikkansa. (c) Kaikilla x N on olemassa y N siten, että x 2y = 0. Väite ei pidä paikkansa: Jos x = 1, niin tällöin ainut luku y joka toteuttaa yhtälön x 2y = 0 on y = 1 2, joka ei ole luonnollinen luku. (d) Kaikilla x N pätee, että jos x < 10, niin kaikilla y N pätee väite: "jos y < x, niin y < 9". Väite pitää paikkansa: jos x < 10, niin silloin x 9. Tällöin jos y < x, niin y < Tässä tehtävässä K(x) tarkoittaa "x tekee kotitehtäviä"ja L(x) tarkoittaa "x lukee luentomuistiinpanoja". Kirjoita seuraavat kurssin opiskelijoita koskevat väitteet kvanttorien ja loogisten konnektiivien avulla. (a) Joku tekee kotitehtäviä ja lukee luentomuistiinpanoja. (b) Kukaan ei tee kotitehtäviä eikä lue luentomuistiinpanoja. (c) Kaikki tekee kotitehtäviä mutta kukaan ei lue luentomuistiinpanoja. (d) Kaikki ne jotka eivät lue muistiinpanoja eivät myöskään tee kotitehtäviä. (a) x(k(x) L(x)). (b) x( K(x) L(x)) (c) x(k(x) L(x)) (d) x( L(x) K(x)) 28. Muodosta seuraavien väitteiden negaation kanssa loogisesti ekvivalentit väitteet, joissa ei esiinny negaatiosymbolia. Muita konnektiiveja sekä symboleita ja / saa käyttää. Kumpi on tosi, väite vai sen negaatio? (a) 0 N 1 R (b) 1/2 N 1/2 Q (c) 1/2 N 1/2 Q (d) 2 N π Q (a) Negaatio: 0 / N 1 / R. Alkuperäinen väite on tosi, sillä 0 N on tosi väite. (b) Negaatio: 1/2 / N 1/2 / Q. Negaatio on tosi, sillä 1/2 / N on tosi väite. (c) Negaatio: 1/2 N 1/2 / Q. Alkuperäinen väite on tosi, sillä 1/2 N on epätosi väite, jolloin implikaatio on tosi. (d) Negaatio: 2 N π / Q. Alkuperäinen väite on tosi, sillä ekvivalenssin molemmilla puolilla olevat väitteet ovat epätosia, jolloin ekvivalenssi on tosi.
10 29. Tämän tehtävän väitteet koskevat kokonaislukuja. Muodosta niiden negaatioiden kanssa loogisesti ekvivalentit väitteet, joissa ei esiinny negaatiosymbolia. Kumpi on tosi, väite vai sen negaatio? (a) x( x > 0) (b) x(x = 1 x < 0) (c) x y(xy = 1 x = 0) (d) x y(x y = 0) (a) Negaatio: x( x 0). Negaatio on tosi, sillä sulkujen sisällä oleva väite on tosi kun x = 0. (b) Negaatio: x(x = 1 x 0). Alkuperäinen väite on tosi, sillä arvolle x = 0 väite x = 1 ei päde jolloin implikaatio sulkujen sisällä on tosi. (c) Negaatio: x y(xy 1 x 0). Alkuperäinen väite on tosi, sillä sulkujen sisällä oleva väite on tosi kun x = 0 ja kun x 0, niin valitsemalla y = 1/x huomataan, että väite on myös tällöin tosi. (d) Negaatio: x y(x y 0). Negaatio on tosi, sillä kaikilla x Z voidaan valita esim. y = x 1, jolloin x y = x (x 1) = Tässä tehtävässä T(x, y) tarkoittaa "x tuntee y:n". Kirjoita seuraavat kurssin opiskelijoita koskevat väitteet kvanttorien ja loogisten konnektiivien avulla (tarvitset ehkä myös merkkiä ). (a) Kaikki opiskelijat tuntevat jonkun opiskelijan. (b) Kukaan opiskelija ei tunne kaikkia opiskelijoita. (c) Joku opiskelijoista ei tunne ketään muuta opiskelijaa. (d) Kaksi eri opiskelijaa tuntevat kaikki opiskelijat. (a) x y(t(x, y)). (b) x y( T(x, y)). (c) x y(x y T(x, y)) (d) x y(x y z(t(x, z) T(y, z))
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ätiedot1. 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ätiedotb) 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ätiedotKurssikoe 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ätiedotHY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 5 Ratkaisuehdotuksia
HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 015 Harjoitus 5 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan väitteiden todistamista tai kumoamista vastaesimerkin
Lisätiedot(a) Kyllä. Jokainen lähtöjoukon alkio kuvautuu täsmälleen yhteen maalijoukon alkioon.
HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 015 Harjoitus 4 Ratkaisuehdotuksia Tehtäväsarja I Seuraavat tehtävät liittyvät kuvauksiin. 1. Merkitään X = {1,,, 4}. Ovatko seuraavat säännöt
LisätiedotLoogiset 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ätiedotDiskreetin 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ätiedotJokaisen 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ätiedotRatkaisu: 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ätiedotMS-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ätiedota) z 1 + z 2, b) z 1 z 2, c) z 1 z 2, d) z 1 z 2 = 4+10i 4 = 10i 5 = 2i. 4 ( 1)
Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Osoita, että kompleksilukujen yhteenlasku määriteltynä tasopisteiden kautta koordinaateittain on liitännäinen, so. z + (z + z ) = (z + z )
LisätiedotEsitetää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ätiedotJohdatus 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ätiedotJohdatus yliopistomatematiikkaan. JYM, Syksy /197
Johdatus yliopistomatematiikkaan JYM, Syksy 2014 1/197 Joukko ja alkio Määritelmä Joukko tarkoittaa kokoelmaa olioita, joita sanotaan joukon alkioiksi. Lisäksi vaaditaan, että jokaisesta oliosta on voitava
Lisätiedot(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ätiedot4 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ätiedotNimitys 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ätiedotJohdatus 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-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ätiedotKOMPLEKSILUVUT 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ätiedotMatematiikan 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ätiedotTodistusmenetelmiä 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ätiedotDiskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg
Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. (14.3-18.3) Jeremias Berg 1. Luettele kaikki seuraavien joukkojen alkiot: (a) {x Z : x 3} (b) {x N : x > 12 x < 7} (c) {x N : 1 x 7} Ratkaisu:
LisätiedotMatematiikan tukikurssi, kurssikerta 2
Matematiikan tukikurssi kurssikerta 1 Relaatioista Oletetaan kaksi alkiota a ja b. Näistä kumpikin kuuluu johonkin tiettyyn joukkoon mahdollisesti ne kuuluvat eri joukkoihin; merkitään a A ja b B. Voidaan
LisätiedotMatematiikassa 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ätiedotMiten osoitetaan joukot samoiksi?
Miten osoitetaan joukot samoiksi? Määritelmä 1 Joukot A ja B ovat samat, jos A B ja B A. Tällöin merkitään A = B. Kun todistetaan, että A = B, on päättelyssä kaksi vaihetta: (i) osoitetaan, että A B, ts.
LisätiedotTämän luvun tarkoituksena on antaa perustaidot kompleksiluvuilla laskemiseen sekä niiden geometriseen tulkintaan. { (a, b) a, b œ R }
7 Kompleksiluvut Tämän luvun tarkoituksena on antaa perustaidot kompleksiluvuilla laskemiseen sekä niiden geometriseen tulkintaan. 7.1 Kompleksilukujen määritelmä Määritelmä 7.1.1. Kompleksilukujen joukko
LisätiedotTestaa 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ätiedotAlgebra. 1. Ovatko alla olevat väittämät tosia? Perustele tai anna vastaesimerkki. 2. Laske. a) Luku 2 on luonnollinen luku.
Algebra 1. Ovatko alla olevat väittämät tosia? Perustele tai anna vastaesimerkki. a) Luku on luonnollinen luku. b) Z c) Luvut 5 6 ja 7 8 ovat rationaalilukuja, mutta luvut ja π eivät. d) sin(45 ) R e)
Lisätiedot2. Minkä joukon määrittelee kaava P 0 (x 0 ) P 1 (x 0 ) mallissa M = ({0, 1, 2, 3}, P M 0, P M 1 ), kun P M 0 = {0, 1} ja P M 1 = {1, 2}?
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan II, syksy 2018 Harjoitus 4 Ratkaisuehdotukset 1. Mitkä muuttujat esiintyvät vapaina kaavassa x 2 ( x 0 R 0 (x 1, x 2 ) ( x 3 R 0 (x 3, x 0
LisätiedotKurssikoe 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ätiedota 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ätiedotMatematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 1 Määrittelyjoukoista Tarkastellaan funktiota, jonka määrittelevä yhtälö on f(x) = x. Jos funktion lähtöjoukoksi määrittelee vaikkapa suljetun välin [0, 1], on funktio
Lisätiedotmissä 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ätiedotRatkaisu: 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ätiedotApprobatur 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ätiedotJohdatus 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ätiedotJohdatus matemaattiseen päättelyyn
Johdatus matemaattiseen päättelyyn Oulun yliopisto Matemaattisten tieteiden laitos 01 Tero Vedenjuoksu Sisältö 1 Johdanto 3 Esitietoja ja merkintöjä 4 3 Todistamisesta 5 3.1 Suora todistus.............................
LisätiedotInsinöörimatematiikka A
Insinöörimatematiikka A Demonstraatio 3, 3.9.04 Tehtävissä 4 tulee käyttää Gentzenin järjestelmää kaavojen johtamiseen. Johda kaava φ (φ ) tyhjästä oletusjoukosta. ) φ ) φ φ 3) φ 4) φ (E ) (E ) (I, ) (I,
LisätiedotHY / 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ätiedotJohdatus 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ätiedotSekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä
Sekalaiset tehtävät, 11. syyskuuta 005, sivu 1 / 13 Tehtäviä Tehtävä 1. Johda toiseen asteen yhtälön ax + bx + c = 0, a 0 ratkaisukaava. Tehtävä. Määrittele joukon A R pienin yläraja sup A ja suurin alaraja
LisätiedotEnsimmäinen induktioperiaate
Ensimmäinen induktioperiaate Olkoon P(n) luonnollisilla luvuilla määritelty predikaatti. (P(n) voidaan lukea luvulla n on ominaisuus P.) Todistettava, että P(n) on tosi jokaisella n N. ( Kaikilla luonnollisilla
LisätiedotEnsimmäinen induktioperiaate
1 Ensimmäinen induktioperiaate Olkoon P(n) luonnollisilla luvuilla määritelty predikaatti. (P(n) voidaan lukea luvulla n on ominaisuus P.) Todistettava, että P(n) on tosi jokaisella n N. ( Kaikilla luonnollisilla
LisätiedotHY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo
HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina 10.8.2015 klo 16.15. Tehtäväsarja I Tutustu lukuun 15, jossa vektoriavaruuden
LisätiedotRatkaisu: (b) A = x 0 (R(x 0 ) x 1 ( Q(x 1 ) (S(x 0, x 1 ) S(x 1, x 1 )))).
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 3 Ratkaisuehdotukset 1. Palataan Partakylään. Olkoon P partatietokanta ja M tästä saatu malli kuten Harjoitusten 1
LisätiedotPredikaattilogiikkaa
Predikaattilogiikkaa UKUTEORIA JA TO- DISTAMINEN, MAA11 Kertausta ogiikan tehtävä: ogiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat
Lisätiedot1. 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ätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 8. syyskuuta 2016 Sisällys a https://tim.jyu.fi/view/kurssit/tie/ tiea241/2016/videoiden%20hakemisto Matemaattisen
LisätiedotTehtä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ätiedotHY / 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ätiedotPikapaketti logiikkaan
Pikapaketti logiikkaan Tämän oppimateriaalin tarkoituksena on tutustua pikaisesti matemaattiseen logiikkaan. Oppimateriaalin asioita tarvitaan projektin tekemisessä. Kiinnostuneet voivat lukea lisää myös
Lisätiedoty z = (x, y) Kuva 1: Euklidinen taso R 2
Kompleksiluvut. Määritelmä Tarkastellaan euklidista tasoa R = {(, y), y R}. y y z = (, y) R Kuva : Euklidinen taso R Suorakulmaisessa koordinaatistossa on -akseli ja y-akseli. Luvut ja y ovat pisteen z
LisätiedotJohdatus matematiikkaan
Johdatus matematiikkaan Luento 6 Mikko Salo 6.9.2017 Sisältö 1. Kompleksitaso 2. Joukko-oppia Kompleksiluvut Edellisellä luennolla huomattiin, että toisen asteen yhtälö ratkeaa aina, jos ratkaisujen annetaan
Lisätiedot= 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ätiedotVastaoletuksen muodostaminen
Vastaoletuksen muodostaminen Vastaoletus (Antiteesi) on väitteen negaatio. Sitä muodostettaessa on mietittävä, mitä tarkoittaa, että väite ei ole totta. Väite ja vastaoletus yhdessä sisältävät kaikki mahdolliset
LisätiedotKompleksiluvut., 15. kesäkuuta /57
Kompleksiluvut, 15. kesäkuuta 2017 1/57 Miksi kompleksilukuja? Reaaliluvut lukusuoran pisteet: Tiedetään, että 7 1 0 x 2 = 0 x = 0 1 7 x 2 = 1 x = 1 x = 1 x 2 = 7 x = 7 x = 7 x 2 = 1 ei ratkaisua reaalilukujen
LisätiedotMatemaattisen analyysin tukikurssi. 1. Kurssikerta ( )
Matemaattisen analyysin tukikurssi 1. Kurssikerta (16.9.2019) Yleistä Tukikurssista - 1. periodi: maanantaisin klo 14:15-15:45 huoneessa SH2 yht. 5 kertaa. Tenttiviikolla ei tukikurssia. 2. periodin ajat
LisätiedotJohdatus 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ätiedotJohdatus 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ätiedotDiskreetin 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ätiedot811120P 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ätiedotYhtä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ätiedotJohdatus matematiikkaan
Johdatus matematiikkaan Luento 8 Mikko Salo 13.9.2017 Sisältö 1. Kertausta Kurssin suorittaminen Kurssi suoritetaan lopputentillä (20.9. tai 4.10.). Arvostelu hyväksytty/hylätty. Tentissä on aikaa 4 h,
LisätiedotInsinöörimatematiikka IA
Isiöörimatematiikka IA Harjoitustehtäviä. Selvitä oko propositio ( p q r ( p q r kotradiktio. Ratkaisu: Kirjoitetaa totuustaulukko: p q r ( p q r p q r ( p q r ( p q r 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
LisätiedotLOGIIKKA 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ätiedotDiskreetin matematiikan perusteet Malliratkaisut 2 / vko 38
Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38 Tuntitehtävät 11-12 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 15-16 loppuviikon harjoituksissa. Kotitehtävät 13-14 tarkastetaan loppuviikon
Lisätiedotmissä 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ätiedotMatematiikan 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ätiedot1. Otetaan perusjoukoksi X := {0, 1, 2, 3, 4, 5, 6, 7}. Piirrä seuraaville kolmelle joukolle Venn-diagrammi ja asettele alkiot siihen.
Joukko-oppia Matematiikan mestariluokka, syksy 2010 Harjoitus 1, vastaukset 20.2.2010 1. Otetaan perusjoukoksi X := {0, 1, 2, 3, 4, 5, 6, 7}. Piirrä seuraaville kolmelle joukolle Venn-diagrammi asettele
LisätiedotMAT-13510 Laaja Matematiikka 1U. Hyviä tenttikysymyksiä T3 Matemaattinen induktio
MAT-13510 Laaja Matematiikka 1U. Hyviä tenttikysymyksiä T3 Matemaattinen induktio Olkoon a 1 = a 2 = 5 ja a n+1 = a n + 6a n 1 kun n 2. Todista induktiolla, että a n = 3 n ( 2) n, kun n on positiivinen
LisätiedotMS-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ätiedotMS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I
MS-A040 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 014 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteetesimerkkejä,
LisätiedotJohdatus 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ätiedotRatkaisu: a) Kahden joukon yhdisteseen poimitaan kaikki alkiot jotka ovat jommassakummassa joukossa (eikä mitään muuta).
Matematiikan laitos Johdatus Diskreettiin Matematiikaan Harjoitus 1 03.11.2010 Ratkaisuehdotuksia Aleksandr Nuija 1. Tarkastellaan joukkoja A = {1,3,4}, B = {2,3,7,9} ja C = {2, 5, 7}. Määritä joukot (a)
Lisätiedot1 Perusasioita joukoista
1 Perusasioita joukoista 1.1 Merkintöjä Joukko voidaan määritellä luettelemalla siihen kuuluvat alkiot. Esimerkiksi voidaan merkitä = { 2, 1, 0, 1, 2}. Tästä merkinnästä nähdään, mitkä luvut ovat joukon
LisätiedotKompleksiluvut. JYM, Syksy /99
Kompleksiluvut JYM, Syksy 2014 1/99 Miksi kompleksilukuja? Reaaliluvut lukusuoran pisteet: Tiedetään, että 7 1 0 x 2 = 0 x = 0 1 7 x 2 = 1 x = 1 x = 1 x 2 = 7 x = 7 x = 7 x 2 = 1 ei ratkaisua reaalilukujen
LisätiedotJuuri 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ätiedotLisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi
Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi LUKUTEORIA JA TODISTAMINEN, MAA11 Esimerkki a) Lauseen Kaikki johtajat ovat miehiä negaatio ei
Lisätiedot0. Kertausta. Luvut, lukujoukot (tavalliset) Osajoukot: Yhtälöt ja niiden ratkaisu: N, luonnolliset luvut (1,2,3,... ) Z, kokonaisluvut
0. Kertausta Luvut, lukujoukot (tavalliset) N, luonnolliset luvut (1,2,3,... ) Z, kokonaisluvut Rationaaliluvut n/m, missä n,m Z Reaaliluvut R muodostavat jatkumon fysiikan lukujoukko Kompleksiluvut C:z
LisätiedotInduktiota 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ätiedotX R Matematiikan johdantokurssi, syksy 2016 Harjoitus 5, ratkaisuista
Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Olkoon perusjoukkona X := {,,,, } ja := {(, ), (, ), (, ), (, )}. Muodosta yhdistetyt (potenssi)relaatiot,,,. Entä mitä on yleisesti n, kun
LisätiedotTodistamisessa on tärkeää erottaa tapaukset, kun sääntö pätee joillakin tai kun sääntö pätee kaikilla. Esim. On olemassa reaaliluku x, jolle x = 5.
3.4 Kvanttorit Todistamisessa on tärkeää erottaa tapaukset, kun sääntö pätee joillakin tai kun sääntö pätee kaikilla. Esim. On olemassa reaaliluku x, jolle x = 5. Kaikilla reaaliluvuilla x pätee x+1 >
Lisätiedot1 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ätiedot3 Lukujonon raja-arvo
ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT 208 3 Lukujonon raja-arvo 3 Määritelmä Osoita, että 6n + 2n + 3 3 < 4 n ja määritä jokin sellainen n 0 Z +, että 6n + 2n + 3 3 < 0 87 aina, kun n > n 0 2 Olkoon x n
Lisätiedot2017 = = = = = = 26 1
JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 2, MALLIRATKAISUT Tehtävä 1. Sovella Eukleiden algoritmia ja (i) etsi s.y.t(2017, 753) (ii) etsi kaikki kokonaislukuratkaisut yhtälölle 405x + 141y = 12. Ratkaisu
Lisätiedot67-x x 42-x. Matematiikan johdantokurssi, syksy 2016 Harjoitus 3, ratkaisuista
Matematiikan johdantokurssi, syksy 0 Harjoitus, ratkaisuista. Esitä seuraavat joukot luettelemalla niiden alkiot: a) := { y y = ( ) n n+ n+, n N } b) := { n Z n = k, k Z } c) := { sin( nπ ) n N } Ratkaisut.
Lisätiedot1 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ätiedotTietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/137
Tietojenkäsittelytieteen ja tilastotieteen matematiikkaa 1/137 Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi...
LisätiedotAlgebra 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ätiedotsin x cos x cos x = sin x arvoilla x ] π
Matematiikan johdantokurssi, syksy 08 Harjoitus 0, ratkaisuista. Todenna, että = + tan x. Mutta selvitäppä millä reaaliarvoilla se oikeasti pitää paikkansa! Ratkaisu. Yhtälön molemmat puolet ovat määriteltyjä
LisätiedotTopologia Syksy 2010 Harjoitus 11
Topologia Syksy 2010 Harjoitus 11 (1) Tarkastellaan tason (a, )-topologiaa. (Tässä topologiassa A R 2 on avoin jos ja vain jos A =, A = R 2 tai A = {(x, y) R 2 x > a ja y > b} joillekin a, b R.) Jokaiselle
LisätiedotT Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )
T-79.144 Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 2 5.11.2005 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio R A
LisätiedotLauselogiikka Tautologia
Lauselogiikka Tautologia Hannu Lehto Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden
Lisätiedotsaadaan kvanttorien järjestystä vaihtamalla ehto Tarkoittaako tämä ehto mitään järkevää ja jos, niin mitä?
ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT 208 4 Funktion raja-arvo 4 Määritelmä Funktion raja-arvon määritelmän ehdosta ε > 0: δ > 0: fx) A < ε aina, kun 0 < x a < δ, saadaan kvanttorien järjestystä vaihtamalla
LisätiedotInsinöörimatematiikka A
Insinöörimatematiikka A Mika Hirvensalo mikhirve@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2018 Mika Hirvensalo mikhirve@utu.fi Luentoruudut 3 1 of 23 Kertausta Määritelmä Predikaattilogiikan
LisätiedotJohdatus 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ätiedotTehtäväsarja I Seuraavat tehtävät liittyvät kurssimateriaalin lukuun 7 eli vapauden käsitteeseen ja homogeenisiin
HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta I, kesä 2014 Harjoitus 4 Ratkaisujen viimeinen palautuspäivä: pe 662014 klo 1930 Tehtäväsarja I Seuraavat tehtävät liittyvät kurssimateriaalin lukuun
Lisätiedot