TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011
|
|
- Anton Alanen
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 16. maaliskuuta 2011
2 Sisällys
3 Sisällys
4 Väitelauseet lause (tai virke), joka sanoo jonkin asian pitävän paikkaansa voi olla tosi tai epätosi voi myös olla, ettemme tiedä onko se tosi vai epätosi (mutta tiedämme että se on jompaa kumpaa) esimerkkejä: Jyväskylässä on asukasta. Elvis elää. 2 > 3 Kaikilla positiivisilla kokonaisluvuilla a, b, c sekä kaikilla kokonaisluvuilla n > 2 pätee a n + b n = c n. Kaikki hevoset ovat valkoisia. Väitelauseita eivät ole esimerkiksi: Integroikaa! Onko 2 > 3?
5 Konnektiivit Väitelauseita voidaan yhdistellä uusiksi väitelauseiksi konnektiiveilla. Seuraavassa P ja Q edustavat mielivaltaisia väitelauseita. negaatio ( ei ) P on tosi jos (ja vain jos) P on epätosi konjunktio ( ja ) P Q on tosi jos (ja vain jos) sekä P että Q ovat tosia disjunktio ( tai ) P Q on tosi jos (ja vain jos) ainakin toinen P:stä ja Q:sta on tosi Jos molemmat ovat tosia, P Q on myös tosi! implikaatio ( jos niin ) P Q on tosi mikäli Q on tosi kun P on tosi Jos P on epätosi, P Q on tosi! Ei syy seuraussuhde! ekvivalenssi ( jos ja vain jos ) P Q tarkoittaa samaa kuin (P Q) (Q P)
6 Konnektiivien laskulakeja P Q Q P (1) P Q Q P (2) P (Q R) (P Q) R (3) P (Q R) (P Q) R (4) P (Q R) (P Q) (P R) (5) P (Q R) (P Q) (P R) (6) P Q P Q (7) (P Q) P Q (8) (P Q) P Q (9)
7 Kvanttorit Mikä on väitelauseen x < 3 totuusarvo? riippuu x:n arvosta x on tässä vapaa muuttuja väitelause x < 3 on avoin Vapaa muuttuja voidaan sitoa käyttäen kvanttoria. ( x)p kaikilla x pätee P ( x)p on olemassa x, jolla P pätee Näissä väitelauseissa x on sidottu muuttuja. Väitelause, jossa kaikki muuttujat on sidottu, on suljettu. ( x)(x < 3) ( x)(x < 3) ( x)( y)(x < y) Sulkeiden vähentämiseksi usein käytetään kaksoispistettä kvanttori(e)n jälkeen x y: x < y.
8 Huomioita kvanttoreista Kaikilla x myös naapurin Mustilla? Ei sentäs, asiayhteydestä pitää selvitä, mitkä kaikki kelpaa x:ksi. Voidaan myös eksplisiittisesti rajoittaa: x: x R x < 3 x: x R x < 3 tai kuten usein kirjoitetaan: x R: x < 3 x R: x < 3 Kvanttoreiden järjestyksellä on väliä! x Z : y Z : x 2 = y y Z : x Z : x 2 = y
9 Kvanttoreiden laskulakeja ( x: P) ( x: P) (10) ( x: P) ( x: P) (11)
10 Sisällys
11 Joukko Joukko on otus, johon liittyy alkioita seuraavasti: Väite x S ( x kuuluu S:ään ), missä x on alkio ja S on joukko, on joko tosi tai epätosi. x S (x S) Ekstensioperiaate: kaksi joukkoa ovat samat jos niihin kuuluvat täsmälleen samat alkiot: S = T ( x: x S x T) Kaikki joukot ovat myös alkioita (eli voivat siis kuulua joukkoihin). Jotkin joukot voidaan mainita luetteloimalla niiden alkiot aaltosulkeissa: Jos S = {0, 1}, niin 0 S ja 1 S, ja muille alkioille x pätee x S. Luettelossa ei ole väliä alkioiden järjestyksellä eikä sillä, kuinka monta kertaa alkio mainitaan luettelossa.
12 Komprehensio Merkintä { x P } tarkoittaa niiden alkioiden x joukkoa, joilla P on tosi. Esim. { x x Z x 0 } Lyhennysmerkintänä käytetään usein { x S P }, joka tarkoittaa samaa kuin { x x S P }. Usein viivan vasemmalla puolella on yhden muuttujan sijasta monimutkaisempi lauseke: { 2x x Z } parillisten kokonaislukujen joukko!
13 Tunnettuja joukkoja = { x x = x } on tyhjä joukko Z on kokonaislukujen joukko N = x Z x 0 } on luonnollisten lukujen joukko { q } Q = q, r Z r = 0 on rationaalilukujen r joukko R on reaalilukujen joukko
14 Osajoukot Joukko S on joukon T osajoukko, merkitään S T, jos jokainen S:ään kuuluva alkio kuuluu myös T:hen: S T x S: x T Huom! S = T S T T S Joukon S potenssijoukko P(S) on S:n osajoukkojen joukko: P(S) = { T T S }
15 Joukko-operaatioita yhdiste S T = { x x S x T } leikkaus S T = { x x S x T } erotus S T = S \ T = { x x S x T } tulo S T = { (x, y) x S y T } (x, y) on järjestetty joukko tuloa sanotaan myös karteesiseksi tuloksi
16 Joukko-opin ongelma Kysymys Määritellään S = { x x x } Onko S S tosi vai epätosi?
17 Joukko-opin ongelma Kysymys Määritellään S = { x x x } Onko S S tosi vai epätosi? Vastaus Ei kumpaakaan tai molempia. Se ei ole siis hyväksyttävä väitelause. Kommentti Tämä on Russellin paradoksi (1901), joka usein esitetään parturin ongelmana: Eräässä kylässä asuu miespuolinen parturi, joka on pyhästi luvannut ajaa kaikkien niiden kylässä asuvien miesten parran, jotka eivät itse aja omaa partaansa; ajaako hän oman partansa?
18 Tarkkana komprehension kanssa! Russellin paradoksi osoittaa, että komprehensiolla voi tehdä outoja juttuja. Nyrkkisääntö: jokaiselle komprehension sitomalle muuttujalle pitää löytyä jokin aiemmin määritelty joukko, josta muuttujan alkiot otetaan { x x x } rikkoo tätä mistä joukosta x otetaan? { x Z x 0 } on OK Aiemmin määriteltyjä joukkoja ovat (joukko-opin aksioomien mukaan) mm. lukujoukot N, Z, Q, R joukon potenssijoukko joukkojen yhdiste joukkojen tulo
19 Sisällys
20 Matemaattisen argumentin rakenne Määritelmä (nimen antaminen jollekin tarvittavalle käsitteelle) Lause Olkoon... (oletukset) 1 Tällöin... (väite) Todistus (argumentti sille, että väite seuraa oletuksista) 1 Käytännössä monet oletukset ovat implisiittisiä, ja ne vain pitää osata tunnistaa asiayhteydestä. Aloittelevan todistajan on hyvä kirjoittaa kaikki käytetyt oletukset näkyviin.
21 Suora todistus Määritelmä Kokonaisluku n Z on parillinen, jos 2 on olemassa kokonaisluku k Z, jolle pätee n = 2k. Lause Olkoon n ja m parillisia kokonaislukuja. Tällöin n + m on parillinen. 3 Todistus Koska n ja m ovat parillisia, on olemassa kokonaisluvut k ja l, joille pätee n = 2k ja m = 2l. Lasketaan: n + m = 2k + 2l = 2(k + l). Koska k + l on kokonaisluku, on n + m parillinen. 2 Määritelmissä jos tulkitaan ekvivalenssiksi. Tarkkaan ottaen pitäisi kirjoittaa jos ja vain jos, mutta niin ei ole tapana tehdä. 3 Tavallisesti tämä kirjoitettaisiin lyhyemmin: Parillisten kokonaislukujen summa on parillinen. Yllä käytetty muotoilu tuo oletuksen selkeämmin esiin.
22 Reductio ad absurdum (RAA) eli päättely ristiriidan kautta Suorassa todistuksessa edetään suorassa ketjussa oletuksesta väitteeseen. RAA-todistuksessa idea on osoittaa, että väitteen negaatiosta seuraa ristiriita.
23 Esimerkki RAA-todistuksesta Määritelmä Reaaliluku r R on rationaalinen eli rationaaliluku, jos on olemassa kokonaisluvut 4 p Z ja q Z +, joille pätee r = p/q. Lause Ei ole olemassa pienintä positiivista rationaalilukua. Todistus Taululla. 4 Z + = { n Z n > 0 }
24 Induktiotodistus Induktiotodistus soveltuu, jos väite voidaan esittää luonnollisten lukujen ominaisuutena P(n). Induktiotodistuksen rakenne: Perustapauksessa todistetaan väite P(0). Induktiotapauksessa todistetaan väite k N : P(k) P(k + 1) Todetaan, että induktioperiaatteen nojalla P(k) pätee kaikille k N.
25 Esimerkki induktiotodistuksesta Lause Olkoon n N. Tällöin pätee n i=0 i = n(n + 1). 2 Todistus Taululla.
26 Todistuksen tarkkuustasot Täsmällinen (formaali) Todistuksen kaikki vaiheet kirjoitetaan näkyviin niin, että sen oikeellisuus voidaan periaatteessa antaa tietokoneen tarkastettavaksi. Matemaatikon tarkkuus Oleelliset askeleet esitetään tarkasti, mutta yksityiskohtia jätetään pois, koska lukijan oletetaan kykenevän helposti ne täydentämään. Idea Todistuksen keskeinen idea esitetään, mutta oleellisia askeleita jätetään kokonaan käsittelemättä. Tätä ei vielä lasketa varsinaiseksi todistukseksi.
27 Sisällys
28 Ominaisuudet Joukossa oleva ominaisuus on jokin tekijä, joka jakaa joukon kahteen osaan: ne alkiot, joilla ominaisuus on, ja ne alkiot, joilla sitä ei ole. esimerkkejä parillisuus kokonaislukujoukossa negatiivisuus reaalilukujoukossa vasenkätisyys ihmisjoukossa Ominaisuus kirjoitetaan usein kaavoissa käyttäen funktionotaatiota P( ). Esim. x Z : P(x) y Z : x = 2y sanoo, että P( ) on kokonaislukujen parillisuusominaisuus Ominaisuuden ekstensio on niiden alkioiden joukko, joilla on kyseinen ominaisuus. käytännössä usein ominaisuus samastetaan ekstensioonsa, ts. sanotaan, että ominaisuus on joukon osajoukko
29 Relaatio Kahden tai useamman joukon välinen relaatio on kyseisten joukkojen tulon ominaisuus. Joukkojen järjestyksellä ja toistolla on merkitystä. Joukkojen lukumäärää sanotaan relaation paikkaluvuksi eli ariteetiksi. esimerkkejä kokonaislukujen ja positiivisten kokonaislukujen välinen jaollisuusrelaatio ihmisjoukon ja ihmisjoukon välinen avioliittorelaatio minkä tahansa joukon ja saman joukon välinen yhtäsuuruusrelaatio Kaksipaikkainen relaatio ilmaistaan usein infix-tyyliin, esim. yhtäsuuruusrelaatiolla 3 = 3.
30 Funktio eli kuvaus Funktio eli kuvaus yhdistää jokaiseen lähtöjoukkoon kuuluvaan alkioon yhden ja vain yhden arvojoukkoon kuuluvan alkion. Merkintä f : A B tarkoittaa, että f on funktio, jonka lähtöjoukko on A ja arvojoukko on B. Merkintä f : x e tarkoittaa, että f on funktio, joka kuvaa jokaisen lähtöjoukkoon kuuluvan x:n arvojoukkoon kuuluvaksi e:ksi. Merkintä f (x) tarkoittaa sitä arvojoukkoon kuuluvaa alkiota, johon funktio f yhdistää lähtöjoukkoon kuuluvan x:n. Joukko { (x, f (x)) x A } on funktion f : A B graafi. Esimerkki: Olkoon f : R R, x 2x. Tällöin f (5) = 10.
31 Injektio, surjektio ja bijektio Funktio f : A B on injektio, jos jokaiselle y B on enintään yksi x A, jolle pätee f (x) = y. surjektio, jos jokaiselle y B on vähintään yksi x A, jolle pätee f (x) = y. bijektio, jos jokaiselle y B on täsmälleen yksi x A, jolle pätee f (x) = y.
32 Sisällys
33 Joukon koko Määritelmiä 1. Jos joukolle S ja luvulle n N on olemassa joukko N N sekä bijektio f : N S siten, että väite i N: i < n i N (12) pätee, on n joukon S koko, merkitään S = n. HUOM! Kaava (12) sanoo, että N = {0,..., n 1}. 2. Jos joukolla on koko, se on äärellinen, muuten se on ääretön.
34 Esimerkki Väite { Olkoon S = π, } 2. Tällöin S = 2 Todistus
35 Esimerkki Väite { Olkoon S = π, } 2. Tällöin S = 2 Todistus Olkoon N = {0, 1}. Selvää on, että N täyttää ehdon (12). Olkoon nyt funktio f : N S sellainen, että f (0) = π ja f (1) = 2 pätevät. Selvästi f on bijektio, joten 2 on S:n koko.
36 Joukon mahtavuus Määritellään: Joukko A on enintään yhtä mahtava kuin joukko B, jos on olemassa injektio f : A B. A ja B ovat yhtä mahtavat, jos A on enintään yhtä mahtava kuin B ja B on enintään yhtä mahtava kuin A. Joukko A on mahtavampi kuin joukko B, jos B on enintään yhtä mahtava kuin A ja A sekä B eivät ole yhtä mahtavat. Kaksi äärellistä joukkoa ovat yhtä mahtavat, jos ja vain jos niillä on sama koko. Äärellinen joukko on mahtavampi kuin toinen äärellinen joukko, jos ja vain jos ensimmäisen joukon koko on suurempi kuin toisen joukon koko. Kaikki äärettömät joukot ovat mahtavampia kuin mikä tahansa äärellinen joukko.
37 Q ja N ovat yhtä mahtavat Todistetaan tämä taululla!
38 R on mahtavampi kuin N Todistetaan tämäkin taululla, tällä kertaa Cantorin diagonaalimenetelmällä.
39 Mahtavuuksista vielä Joukko, joka on enintään yhtä mahtava kuin N, on numeroituva. Joukko, joka on mahtavampi kuin N, on ylinumeroituva. Kuriositeetti: on mahdollista määritellä kardinaaliluvut: Jokaisella joukolla on kardinaaliluku. Joukoilla on sama kardinaaliluku jos ja vain jos ne ovat yhtä mahtavat. Jokainen luonnollinen luku on (äärellinen) kardinaaliluku. Lisäksi on äärettömiä (transfiniittisiä) kardinaalilukuja. Joukon N kardinaaliluku on ℵ 0 (alef-nolla). Jos oletamme ns. kontinuumihypoteesin, joukon R kardinaaliluku on ℵ 1.
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 }? Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus
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ä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ä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ätiedotTietojenkäsittelyteorian alkeet, osa 2
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. syyskuuta 2016 Sisällys vs Ovat eri asioita! Älä sekoita niitä. Funktiot Funktio f luokasta A luokkaan B, merkitään
LisätiedotMatemaattisten työvälineiden täydentäviä muistiinpanoja
Matemaattisten työvälineiden täydentäviä muistiinpanoja Antti-Juhani Kaijanaho 7 maaliskuuta 0 Deduktiivinen ja induktiivinen päättely Deduktiivisessa päättelyssä johtopäätös seuraa aukottomasti premisseistä
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ätiedotLogiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste
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ä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ä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 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ä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ä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ä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ä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ä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ä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(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ätiedotLuonnollisten lukujen ja kokonaislukujen määritteleminen
Luonnollisten lukujen ja kokonaislukujen määritteleminen LuK-tutkielma Jussi Piippo Matemaattisten tieteiden yksikkö Oulun yliopisto Kevät 2017 Sisältö 1 Johdanto 2 2 Esitietoja 3 2.1 Joukko-opin perusaksioomat...................
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ä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 (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ä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ä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ä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ätiedotJohdatus matematiikkaan
Johdatus matematiikkaan Luento 3 Mikko Salo 1.9.2017 Sisältö 1. Logiikasta 2. Suora ja epäsuora todistus 3. Jaollisuus ja alkuluvut Todistus Tähän asti esitetyt todistukset ovat olleet esimerkinomaisia.
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ä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 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ätiedot1 sup- ja inf-esimerkkejä
Alla olevat kohdat (erityisesti todistukset) ovat lähinnä oheislukemista reaaliluvuista, mutta joihinkin niistä palataan myöhemmin kurssilla. 1 sup- ja inf-esimerkkejä Kaarenpituus. Olkoon r: [a, b] R
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ätiedotJoukot. Georg Cantor ( )
Joukot Matematiikassa on pyrkimys määritellä monimutkaiset asiat täsmällisesti yksinkertaisempien asioiden avulla. Tarvitaan jokin lähtökohta, muutama yleisesti hyväksytty ja ymmärretty käsite, joista
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ä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ätiedotLuonnollisten lukujen induktio-ominaisuudesta
Solmu 1/2019 19 Luonnollisten lukujen induktio-ominaisuudesta Tuomas Korppi Johdanto Kuten lukija varmaan tietääkin, luonnollisille luvuille voidaan tehdä induktiotodistuksia. Tämä mahdollisuus on ominainen
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ä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ä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ä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ä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ätiedotIlkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi
Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi TKK (c) Ilkka Mellin (2007) 1 Joukko-oppi >> Joukko-opin peruskäsitteet Joukko-opin perusoperaatiot Joukko-opin laskusäännöt Funktiot Tulojoukot
LisätiedotMatematiikan tukikurssi, kurssikerta 1
Matematiikan tukikurssi, kurssikerta 1 1 Joukko-oppia Matematiikassa joukko on mikä tahansa kokoelma objekteja. Esimerkiksi joukkoa A, jonka jäseniä ovat numerot 1, 2 ja 5 merkitään A = {1, 2, 5}. Joukon
Lisä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ä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ä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ätiedotDFA:n käyttäytyminen ja säännölliset kielet
säännölliset kielet TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 9. marraskuuta 2015 Sisällys toiminta formaalisti Olkoon M = (Q, Σ, δ, q 0, F) deterministinen
LisätiedotTIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 31. maaliskuuta 2011 Sisällys Sisällys Chomskyn hierarkia kieli säännöllinen kontekstiton kontekstinen rekursiivisesti
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ätiedot1 sup- ja inf-esimerkkejä
Alla olevat kohdat (erityisesti todistukset) ovat lähinnä oheislukemista reaaliluvuista, mutta joihinkin niistä palataan myöhemmin kurssilla. 1 sup- ja inf-esimerkkejä Nollakohdan olemassaolo. Kaikki tuntevat
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ä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ätiedot1 Joukkojen mahtavuuksista
1 Joukkojen mahtavuuksista Joukon alkiomäärän eli kardinaliteetin käsite voi tuntua itsestään selvältä asialta. Näinhän aika pitkälle onkin, mikäli pitäydytään naiivissa äärettömyyden tulkinnassa; joukko
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ä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ätiedotVaihtoehtoinen tapa määritellä funktioita f : N R on
Rekursio Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on käyttää rekursiota: 1 (Alkuarvot) Ilmoitetaan funktion arvot
LisätiedotRekursio. Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on
Rekursio Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on käyttää rekursiota: Rekursio Funktio f : N R määritellään yleensä
LisätiedotHieman joukko-oppia. A X(A a A b A a b).
Hieman joukko-oppia Seuraavassa esittelen hieman alkeellista joukko-oppia. Päämääränäni on saada käyttöön hyvinjärjestyslause, jota tarvitsemme myöhemmin eräissä todistuksissa. Esitykseni on aika, vaikkei
LisätiedotOnko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?
Matematiikkaa kaikille, kesä 2017 Avoin yliopisto Luentojen 2,4 ja 6 tehtäviä Päivittyy kurssin aikana 1. Olkoon A = {0, 1, 2}, B = {1, 2, 3} ja C = {2, 3, 4}. Luettele joukkojen A B, A B, A B ja (A B)
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ätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 19. syyskuuta 2016
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 19. syyskuuta 2016 Sisällys Neuvoja opintoihin tee joka päivä ainakin vähän uskalla mennä epämukavuusalueelle en
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. Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa
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ä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ä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ä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ä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ä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ä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ätiedotJoukko-oppi. Joukko-oppi. Joukko-oppi. Joukko-oppi: Mitä opimme? Joukko-opin peruskäsitteet
TKK () Ilkka Mellin (2004) 1 Joukko-oppi Liite: Joukko-oppi TKK () Ilkka Mellin (2004) 2 Joukko-oppi: Mitä opimme? Tämän liitteen tavoitteena on esitellä joukko-opin peruskäsitteet ja - operaatiot laajuudessa,
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ätiedotKuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara
Kuvauksista ja relaatioista Jonna Makkonen Ilari Vallivaara 20. lokakuuta 2004 Sisältö 1 Esipuhe 2 2 Kuvauksista 3 3 Relaatioista 8 Lähdeluettelo 12 1 1 Esipuhe Joukot ja relaatiot ovat periaatteessa äärimmäisen
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ä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ätiedotMatematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 1 1 Matemaattisesta päättelystä Matemaattisen analyysin kurssin (kuten minkä tahansa matematiikan kurssin) seuraamista helpottaa huomattavasti, jos opiskelija ymmärtää
Lisätiedot1 Supremum ja infimum
Pekka Alestalo, 2018 Tämä moniste täydentää reaalilukuja ja jatkuvia reaalifunktioita koskevaa kalvosarjaa lähinnä perustelujen ja todistusten osalta. Suurin osa määritelmistä jms. on esitetty jo kalvoissa,
LisätiedotTIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 22. toukokuuta 2013
TIEA24 Automaatit ja kieliopit, kesä 3 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 22. toukokuuta 3 Sisällys Äärellisiä automaatteja ON PUSH PUSH OFF Q T J Q C C H S C,Q C,Q 0 40 60 80 00, 70 90 Deterministinen
LisätiedotMatematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus 2, malliratkaisut
Matematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus, malliratkaisut 1.-5.9.009 1. Muodosta joukot A B, A B ja A\B sekä laske niiden alkioiden lukumäärät (mikäli kyseessä on äärellinen
LisätiedotSäännölliset kielet. Sisällys. Säännölliset kielet. Säännölliset operaattorit. Säännölliset kielet
TIEA241 Automaatit ja kieliopit, kesä 2013 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 24. toukokuuta 2013 Sisällys Formaalit kielet On tapana sanoa, että merkkijonojen joukko on (formaali) kieli. Hieman
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ätiedotMatematiikka kaikille, kesä 2017
Matematiikka kaikille, kesä 2017 Luentojen 2,4 ja 6 luentokalvoja (päivittyy kurssin aikana) Henrik Wirzenius, henrik.wirzenius@helsinki.fi, June 21, 2017 1/30 Matematiikan perusteita (joukko-oppi) Kurssin
LisätiedotJohdatus matemaattiseen päättelyyn
Johdatus matemaattiseen päättelyyn Oulun yliopisto Matemaattisten tieteiden laitos 2014 Tero Vedenjuoksu Sisältö 1 Johdanto 3 2 Esitietoja ja merkintöjä 4 3 Todistamisesta 5 3.1 Suora todistus.............................
LisätiedotTenttiin valmentavia harjoituksia
Tenttiin valmentavia harjoituksia Alla olevissa harjoituksissa suluissa oleva sivunumero viittaa Juha Partasen kurssimonisteen siihen sivuun, jolta löytyy apua tehtävän ratkaisuun. Funktiot Harjoitus.
LisätiedotReaaliarvoisen yhden muuttujan funktion raja arvo LaMa 1U syksyllä 2011
Neljännen viikon luennot Reaaliarvoisen yhden muuttujan funktion raja arvo LaMa 1U syksyllä 2011 Perustuu Trench in verkkokirjan lukuun 2.1. Esko Turunen esko.turunen@tut.fi Funktion y = f (x) on intuitiivisesti
Lisä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ä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ä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ä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ätiedot(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.
Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Tietyn ominaisuuden samuus -relaatio on ekvivalenssi; se on (1) refleksiivinen,
LisätiedotÄärettömistä joukoista
Äärettömistä joukoista Markku Halmetoja Mistä tietäisit, että sinulla on yhtä paljon sormia ja varpaita, jos et osaisi laskea niitä? Tiettyä voimisteluliikettä tehdessäsi huomaisit, että jokaista sormea
Lisä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ä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ätiedotJohdatus matemaattiseen päättelyyn
Johdatus matemaattiseen päättelyyn Marko Leinonen Oulun yliopisto Matemaattisten tieteiden laitos Syyslukukausi 2018 1 Merkintöjä ja määritelmiä Luonnollisten lukujen joukko N on joukko ja kokonaislukujen
LisätiedotMatematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.
Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden
Lisä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ätiedotTehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.
HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 2 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, 15-17
Lisätiedot