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

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

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

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

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

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

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

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

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

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

MS-A0402 Diskreetin matematiikan perusteet

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

MS-A0402 Diskreetin matematiikan perusteet

811120P Diskreetit rakenteet

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Johdatus diskreettiin matematiikkaan Harjoitus 2, Osoita että A on hyvin määritelty. Tee tämä osoittamalla

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

811120P Diskreetit rakenteet

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

Vastaus 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 }?

Matematiikan tukikurssi

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

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011

Ratkaisu: a) Kahden joukon yhdisteseen poimitaan kaikki alkiot jotka ovat jommassakummassa joukossa (eikä mitään muuta).

1. Logiikan ja joukko-opin alkeet

Funktioista. Esimerkki 1

Diskreetin matematiikan perusteet Laskuharjoitus 3 / vko 10

Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne.

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

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

MS-A0401 Diskreetin matematiikan perusteet

811120P Diskreetit rakenteet

Matematiikan tukikurssi, kurssikerta 1

Johdatus matemaattiseen päättelyyn

Matematiikan tukikurssi, kurssikerta 2

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

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.

Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. ( ) Jeremias Berg

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,...

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista

Johdatus diskreettiin matematiikkaan Harjoitus 1,

Tietojenkäsittelyteorian alkeet, osa 2

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

Luonnollisten lukujen ja kokonaislukujen määritteleminen

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Tenttiin valmentavia harjoituksia

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.

Matemaatiikan tukikurssi

Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti.

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

isomeerejä yhteensä yhdeksän kappaletta.

Diskreetin matematiikan perusteet Esimerkkiratkaisut 3 / vko 10

Relaatioista. 1. Relaatiot. Alustava määritelmä: Relaatio on kahden (tai useamman, saman tai eri) joukon alkioiden välinen ominaisuus tai suhde.

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

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

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.

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

811120P Diskreetit rakenteet

Ensimmäinen induktioperiaate

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

Johdatus matematiikkaan

Johdatus matematiikkaan

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

Ensimmäinen induktioperiaate

Matemaattisen analyysin tukikurssi. 1. Kurssikerta ( )

811120P Diskreetit rakenteet

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

4.3. Matemaattinen induktio

Miten osoitetaan joukot samoiksi?

Surjektion käsitteen avulla kuvauksia voidaan luokitella sen mukaan, kuvautuuko kaikille maalin alkioille jokin alkio vai ei.

Diskreetin Matematiikan Paja Tehtäviä viikolle 2. ( ) Jeremias Berg

Matematiikan tukikurssi, kurssikerta 5

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)

Johdatus matemaattiseen päättelyyn (5 op)

Todistusmenetelmiä Miksi pitää todistaa?

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.

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

Diskreetin matematiikan perusteet Laskuharjoitus 3 / vko 39

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

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

(2n 1) = n 2

Johdatus yliopistomatematiikkaan. JYM, Syksy /197

Johdatus matematiikkaan

Matematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus 2, malliratkaisut

1. Esitä rekursiivinen määritelmä lukujonolle

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

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

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

Injektio. Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim.

2. 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}?

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

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

Transkriptio:

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ä, 3. todistuksia huhtikuutaym., 2014 osa I 1 / 15

Joukot ja implikaatiot Olkoon A = { 1, 2, 3, 4 }, B = { 0, 3, 4 } ja C = { x : x on kokonaisluku 2 }. Mitkä seuraavista väitteistä ovat tosia? (a) x A C x B kaikilla x? (b) A B C A? (c) On olemassa y C siten, että y B y / A B? (d) y / B y / A kaikilla y C? Ratkaisu: (a) Koska A C = { 2, 3, 4 } niin pätee 2 A C mutta koska 2 / B niin tämä väite ei päde (ja väite sanoo, että A C B). (b) Koska 2 A mutta 2 / B niin ei päde A B ja näin ollen implikaatio A B C A on tosi. (c) Tämäkin väite on tosi koska esim. 2 C, mutta 2 / B mistä seuraa, että 2 B on epätosi joten 2 B 2 / A B on tosi. (d) Tämä väite on epätosi koska esim. 2 C ja 2 / B mutta 2 A joten 2 / A on epätosi. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014 osa I 2 / 15

