MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I
|
|
- Ari-Matti Heikkinen
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 MS-A0402 Diskreeti matematiika perusteet Yhteeveto, osa I G. Gripeberg Aalto-yliopisto 12. maaliskuuta 2015 G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31 1 Joukko-oppi ja logiikka Iduktioperiaate 2 Relaatiot ja fuktiot Fuktiot Iso-O 3 Kombiatoriikka ym. Summa-, tulo ja lokeroperiaate G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31
2 Joukot Joukko-opissa peruskäsite o eli x A ku alkio x kuuluu joukkoo A ja x / A ku alkio x ei kuulu joukkoo A. Merkitätapoja: A = {2, 4, 5, 8} o joukko joka alkiot ovat 2, 4, 5 ja 8 ja B = {4, 5, } o joukko, joka alkiot ovat kaikki kokoaisluvut j joille pätee 4 j Usei merkitää A = { x B : P(x) } tai A = { x : x B, P(x) } jolloi A: alkiot ovat e jouko B alkiot joille väite P(x) o tosi. Tyhjä joukko: = {} o tyhjä joukko joho ei kuulu yhtää alkiota, eli x o aia epätosi. A = B jos pätee, että x A jos ja vai jos x B, eli esimerkiksi {1, 2, 2, 3} = {3, 2, 1}. Ei-egatiiviset kokoaisluvut joukkoia: Jos o luku 0 ii { } o luku 1, {, { }} o luku 2, {, { }, {, { }}} o luku 3 je. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31 Joukko-opi perusmerkitöjä Yhdiste tai uioi: x A B jos ja vai jos x A tai x B. A Leikkaus: x A B jos ja vai jos x A ja x B. B A B Joukkoerotus: x A \ B jos ja vai jos x A mutta x / B. A B Osajoukko: A B jos jokaie A: alkio o myös B: alkio. B A Potessijoukko: P(A) o jouko kaikkie osajoukkoje muodostama joukko. Yhtäläisyys: A = B jos A B ja B A. Komplemetti: A c = Ω \ A jos A Ω ja o selvää mikä Ω o. A Yhdiste tai uioi: x j J A j jos ja vai jos x A j jollaki j J. Leikkaus: x j J A j jos ja vai jos x A j kaikilla j J. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31
3 Huom! Usei kirjoitetaa A B: sijasta A B ja silloi kirjoitetaa A B ku A o B: aito osajoukko, eli A B mutta A B. Stadardimerkitöjä N 0 = {0, 1, 2, 3,...} o luoolliste lukuje (missä 0 o mukaa) joukko. Merkiällä N tarkoitetaa joskus N 0 ja joskus {1, 2, 3,...} = N 0 \ {0}. Z = {..., 2, 1, 0, 1, 2, 3,...} o kokoaislukuje joukko. Q = { p q : p, q Z, q 0 } o ratioaalilukuje joukko. R o reaalilukuje joukko. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31 Propositiologiikka eli lausekalkyyli Jos a ovat b lauseita tai väitteitä, jotka voivat olla tosia tai epätosia mutta ei mitää siltä väliltä ii Lause a AND b o tosi ku a o tosi ja b o tosi Lause a OR b o tosi ku a o tosi tai b o tosi (ja myös ku molemmat ovat tosia). Lause NOT a o tosi ku a ei ole tosi eli a o epätosi. Lause a b o tosi ku (NOT a) OR b o tosi, eli ku b o tosi tai a o epätosi. Lause a b ku (a b) AND (b a) o tosi. Matemaattisessa logiikassa käytetää yleisesti AND: sijasta, OR: sijasta ja NOT: sijasta. Implikaatio Logiika lause a b ei täysi vastaa jokapäiväise kielekäytö jos a ii b koska se o tosi ku a o epätosi eikä sillä välttämättä ole mitää tekemistä syy-seuraus suhtee kassa. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31
4 Predikaattilogiikka Lause x P(x) o tosi ku P(x) o tosi kaikilla x. Lause x P(x) o tosi ku o olemassa x site, että P(x) o tosi. Predikaattilogiikka o lausekalkyyli laajeus, jossa operaatiode eli koektiivie (NOT, AND, OR, ja ) lisäksi käytetää uiversaali- ja eksistessi kvattorit ( kaikilla ) ja ( o olemassa ), ja lauseide lisäksi käytetää muuttujia x, y,... ja predikaatteja P, Q,.... Predikaateilla o äärellie määrä argumetteja, esim. P(x), Q(x, y), je., ja predikaatti joide argumettie lukumäärä o 0 o lause. Predikaattie lisäksi voidaa käyttää fuktioita joide arvot kuuluvat samaa käsiteltävää aihepiirii ( domai of discourse ) kui muuttujat. Fuktio, jolla ei ole muuttuja o vakio. Fukiot ja vakiot voidaa esittää predikaattie avulla, mutta se o usei kömpelö vaihtoehto. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31 Prioriteettijärjestys Jos ei käytetä sulkuja, joilla tieteki o korkei prioriteetti, ii loogiset koektiivit evaluoidaa tavallisesti seuraavassa järjestyksessä: Esi NOT, sitte ja, sitte AND ja OR ja lopuksi ja. x A ja x A Lauseet x A (P(x)) ja x A (P(x)) ovat lyheteitä lauseista x (x A P(x)), x (x A AND P(x)), ja tarkoittavat (tieteki) että kaikilla A: alkiolla x pätee P(x) ja o olemassa A: alkio x jolla P(x) pätee. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31
5 Negaatio NOT, koektiivit AND ja OR sekä kvattorit ja Kaikilla lauseilla a ja b pätee NOT (a AND b) (NOT a) OR (NOT b), NOT (a OR b) (NOT a) AND (NOT b), eli esimerkiksi NOT (a AND b) o tosi täsmällee silloi ku NOT a OR NOT b o tosi ja lause NOT (a AND b) NOT a OR NOT b o tautologia koska se o tosi riippumatta a: ja b: totuusarvoista. Samoi kaikilla predikaateilla P pätee NOT ( x(p(x))) x(not P(x)), NOT ( x(p(x))) x(not P(x)). Epäsuora todistus Lause a b o tosi jos ja vai jos lause NOT b NOT a o tosi ja epäsuorassa todistuksessa tehdää vastaoletus, että NOT b o tosi eli että b ei ole tosi ja todistetaa, että NOT a o tosi ja tämä formuloidaa tavallisesti site, että johdetaa tulos joka o ristiriidassa a: kassa. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta I / 31 Iduktioperiaate Jos P() o väite (joka kaikilla 0 o joko tosi tai epätosi) ja P( 0 ) o tosi P(k + 1) o tosi jos P(k) o tosi (eli P(k) P(k + 1) o tosi) ku k 0 ii P() o tosi kaikilla 0. Joskus o tarpee ottaa iduktio-oletukseksi väite, että P(j) o tosi ku 0 j k se sijaa että pelkästää oletetaa, että P(k) o tosi. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
6 Karteesie tulo Kahde jouko X ja Y karteesie tulo X Y o joukko joho kuuluvat kaikki järjestetyt parit (a, b) tai [a, b] missä a X ja b Y, eli X Y = { [a, b] : a X ja b Y }. O mota tapaa määritellä järjestettyä paria [a, b] ja usei käytetty tapa o saoa, että [a, b] o joukko {{a}, {a, b}}. Relaatiot Relaatio joukosta X joukkoo Y (tai relaatio joukossa X jos Y = X ) o karteesise tulo X Y osajoukko. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Verkko? Verkko, eli graafi muodostuu joukosta solmuja ja joukosta iide väilisiä kaaria (tai likkejä), esim äi: Suuatussa verkossa jokaisella kaarella o lähtösolmu ja kohdesolmu ku suutaamattomassa verkossa ei tehdä eroa lähtö- ja kohdesolmu välillä. Suuattu verkko o järjestetty pari [V, E] (V = vertex, E = edge ) missä V o joukko (tavallisesti äärellie ja ei-tyhjä) ja E V V, eli E o relaatio joukossa V. Suutaamato verkko o järjestetty pari [V, E] missä V o joukko (tavallisesti äärellie ja ei-tyhjä) ja E { {a, b} : a V, b V }. Suutaamato verkko voidaa myös ajatella oleva suuattu verkko missä relaatio E o symmetrie, eli [a, b] E [b, a] E. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
7 Erilaisia relaatioita joukossa X Relaatio W joukossa X o refleksiivie jos [x, x] W kaikilla x X. symmetrie jos [x, y] W [y, x] W kaikilla x ja y X. trasitiivie jos [x, y] W AND [y, z] W [x, z] W kaikilla x, y ja z X. atisymmetrie jos [x, y] W AND x y [y, x] / W eli [x, y] W AND [y, x] W x = y kaikilla x ja y X. asymmetrie jos [x, y] W [y, x] / W kaikilla x ja y X. totaalie tai täydellie jos [x, y] W OR [y, x] W kaikilla x ja y X. ekvivalessirelaatio jos W o refleksiivie, symmetrie ja trasitiivie. osittaisjäjestys jos W refleksiivie, atisymmetrie ja trasitiivie. Usei kirjoitetaa [x, y] W : sijasta xwy esim. x y eikä [x, y]. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Ekvivalessiluokat Jos X o ei-tyhjä joukko ja o ekvivalessirelaatio joukossa X, eli o refleksiivie, symmetrie ja trasitiivie, ii se jakaa jouko X osajoukkoihi Y j, j J joita kutsutaa ekvivalessiluokiksi site, että j J Y j = X, Y j Y k = jos j k, a b a ja b kuuluvat samaa joukkoo Y j. Usei ajatellaa, että kaksi alkiota jotka ovat ekvivalettia, eli iide muodostama pari kuuluu relaatioo, ovatki samat jolloi jouko X sijasta tarkastellaa joukkoa { Y j : j J }, joka alkiot ovat ekvivalessiluokat. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
8 Fuktiot Jos X ja Y ovat joukkoja ii fuktio f : X Y o relaatio joukosta X joukkoo Y eli X Y : osajoukko site, että jokaisella x X o olemassa y Y site, että [x, y] f. jos [x, y 1 ] f ja [x, y 2 ] f ii y 1 = y 2. Tavallisesti fuktio esitetää site, että [x, y] f jos ja vai jos y = f (x) (vaikka xf tms. voisi olla parempi merkitätapa jos luetaa vasemmalta oikealle). Toisi saoe, fuktio f joukosta X joukkoo Y o säätö, joka jokaisella x X ataa vastaukseksi yksikäsitteise alkio y = f (x) joukosta Y. Jos f : X Y o fuktio ii X o se määrittely- eli lähtöjoukko ja Y o se maalijoukko. Y X = { f : f o fuktio joukosta X joukkoo Y }. Jos f : X Y o fuktio ja A X ii f A : A Y o fuktio f rajoitettua joukkoo A eli relaatioa f A = { [x, y] : [x, y] f, x A }. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Aoyymit fuktiot Voidaa puhua esim. luvusta 2 ilma sekaatumise vaaraa, mutta jos puhutaa lausekkeesta x + 3 ei ole välttämättä selvää tarkoitetaako fuktiota, joka ataa tulokseksi argumettisa joho o lisätty 3 vai tämä fuktio arvo ku argumetti o x. Jos tarkoitetaa fuktiota eikä se arvoa ii voidaa kirjoittaa x x + 3 tai fuctio(x){retur x+3;} tai jotai muuta vastaavaa. Ijektiot, surjektiot ja bijektiot Fuktio f : X Y o ijektio jos f (x 1 ) = f (x 2 ) x 1 = x 2 kaikilla x 1, x 2 X. surjektio jos kaikilla y Y o olemassa x X site, että f (x) = y. bijektio jos se o sekä ijektio että surjektio. Ekvivaletti määritelmä o, että f : X Y o ijektio jos x 1 x 2 f (x 1 ) f (x 2 ) kaikilla x 1, x 2 X ja f o surjektio jos arvojoukko f (X ) = { f (x) : x X } o sama kui maalijoukko Y eli f (X ) = Y. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
9 Yhdistetyt fuktiot ja kääteisfuktiot Jos f : X Y ja g : Y Z ovat kaksi fuktiota ii h = g f : X Z o fuktio h(x) = g(f (x)). Jos f : X Y, g : Y Z ja h : Z W ovat fuktioita ii (h g) f = h (g f ) jote tämä fuktio voidaa myös kirjoittaa muodossa h g f. Jos f : X Y sellaie fuktio, että o olemassa fuktio g : Y X site että (g f )(x) = x ja (f g)(y) = y kaikilla x X ja y Y ii f o käätyvä, g o f : kääteisfuktio ja ja useimmite kirjoitetaa g = f 1. Fuktio f : X Y o käätyvä jos ja vai jos se o bijektio. Jos f : X Y o käätyvä ii (f 1 ) 1 = f eli kääteisfuktio o myös käätyvä ja se kääteisfuktio o f. Huomaa,ettei f 1 ole sama fuktio kui h(x) = f (x) 1 joka edyllyttää että Y : (tai aiaki arvojouko) elemeteillä o kääteeisalkioita mikä o esim. tilae joukossa R \ {0} mutta ei joukossa Z. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Ordo eli Iso-O: f O(g) Jos g o fuktio, joka o määritelty kaikilla riittävä isoilla kokoaisluvuilla ii f O(g) kertoo että myös f o määritelty kaikilla riittävä isoilla kokoaisluvuilla ja o olemassa vakioita C ja N site, että f () C g(), N. Tämä merkiä käyttö tarkoittaa myös sitä, ettei ole erityise oleellista mitä vakiot C ja N oikeasti ovat tai mite pieiksi iitä voi valita. Usei kirjoitetaa f O(g): sijasta f () = O(g()). Jos O() + O( 2 ) O( 2 ): sijasta kirjoitetaa O() + O( 2 ) = O( 2 ) ii pitää muistaa, ettei tästä seuraa O() = 0! Tässä käsitellää yksikertaisuude vuoksi vai (tietyillä) kokoaisluvuilla märiteltyjä fuktioita ja samoi tarkastellaa aioastaa mitä tapahtuu ku mutta se ei ole mitekää oleellista. Esimerkiksi pätee myös x4 x 3 x 3 +x2 O(x) ku x 0. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
10 Jouko mahtavuus eli alkioide lukumäärä Kahdella joukolla A ja B o sama lukumäärä alkioita A ja B eli e ovat yhtä mahtavia, jos o olemassa bijektio A B. Joukolla A o vähemmä tai yhtä mota alkiota kui joukolla B, eli A B, jos o olemassa ijektio A B. Joukolla A o vähemmä alkioita kui joukolla B, eli A < B, jos o olemassa ijektio A B mutta ei bijektiota A B. Jos A = {0, 1, 2,..., 1} ii A =. Joukko A o äärellie jos o olemassa kokoaisluku site, että A =. Joukko A o umeroituva jos A = N ja yliumeroituva jos A > N. Huom! Jotta ämä määritelmät olisivat järkeviä pitää osoittaa, että o olemassa bijektio {0, 1, 2,..., 1} {0, 1, 2,..., m 1} jos ja vai jos m = ja jos o olemassa ijektioita A B ja B A ii löytyy myös bijektio A B. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Summaperiaate, yksikertaisi muoto Jos A ja B ovat kaksi (äärellistä) joukkoa site, että A B = ii A B = A + B. Tästä seuraa, että jos B A ii A \ B = A B. Tuloperiaate, yksikertaisi muoto Jos A ja B ovat kaksi (äärellistä) joukkoa ii A B = A B. Lokero- eli kyyhkyslakkaperiaate Jos m 1 esiettä laitetaa 1 laatikkoo ii aiaki yhdessä m laatikossa o vähitää esiettä! Miksi? Jos laatikoissa olevie esieide lukumäärie maksimi o k ii k m jote k m ja koska määritelmä mukaa m o piei kokoaisluku joka o m ii k m. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
11 Seulaperiaate eli yleistetty summaperiaate Jos A j, j = 1, 2,... ovat äärellisiä joukkoja ii A 1 A 2 = A 1 + A 2 A 1 A 2, A 1 A 2 A 3 = A 1 + A 2 + A 3 A 1 A 2 A 1 A 3 k A j = j=1 A 2 A 3 + A 1 A 2 A 3, k ( 1) r+1 r. A ji r=1 1 j 1 <j 2 <...<j r k i=1 G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Tuloperiaate Jos valita- tai päätösprosessissa o k vaihetta ja vaiheessa j o j vaihtoehtoa, riippumatta siitä mitä valitoja tai päätöksiä o aikaisemmissa vaiheissa tehty, ja jos kaikki valiat johtavat erilaisii lopputuloksii, ii kaikkie vaihtoehtoje lukumääräksi tulee k = 24 Toisi saoe, jos C = { (x 1, x 2,..., x k ) : x 1 A 1, x 2 A 2,x1,..., x k A k,x1,...,x k 1 }, missä A 1 = 1, jokaisella x 1 A 1 pätee A 2,x1 = 2 ja yleisesti jos x 1 A 1, x 2 A 2,x1, x 3 A 3,x1,x 2 je., ii pätee A j,x1,x 2,...,x j 1 = j, 1 j k, ii silloi C = k. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
12 Kertoma Jos o positiivie kokoaisluku ii Lisäksi 0! = 1.! = ( 1). Biomikerroi Jos ja k ovat kokoaislukuja site, että 0 k ii ( )! = k k! ( k)! jolloi ( ) ( k = k). Multiomikerroi Jos j 0 ku j = 1, 2,..., m ja = m ii ( )! = 1, 2,..., m 1! 2!... m!. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Järjestetty otos A o joukko jossa o alkiota (eli A = ). Jos valitaa k alkiota joukosta A ja muodostetaa iistä joo [x 1, x 2,..., x k ] ja tehdää tämä palauttamatta, eli samaa alkiota ei valita mota kertaa jolloi x i x j ku i j ii saadaa s. k-permutaatio. Näide jooje eli k-permutaatioide lukumäärä o tuloperiaattee ojalla! ( 1)... ( k + 1) = ( k)! Jos valitaa k alkiota joukosta A ja muodostetaa iistä joo [x 1, x 2,..., x k ] ja tehdää tämä palauttae, eli voidaa valita sama alkio mota kertaa jolloi aioa vaatimus o, että x j A ku 1 j k ii tuloperiaattee ojalla äide jooje lukumäärä o A k = k. Huomaa, että molemmissa tapauksissa o oleellista että kyseessä o järjestetty otos eli sillä, missä järjestyksessä alkiot valitaa A:sta, o merkitystä. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
13 Otos palauttamatta ku järjestystä ei oteta huomioo Jos joukosta A, jossa o alkiota, valitaa k alkiota palauttamatta, eli jokaista alkiota voidaa valita korkeitaa kerra, eikä valitajärjestyksellä ole merkitystä ii vaihtoehtoje lukumäärä o ( ) k = ( ). k Miksi? Jos kyseie lukumäärä o b(, k) ii palauttamatta otettuje järjestettyje otoste lukumäärä o b(, k) k! koska k alkiota voidaa järjestää jooksi k! eri tavalla. Näi olle b(, k) k! =! ( k)! jote b(, k) = ( k). G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Otos palauttae ku järjestystä ei oteta huomioo Jos joukosta A, jossa o alkiota, valitaa k alkiota palauttae, eli voidaa valita sama alkio mota kertaa, eikä valitajärjestyksellä ole merkitystä ii vaihtoehtoje lukumäärä o ( ) ( ) k + 1 k + 1 =, 1 k Miksi? Olkoo A = {x 1, x 2,..., x }. Ku valitsemme k alkiota, palauttae, joukosta A eikä järjestyksellä ole merkitystä ii voimme esittää tulokse esim. äi: mikä o tulkittava site, että olemme kaksi kertaa valiet x 1 :, kerra x 2 :, ei kertaakaa x 3 :ta, kolme kertaa x 4 :, kaksi kerta x 5 : ja kolme kertaa x 6 : jote tässä = 6 ja k = = 11. Jokaie valita vastaa listaa missä o k alkiota ja 1 erotusmerkkiä, eli pituus o k + 1, ja valitsemme joosta e 1 paikkaa, joihi sijoitamme erotusmerkit jolloi alkiot sijoitetaa jäljelle jäävii paikkoihi. Tämä o otos palauttamatta missä valitajärjestyksellä ei ole merkitystä G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
14 Otos palauttamatta, palauttae, valitajärjestyksellä merkitystä, ei merkitystä: Yhteeveto Valitaa k alkiota joukosta, jossa o alkiota: Valitajärjestyksellä o merkitystä Valitajärjestyksellä ei ole merkitystä palauttamatta palauttae! (( ) k)! k ( ) k + 1 k 1 G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Allokoitimallit eli vaihtoehtoie ajattelutapa O sijoitettava k palloa :ää umeroituu laatikkoo. Numeroidut pallot Valitajärjestyksellä o merkitystä. Idettiset pallot Valitajärjestyksellä ei ole merkitystä. Jokaisee laatikkoo korkeitaa yksi pallo Valita palauttamatta. Jokaisee laatikkoo mielivaltaie määrä palloja Valita palauttae. Palloje lukumäärä laatikoissa 1 ei rajoituksia! Numeroidut pallot k (( ) k)! ( ) k + 1 Idettiset pallot k 1 G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
15 Multiomikertoimet ( )! = 1, 2,..., m 1! 2!... m! = m. ( ) o vaihtoehtoje lukumäärä ku joukko A jaetaa 1, 2,..., m osajoukoiksi A j, j = 1,..., m site, että m j=1 A j = A, A i A j = ku i j, ja A j = j. ( ) o vaihtoehtoje lukumäärärä ku järjestetää 1 1, 2,..., m oliota tyyppiä y 1, 2 tyyppiä y 2 je. missä = m ja samaa tyyppiä olevat oliot ovat idettiset. Jos A o joukko, jossa o alkiota ja B = {y 1,..., y m } o joukko, jossa o m alkiota ja 1, 2,...(, m ovat ei-egatiivisia ) lukuja site, että m = ii o iide fuktioide 1, 2,..., m f : A B lukumäärä joille pätee { x A : f (x) = y j } = j. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31 Biomi- ja multiomikaavat (x + y) = (x x m ) = j=0 ( ) x j y j, j ( m = j 0 1, 2,..., m ) x x m m. Miksi? ( Biomikaava o erikoistapaus multiomikaavasta koska ) ( j = j, j) ja multiomikaava pätee koska (x x m ) voidaa kirjoittaa summaa jossa o m termiä jotka ovat tyyppiä y 1 y 2... y missä jokaie y i {x 1, x 2,..., x m }. Jokaie muotoa x x m m termi sytyy siitä, että joukko {1,..., } jaetaa osajoukkoihi A j, j = 1,..., m site että i A j jos ja vai jos y i = x j jolloi siis A j = j. Tällaisia osituksia o täsmällee ( ) 1, 2,..., m kappaletta. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
16 Fuktioide lukumäärät Oletetaa, että A = m ja B =. Fuktiode A B lukumäärä o B A = m. Miksi? Fuktio f : A B o järjestetty m-kokoie otos palauttae joukosta jossa o alkiota. Ijektioide A B lukumäärä o! ( 1)... ( m + 1) = ( m)!, m. Miksi? Ijektio A B o järjestetty m-kokoie otos palauttamatta joukosta jossa o alkiota. ( ) Surjektioide A B lukumäärä o ( 1) k k m. k k=0 Osajoukkoje lukumäärä: P(A) = 2 A Jos joukossa A o m alkiota ii joukossa P(A) o 2 m alkiota, eli A: osajoukkoje lukumäärä o 2 A koska jokaista osajoukkoa B vastaa fuktio f B : A {0, 1} site, että f B (x) = 1 jos x B ja muute 0. G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. maaliskuuta osa I / 31
MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I
MS-A0402 Diskreeti matematiika perusteet Yhteeveto, osa I 1 Joukko-oppi ja logiikka Iduktioperiaate G. Gripeberg 2 Relaatiot ja fuktiot Aalto-yliopisto 3. huhtikuuta 2014 3 Kombiatoriikka ym. G. Gripeberg
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I
MS-A040 Diskreeti matematiika perusteet Yhteeveto ja esimerkkejä ym., osa I G. Gripeberg Aalto-yliopisto 8. syyskuuta 06 Joukko-oppi ja logiikka Todistukset logiikassa Predikaattilogiikka Iduktioperiaate
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I
MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, 30.
LisätiedotMS-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ätiedotMS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I
MS-0402 Disreeti matematiia perusteet Yhteeveto, osa I G. Gripeberg 1 Jouo-oppi ja logiia Idutioperiaate 2 Relaatiot ja futiot Futiot Iso-O alto-yliopisto 12. maalisuuta 2015 3 Kombiatoriia ym. Summa-,
LisätiedotMS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I
MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 12. maaliskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteet
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I
MS-0401 Disreeti matematiia perusteet Yhteeveto, osa I G. Gripeberg alto-yliopisto 30. syysuuta 2015 1 Jouo-oppi ja logiia Prediaattilogiia Idutioperiaate 2 Relaatiot ja futiot Futiot Iso-O 3 Kombiatoriia
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I
MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 8. syyskuuta 016 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I
MS-A040 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 8. syyskuuta 06 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Yhteenveto8.
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ätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I
MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I
MS-A040 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Yhteenveto30.
Lisätiedot( ) k 1 = a b. b 1) Binomikertoimen määritelmän mukaan yhtälön vasen puoli kertoo kuinka monta erilaista b-osajoukkoa on a-joukolla.
Kombiatoriikka, kesä 2010 Harjoitus 2 Ratkaisuehdotuksia (RT) (5 sivua) Käytä tehtävissä 1-3 kombiatorista päättelyä. 1. Osoita, että kaikilla 0 b a pätee ( ) a a ( ) k 1 b b 1 kb Biomikertoime määritelmä
LisätiedotMS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I
MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto. maaliskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä. ym.,
LisätiedotMS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I
MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto. maaliskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä. ym.,
LisätiedotMS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I
MS-A040 Disreeti matematiia perusteet Yhteeveto ja esimerejä ym., osa I G. Gripeberg Aalto-yliopisto. maalisuuta 05 Jouo-oppi ja logiia Todistuset logiiassa Idutioperiaate Relaatiot ja futiot Futiot Iso-O
LisätiedotMatematiikan tukikurssi
Matematiika tukikurssi Kurssikerta 3 1 Lisää iduktiota Jatketaa iduktio tarkastelua esimerki avulla. Yritetää löytää kaava : esimmäise (positiivise) parittoma luvu summalle eli summalle 1 + 3 + 5 + 7 +...
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ätiedotAlgebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 5 (6 sivua)
Algebra I Matematiika ja tilastotietee laitos Ratkaisuehdotuksia harjoituksii 5 (6 sivua) 14.2. 17.2.2011 1. Määritellää kuvaus f : S 3 S 3, f(α) = (123) α. Osoita, että f o bijektio. Mikä o se kääteiskuvaukse
LisätiedotMatematiikan tukikurssi. Kertausta 1. välikokeeseen. Tehtävät
Matematiika tukikurssi Kertausta. välikokeesee Tehtävät Algebraa Tämä kappale sisältää rusaasti harjoitustehtäviä. Suurimpaa osaa tehtävistä löytyy ratkaisut lopusta. Syyä rusaasee tehtävämäärää o, että
LisätiedotMatematiikan tukikurssi
Matematiika tukikurssi Kurssikerta 1 Iduktiotodistus Iduktiotodistukse logiikka Tutkitaa tapausta, jossa haluamme todistaa joki väittee P() site, että se pätee kaikilla luoollisissa luvuilla. Eli halutaa
LisätiedotMatematiikan tukikurssi
Matematiika tukikurssi Kertauslueto. välikokeesee Algebraa Tämäkertaie kurssimoiste sisältää rusaasti harjoitustehtäviä. Syyä tähä o se, että matematiikkaa oppii parhaite itse tekemällä ja laskemalla.
LisätiedotRyhmän osajoukon generoima aliryhmä ja vapaat ryhmät
Ryhmä osajouko geeroima aliryhmä ja vapaat ryhmät LuK-tutkielma Joose Heioe Matemaattiste tieteide tutkito-ohjelma Oulu yliopisto Kevät 2017 Sisältö Johdato 2 1 Ryhmät ja aliryhmät 2 1.1 Ryhmä.................................
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I
MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 0. syyskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä0. ym.,
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I
MS-A00 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 0. syyskuuta 0 Joukko-oppi ja logiikka Todistukset logiikassa Predikaattilogiikka Induktioperiaate Relaatiot
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ätiedotTehtäviä neliöiden ei-negatiivisuudesta
Tehtäviä epäyhtälöistä Tehtäviä eliöide ei-egatiivisuudesta. Olkoo a R. Osoita, että 4a 4a. Ratkaisu. 4a 4a a) a 0 a ) 0.. Olkoot a,, R. Osoita, että a a a. Ratkaisu. Kerrotaa molemmat puolet kahdella:
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I
MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä30.
Lisätiedot3 x < < 3 x < < x < < x < 9 2.
Matematiika johdatokurssi Kertaustehtävie ratkaisuja 1. Ratkaise epäyhtälöt: a) 3 x < 3, b) 5x + 1. Ratkaisu. a) Ratkaistaa epäyhtälö poistamalla esi itseisarvot: 3 x < 3 3 < 3 x < 3 9 < x < 3 3 < x
LisätiedotAnalyysi A. Harjoitustehtäviä lukuun 1 / kevät 2018
Aalyysi A Harjoitustehtäviä lukuu / kevät 208 Ellei toisi maiita, tehtävissä esiityvät muuttujat ja vakiot ovat mielivaltaisia reaalilukuja.. Aa joki ylä- ja alaraja joukoille { x R x 2 + x 6 ja B = {
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I
MS-A040 Disreeti matematiia perusteet Yhteeveto ja esimerejä ym., osa I G. Gripeberg Aalto-yliopisto 0. syysuuta 05 Jouo-oppi ja logiia Todistuset logiiassa Prediaattilogiia Idutioperiaate Relaatiot ja
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ätiedotTehtävä 1. Voidaanko seuraavat luvut esittää kahden neliön summina? Jos voidaan, niin kuinka monella eri tavalla? (i) n = 145 (ii) n = 770.
JOHDATUS LUKUTEORIAAN (syksy 07) HARJOITUS 0, MALLIRATKAISUT Tehtävä. Voidaako seuraavat luvut esittää kahde eliö summia? Jos voidaa, ii kuika moella eri tavalla? (i) = 45 (ii) = 770. Ratkaisu. (i) Jaetaa
LisätiedotMATEMATIIKAN JA TILASTOTIETEEN LAITOS
f ( ) JYVÄSKYLÄN YLIOPISTO Harjoituste 3 ratkaisut MATEMATIIKAN JA TILASTOTIETEEN LAITOS Topologiset vektoriavaruudet 3.1. Jokaie kompakti joukko K R määrää fuktioavaruudessa E = C(R ) = {f : R R f o jatkuva}
Lisätiedot3 x < < 3 x < < x < < x < 9 2.
Matematiika johdatokurssi Kertaustehtävie ratkaisuja. Ratkaise epäyhtälöt: a) 3 x < 3, b) 5x +. Ratkaisu. a) Ratkaistaa epäyhtälö poistamalla esi itseisarvot: 3 x < 3 3 < 3 x < 3 9 < x < 3 3 < x < 9. Itse
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ätiedot1 Eksponenttifunktion määritelmä
Ekspoettifuktio määritelmä Selvitimme aikaisemmi tällä kurssilla, millaie potessisarja säilyy derivoiissa muuttumattomaa. Se perusteella määritellää: Määritelmä. Ekspoettifuktio exp : R R määritellää lausekkeella
LisätiedotDiskreetin Matematiikan Paja Ratkaisuja viikolle 4. ( ) Jeremias Berg. n(n + 1) 2. k =
Diskreeti Matematiika Paja Ratkaisuja viikolle 4. (7.4-8.4) Jeremias Berg. Osoita iduktiolla että k = ( + ) Ratkaisu: Kute kaikissa iduktiotodistuksissa meidä täytyy siis osoittaa asiaa. Ns. perustapaus,
LisätiedotRATKAISUT x 2 3 = x 2 + 2x + 1, eli 2x 2 2x 4 = 0, joka on yhtäpitävä yhtälön x 2 x 2 = 0. Toisen asteen yhtälön ratkaisukaavalla saadaan
RATKAISUT 8 17 8 a) Paraabelie y x ja y x + x + 1 leikkauspisteet saadaa määritettyä, ku esi ratkaistaa yhtälö x x + x + 1, eli x x, joka o yhtäpitävä yhtälö x x. Toise astee yhtälö ratkaisukaavalla saadaa
LisätiedotMATP153 Approbatur 1B Harjoitus 1, ratkaisut Maanantai
MATP53 Approbatur B Harjoitus, ratkaisut Maaatai..05. (Lämmittelytehtävä.) Oletetaa, että op = 7 tutia työtä. Kuika mota tutia Oili Opiskelija työsketelee itseäisesti kurssilla, joka laajuus o 4 op, ku
LisätiedotMS-A0402 Diskreetin matematiikan perusteet
MS-A040 Diskreetin matematiikan perusteet Osa : Relaatiot ja funktiot Riikka Kangaslampi 017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Relaatiot Relaatio Määritelmä 1 Relaatio joukosta A
LisätiedotTIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 16. maaliskuuta 2011 Sisällys Sisällys Väitelauseet lause (tai virke), joka sanoo jonkin asian pitävän paikkaansa
LisätiedotKertaa tarvittaessa induktiota ja rekursiota koskevia tietoja.
MATEMATIIKAN JA TILASTOTIETEEN LAITOS Aalyysi I Harjoitus 5. 0. 2009 alkavalle viikolle Ratkaisuehdotuksia ( sivua) (Rami Luisto) Laskuharjoituksista saa pistettä, jos laskettu vähitää 50 tehtävää; 3 pistettä,
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ätiedot****************************************************************** ****************************************************************** 7 Esim.
8.3. Kombiaatiot MÄÄRITELMÄ 6 Merkitä k, joka luetaa yli k:, tarkoittaa lause- ketta k = k! ( k)! 6 3 2 1 6 Esim. 1 3 3! = = = = 3! ( 3)! 3 2 1 3 2 1 3 2 1 Laskimesta löydät äppäime, jolla kertomia voi
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ätiedot1. Funktiot, lukujonot, raja-arvot, jatkuvuus
1 MAT-13430 Laaja matematiikka 3 TTY 2010 Risto Silveoie 1. Fuktiot, lukujoot, raja-arvot, jatkuvuus Kertaamme ja täydeämme Lama 1: fuktioita käsittelevää osuutta. Puuttuvista todistuksista suuri osa käydää
Lisätiedot811120P 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ä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ätiedotVastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.
Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Vastaus 2. Vertaillaan
LisätiedotKarteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21
säilyy Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla c b a 1 2 3 5 1 / 21 säilyy Esimerkkirelaatio R = {(1, b), (3, a), (5, a), (5, c)} c b a 1
LisätiedotMiten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?
Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus
LisätiedotMat Lineaarinen ohjelmointi
Mat-2.340 Lieaarie ohjelmoiti 20.9.2007 Lueto 2 Lieaarialgebraa ja geometriaa (kirja.5, 2.) S ysteemiaalyysi Tekillie korkeakoulu Lieaarie ohjelmoiti - Syksy 2007 / Lieaarialgebraa Notaatiota Kääteismatriisi
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ätiedot1. (Jatkoa Harjoitus 5A tehtävään 4). Monisteen esimerkin mukaan momenttimenetelmän. n ne(y i Y (n) ) = 2E(Y 1 Y (n) ).
HY / Matematiika ja tilastotietee laitos Tilastollie päättely II, kevät 018 Harjoitus 5B Ratkaisuehdotuksia Tehtäväsarja I 1. (Jatkoa Harjoitus 5A tehtävää ). Moistee esimerki 3.3.3. mukaa momettimeetelmä
LisätiedotTilastollinen todennäköisyys
Tilastollie todeäköisyys TOD.NÄK JA TILASTOT, MAA10 Klassisessa todeäköisyydessä oli ehdot: äärellisyys ja symmetrisyys. Tämä tilae o usei mahdoto ts. alkeistapauksia o usei ääretö määrä tai e eivät ole
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ä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ätiedotMS-A0401 Diskreetin matematiikan perusteet
MS-A0401 Diskreetin matematiikan perusteet Osa 2: Relaatiot ja funktiot Riikka Kangaslampi Syksy 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Relaatiot Relaatio Määritelmä 1 Relaatio joukosta
LisätiedotJohdatus matematiikkaan
Johdatus matematiikkaan Luento 7 Mikko Salo 11.9.2017 Sisältö 1. Funktioista 2. Joukkojen mahtavuus Funktioista Lukiomatematiikassa on käsitelty reaalimuuttujan funktioita (polynomi / trigonometriset /
Lisätiedot3. Predikaattilogiikka
3. Predikaattilogiikka Muuttuja mukana lauseessa. Ei yksikäsitteistä totuusarvoa. Muuttujan kiinnittäminen määrän ilmaisulla voi antaa yksikäsitteisen totuusarvon. Esimerkki. Lauseella x 3 8 = 0 ei ole
Lisätiedot1. osa, ks. Solmu 2/ Kahden positiivisen luvun harmoninen, geometrinen, aritmeettinen ja + 1 u v 2 1
Epäyhtälötehtävie ratkaisuja. osa, ks. Solmu 2/200. Kahde positiivise luvu harmoie, geometrie, aritmeettie ja kotraharmoie keskiarvo määritellää yhtälöillä H = 2 +, G = uv, A = u + v 2 u v ja C = u2 +
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2016-2017 4. Joukot, relaatiot ja funktiot Osa 1: Joukot 4.1 Joukot Matemaattisesti joukko on mikä tahansa hyvin määritelty kokoelma objekteja, joita kutsutaan joukon alkioiksi
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ätiedotLIITTEET Liite A Stirlingin kaavan tarkkuudesta...2. Liite B Lagrangen kertoimet...3
LIITTEET... 2 Liite A Stirligi kaava tarkkuudesta...2 Liite B Lagrage kertoimet... 2 Liitteet Liitteet Liite A Stirligi kaava tarkkuudesta Luoollista logaritmia suureesta! approksimoidaa usei Stirligi
LisätiedotAlkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.
ja Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä. ja Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja
LisätiedotEpäyhtälöoppia matematiikkaolympialaisten tehtäviin
Epäyhtälöoppia matematiikkaolympialaiste tehtävii Jari Lappalaie ja Ae-Maria Ervall-Hytöe 0 Johdato Epäyhtälöitä reaaliluvuille Cauchy epäyhtälö Kaikille reaaliluvuille a, a,, a ja b, b,, b pätee Cauchy
LisätiedotSanomme, että kuvaus f : X Y on injektio, jos. x 1 x 2 f (x 1 ) f (x 2 ) eli f (x 1 ) = f (x 2 ) x 1 = x 2.
Sanomme, että kuvaus f : X Y on injektio, jos x 1 x 2 f (x 1 ) f (x 2 ) eli f (x 1 ) = f (x 2 ) x 1 = x 2. Siis kuvaus on injektio, jos eri alkiot kuvautuvat eri alkioille eli maalijoukon jokainen alkio
LisätiedotKombinatoriikka. Iiro Honkala 2015
Kombiatoriikka Iiro Hokala 2015 Sisällysluettelo 1. Haoi torit 1 2. Lokeroperiaate 3 3. Tuloperiaate 3 4. Permutaatioista ja kombiaatioista 4 5. Toistokombiaatioista 5 6. Biomikertoimista 5 7. Multiomikertoimista
LisätiedotEhdollinen todennäköisyys
Ehdollie todeäköisyys Kerrataa muutama todeäköisyyslaskea laskusäätö. Tapahtuma E komplemettitapahtuma E o "E ei tapahdu". Koska todeäköisyyksie summa o 1, P ( E = 1 P (E. Joskus o helpompi laskea komplemettitapahtuma
LisätiedotAlkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.
Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä. Kaksi järjestettyä paria ovat samat, jos niillä on samat ensimmäiset alkiot ja samat toiset alkiot:
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ätiedotVieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne.
Aloitus Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne. Mitkä seuraavista väitteistä ovat tosia? A. 6 3 N B. 5 Z
LisätiedotLogiikka 1/5 Sisältö ESITIEDOT:
Logiikka 1/5 Sisältö Formaali logiikka Luonnollinen logiikka muodostaa perustan arkielämän päättelyille. Sen käyttö on intuitiivista ja usein tiedostamatonta. Mikäli logiikka halutaan täsmällistää esimerkiksi
LisätiedotÄärettämän sarjan (tai vain sarjan) sanotaan suppenevan eli konvergoivan, jos raja-arvo lims
75 4 POTENSSISARJOJA 4.1 ÄÄRETTÖMÄT SARJAT Lukujoo { a k } summaa S a a a a a k 0 1 k k0 saotaa äärettömäksi sarjaksi. Summa o s. osasumma. S a a a a a k 0 1 k0 Äärettämä sarja (tai vai sarja) saotaa suppeeva
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ätiedot3 10 ei ole rationaaliluku.
Harjoitukset / 011 RATKAISUT Lukuteoria 1. Etsi Eratostheee seulalla samatie kaikki lukua 400 pieemmät alkuluvut. (Tai ohjelmoi tietokoeesi etsimää paljo lisää.) Kirjoita rivii kaikki luvut 1-00. Poista
LisätiedotT Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet )
T-79144 Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet 11-22) 26 29102004 1 Ilmaise seuraavat lauseet predikaattilogiikalla: a) Jokin porteista on viallinen
LisätiedotKaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.
Kombinatoriikka, kesä 2010 Harjoitus 1 Ratkaisuehdotuksia (RT (5 sivua Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle. 1. Osoita, että vuoden
LisätiedotDiskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista
Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista 1. Olkoot (E, ) ja (F, ) epätyhjiä järjestettyjä joukkoja. Määritellään joukossa E F relaatio L seuraavasti: [ (x, y)l(x, y ) ] [ (x < x )
Lisä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ätiedotInjektio. Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim.
Injektio Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim. Funktio f on siis injektio mikäli ehdosta f (x 1 ) = f (x 2 ) seuraa, että x 1 = x 2.
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ä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ätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2016-2017 4. Joukot, relaatiot ja funktiot Osa 3: Funktiot 4.3 Funktiot Olkoot A ja B joukkoja. Funktio joukosta A joukkoon B on sääntö, joka liittää yksikäsitteisesti määrätyn
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ätiedotSeurauksia. Seuraus. Seuraus. Jos asteen n polynomilla P on n erisuurta nollakohtaa x 1, x 2,..., x n, niin P on muotoa
Seurauksia Seuraus Jos asteen n polynomilla P on n erisuurta nollakohtaa x 1, x 2,..., x n, niin P on muotoa P(x) = a n (x x 1 )(x x 2 )... (x x n ). Seuraus Astetta n olevalla polynomilla voi olla enintään
LisätiedotDiskreetin Matematiikan Paja Tehtäviä viikolle 2. ( ) Jeremias Berg
Diskreetin Matematiikan Paja Tehtäviä viikolle 2. (24.3-25.3) Jeremias Berg Tämän viikon tehtävien teemoina on tulojoukot, relaatiot sekä kuvaukset. Näistä varsinkin relaatiot ja kuvaukset ovat tärkeitä
LisätiedotKuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Vastaavuus puolestaan on erikoistapaus relaatiosta.
LisätiedotT Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (Predikaattilogiikka )
T-79.3001 Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (Predikaattilogiikka 10.3. 11.4) 26. 30.3. 2009 Ratkaisuja demotehtäviin Tehtävä 10.5 Allaolevat kolme graafia pyrkivät selventämään
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ätiedotMATA172 Sami Yrjänheikki Harjoitus Totta vai Tarua? Lyhyt perustelu tai vastaesimerkki!
MATA17 Sami Yrjäheikki Harjoitus 7 1.1.018 Tehtävä 1 Totta vai Tarua? Lyhyt perustelu tai vastaesimerkki! (a) Jokaie jatkuva fuktio f : R R o tasaisesti jatkuva. (b) Jokaie jatkuva fuktio f : [0, 1[ R
LisätiedotSurjektion käsitteen avulla kuvauksia voidaan luokitella sen mukaan, kuvautuuko kaikille maalin alkioille jokin alkio vai ei.
5.5 Surjektio Surjektion käsitteen avulla kuvauksia voidaan luokitella sen mukaan, kuvautuuko kaikille maalin alkioille jokin alkio vai ei. Määritelmä 5.5.1. Kuvaus f : X æ Y on surjektio, jos jokaisella
LisätiedotT Kevät 2006 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )
T-79.3001 Kevät 2006 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3 3.4) 21. 24.3.2006 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio
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ä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ätiedotJohdatus diskreettiin matematiikkaan Harjoitus 2, Osoita että A on hyvin määritelty. Tee tämä osoittamalla
Johdatus diskreettiin matematiikkaan Harjoitus 2, 23.9.2015 1. Osoita että A on hyvin määritelty. Tee tämä osoittamalla a) että ei ole olemassa surjektiota f : {1,, n} {1,, m}, kun n < m. b) että a) kohdasta
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2018-2019 Kertausta toiseen välikokeeseen Yhteenveto Kurssin sisältö 1. Algoritmin käsite 2. Lukujärjestelmät ja niiden muunnokset; lukujen esittäminen tietokoneessa 3. Logiikka
LisätiedotSeuraavat peruslauseet 1-8 voidaan helposti todistaa integraalin määritelmästä. Integroimisjoukko R oletetaan rajoitetuksi Jordanmitalliseksi
Laaja matematiikka 5 Kevät 200 2. Itegraali omiaisuuksia Seuraavat peruslauseet -8 voidaa helposti todistaa itegraali määritelmästä. Itegroimisjoukko oletetaa rajoitetuksi Jordamitalliseksi joukoksi. Lause
Lisätiedot