Miksi joukko-oppi ei ole niin yksinkertaista kuin miltä näyttää? Niin kauan kun tarkastelvissa joukoissa on vain ärellisen monta alkiota, kuten joukossa {1, 3, 4, 7}, ongelmia ei juuri esiinny mutta klassinen esimerkki ongelmista on jos yritämme määritellä joukkoa A kaavalla A = { x : x / x }. Jos nyt A A niin x / x ei päde kun x on A ja A:n määritelmän mukaan A / A ja olemme saaneet aikaan ristriidan. Jos sen sijaan A / A niin ehto x / x on voimassa kun x on A joten A A ja taas tuloksena on ristiriita. Vastaavanlaisia ongelmia syntyy jos sanomme Tämä on valhe tai jos puhumme parturista, joka leikkaa hiukset kaikilla niillä henkilöillä, jotka eivät itse leikkaa hiuksiaan. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014 osa I 3 / 15

Induktio Osoitamme induktion avulla, että n i = 1 + 2 + 3 +... n = i=1 n(n + 1), n 1. 2 Väite P(n) on siis n i=1 i = n(n+1) 2 ja n 0 = 1. Näin ollen väite P(n 0 ) on sama kuin 1 = 1(1+1) 2 mikä pitää paikkansa. Oleta seuraavaksi, että P(k) on tosi ja k 1. Koska P(k) pätee, niin k i=1 i = k(k+1) 2 mistä seuraa, että k+1 i = i=1 k k(k + 1) i + (k + 1) = + (k + 1) 2 i=1 ( ) k = (k + 1) 2 + 1 (k + 1)(k + 2) = = 2 (k + 1)((k + 1) + 1), 2 joka taas merkitsee sitä, että P(k + 1) on tosi. Induktioperiaatteen nojalla toteamme, että P(n) pätee kaikilla n 1. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014 osa I 4 / 15

Päättelysäännöt ja todistukset logiikassa Todistus on lista lauseista joissa jokainen lause on joko aksiomi (eli oletetaan olevan tosi) tai johdettu aikaisemmistä lauseista. Päättelysäännöt ovat seuraavanlaisia: L 1 L 2. L n Q eli jos L 1,..., L n ovat lauseita todistuksessa, voidaan todistukseen lisätä lause Q. Päättelysäännöt perustuvat siihen, että L 1 & L 2 &... & L n Q on tautologia eli on aina tosi ja tärkein päättelysääntö on ns. modus ponens eli x x y y. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014 osa I 5 / 15

Päättelysäännöt ja todistukset logiikassa Olkoot p ja q kaksi lausetta. Nyt todistamme, että q on tosi jos p &!p on tosi, eli jos oletetaan ristiriitainen väite voidaan todistaa mitä vaan. Päättelysäännötöinä käytetään tässä (a) x y!x y (b) x & y x (c) x x y (d) x & y y & x G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014 osa I 6 / 15

Päättelysäännöt ja todistukset logiikassa, jatk. Todistus näyttää nyt seuraavanlaiselta: (1) p &!p: Oletus (2) p: (1) ja (b) missä x = p ja y =!p (3) p q: (2) ja (c) missä x = p ja y = q (4)!p & p: (1) ja (d) missä x = p ja y =!p (5)!p: (1) ja (b) missä x =!p ja y = p (6) q: (3), (4) ja (a) missä x = p ja y = q. Näin lause q on tullut todistetuksi. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014 osa I 7 / 15

Järjestetyn parin koordinaatit Parin [x, y] (tai (x, y)) ensimmäinen koordinaatti on (tietenkin) x ja toinen on y. Jos parin määritelmäksi otetaan {{a}, {a, b}} niin voidaan määritellä predikaatit E(p, x) ja T (p, y) jotka sanovat, että x on p:n ensimmäinen koordinaatti ja y on p:n toinen koordinaatti seuraavalla tavalla: (tai lyhyemmin z p (x z)) ja E(p, x) = z((z p) (x z)) T (p, y) = ( z((z p) & (y p))) & ( u( v(((u p) & (v p)) & (!(u = v)) ((!(y u)) (!(y v)))))). Tässä lausekkeessa on häiritsevän monta sulkua ja voimme myös kirjoittaa z((z p) & (y p)) & u v((u p) & (v p) &!(u = v)!(y u)!(y v)). Vielä lyhyempi muoto olisi z p(y p) & u p v p (!(u = v) (y / u) (y / v)). G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014 osa I 8 / 15

Esimerkki osittaisjärjestyksestä Olkoon X jokin (ei-tyhjä) joukko ja P(X ) sen kaikkien osajoukkojen muodostama joukko (eli ns. potenssijoukko). Joukossa P(X ) meillä on relaatio : A B jos ja vain jos A on B:n osajoukko (ja muista että A B myös kun A = B. Tämä relaatio on osittaisjärjestys koska se on refleksiivinen: A A, antisymmetrinen: Jos A B ja A B niin on olemmassa x B siten että x / A jolloin B B, transitiivinen: Jos A B ja B C niin jokainen A:n alkio on B:n alkio ja koska jokainen B:n alkio on C:n alkio niin jokainen A:n alkio on C:n alkio, eli A C. Lisäksi tällä relaatiolla on muitakin ominaisuuksia kuten, että jos A, B P(X ) niin joukoille A ja B löyty pienin yläraja, eli joukko C siten, että A C, B C (eli C on yläraja) ja jos A D ja B D niin C D (eli C on pienin yläraja). Selvästikin C = A B. Vastaavasti löytyy myös suurin ala-raja joka (tietenkin) on A B. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014 osa I 9 / 15

Listat, jonot ja karteesiset tulot funktioina Listaa [a, b, c, d] voidaan tulkita olevan funktio f joukosta {1, 2, 3, 4} (tai joukosta {0, 1, 2, 3}) joukkoon joka sisältää esim kaikki aakkoset siten, että f (1) = a, f (2) = b, f (3) = c och f (4) = d. Reaalinen lukujono (a n ) n=0 = (a 0, a 1, a 2,...) voidaan tulkita olevan funktio f joukosta N 0 joukkoon R siten, että f (n) = a n kaikilla n N 0. Jos Y j on joukko jokaisella j J missä J on (toinen) joukko niin voidaan märitellä karteesinen tulo j J Y j joukkona, jonka alkiot ovat kaikki funktiot f : J j J Y j siten, että f (j) Y j. Jos Y j = Y kaikilla j J niin joukko j J Y j on täsmälleen kaikki funktiot J Y ja tälle joukolle käytetään merkintää Y J eli esim. Y {1,2,3} = Y Y Y = Y 3. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014osa I 10 / 15

Injektio, surjektio, bijektio Alla oleva verkko esittää funktiota f : X Y : 1 2 3 4 5 a b c d Tässä tapauksessa määrittely- eli lähtöjoukko on X = {1, 2, 3, 4, 5} ja maalijoukko on Y = {a, b, c, d} ja kyseessä on funktio koska jokainen X :n alkio on täsmälleen yhden kaaren lähtösolmu. Kyseinen funktio ei ole surjektio koska a / f (X ) mutta siitä tulee surjektio jos Y korvataan joukolla Y = Y \ {a}. Funktion arvot eivät tästä muutu, ainoastaan maalijoukko korvataan toisella ja käytännön kannalta (vaikka ei ehkä periaatteessa) meillä on edelleen täsmälleen sama funktio. f : X Y 1 2 3 4 5 b c d G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014osa I 11 / 15

Injektio, surjektio, bijektio, jatk. Funktio f ei ole myöskään injektio koska esim. f (1) = f (4), mutta siitä voidaan konstruida injektio poistamalla esim. alkiot 4 ja 5 joukosta X ja rajoittamalla f joukkoon X = X \ {4, 5}. Näin saatu funktio f X : X Y on bijektio. f X : X Y 1 2 3 b c d Jokaisella bijektiolla on käänteisfunktio ja tässä tapauksessa sen verkkoesitys on seuraavanlainen: f 1 X : Y X b c d 1 2 3 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014osa I 12 / 15

Surjektioiden A B lukumäärä kun A = m ja B = n Oleta B = {b 1, b 2,..., b n }. Olkoon F = B A kaikkien funktioiden A B joukko ja F j = (B \ {b j }) A F kaikkien funktioiden A : B \ {b j } joukko eli niiden F :n alkoiden f joukko joille pätee, että f (x) b j kaikilla x A. Surjektioiden joukko on siten F \ m j=1 F j. Nyt F j1 F j2... F jr on joukko (B \ {b j1, b j2,... b jr }) A johon kuuluvat kaikki funktiot A B jotka eivät saa arvoja b j1,..., b jr. Jos 1 j 1 <... < j r n niin F j1 F j2... F jr = (n r) m. Koska on ( n r) eri tapaa valita indeksit 1 j 1 <... < j r n niin seulaperiaatteesta seuraa, että surjektioiden A B lukumäärä on ( n ( ) n n m ( 1) )(n k+1 k) m = k k=1 n ( ) n ( 1) r (n r) m r n ( n = ( 1) n r r Huomaa, että kun m < n ei ole surjektioita A B joten n r=0 ( 1)n r ( n r) r m = 0 kun m < n, mikä ehkä ei ole aivan ilmeistä. r=0 r=0 ) r m. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014osa I 13 / 15

Monellako tavalla voidaan sijoittaa k identtistä palloa n:ään identtiseen laatikkoon? Olkoon A(k, n) tämä lukumäärä. Koska voimme sijoittaa k 0 palloa 1:een laatikkoon vain yhdellä tavalla niin A(k, 1) = 1 kun k 0. Jos k = 0 niin kaikki laatikot ovat tyhjiä ja meillä on vain yksi vaihtoehto eli A(0, n) = 1 kaikilla n 1. Oleta nyt, että k 1 ja n 2. Olkoon j (j 0) pallojen lukumäärä siinä laatikossa missä on vähiten palloja. Eri j:n arvoilla saadaan varmasti erilaisia vaihtoehtoja. Nyt sijoitamme ensin j palloa jokaiseen laatikkoon ja sen jälkeen jäljellä olevat k n j palloa niihin n 1:een laatikkoon joissa voi olla enemmän kun j palloa ja tämä on mahdollista A(k n j, n 1):llä eri tavalla. Jos j > k n niin k n k < 0, joten rekursioyhtälöksi tulee k n A(k, n) = A(k n j, n 1). j=0 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014osa I 14 / 15

Esimerkki Tentissä valvojat jakavat 150 tehtäväpaperia 160:lle tenttijälle. Monellako tavalla tämä on mahdollista? Tässä oletetaan, että tehtäväpaperit ovat identtiset mutta tenttijät eivät ole. Ensimmäinen, järkevä, vaihtoehto on että jokaiselle tenttijälle annetaan korkeintaan yksi paperi. Silloin on kysymys siitä monellako tavalla voimme 160 henkilön joukosta valita ne 150, jotka saavat paperin. Tässä on kyse valinnasta palauttamatta ( ) kun ( järjestyksellä ) ei ole merkitystä, joten 160 160 vaihtoehtoja on = 150 10 Toinen, vähemmän järkevä, vaihtoehto on, ettei aseteta mitään rajoituksia montako paperia sama henkilö voi saada. Silloin valvojat valitsevat 150 kertaa tenttijän, jolle paperi annetaan, joukosta, jossa on 160 alkiota, palauttaen eikä valintajärjestyksellä ( ole ) merkitystä. Vaihtoehtojen 150 + 160 1 309! lukumääräksi tulee silloin = 160 1 159! 150!. G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä, 3. todistuksia huhtikuutaym., 2014osa I 15 / 15