Lauselogiikka Tautologia

Koko: px
Aloita esitys sivulta:

Download "Lauselogiikka Tautologia"

Transkriptio

1 Lauselogiikka Tautologia Hannu Lehto

2 Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden totuusarvoista. Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 2/6

3 Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden totuusarvoista. Tautologiaa voidaan tutkia totuustauluilla. Onko esimerkiksi lause a b a tautologia eli pätevä? Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 2/6

4 Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden totuusarvoista. Tautologiaa voidaan tutkia totuustauluilla. Onko esimerkiksi lause a b a tautologia eli pätevä? a b a b a b a Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 2/6

5 Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden totuusarvoista. Tautologiaa voidaan tutkia totuustauluilla. Onko esimerkiksi lause a b a tautologia eli pätevä? a b a b a b a Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 2/6

6 Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden totuusarvoista. Tautologiaa voidaan tutkia totuustauluilla. Onko esimerkiksi lause a b a tautologia eli pätevä? a b a b a b a Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 2/6

7 Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden totuusarvoista. Tautologiaa voidaan tutkia totuustauluilla. Onko esimerkiksi lause a b a tautologia eli pätevä? a b a b a b a Lause ei ole tautologia. Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 2/6

8 Esimerkki 1 Kirjoita lauselogiikan kielellä seuraavat väitteet: 1. Jos on aamu, niin olen väsynyt. 2. Ei ole totta, että on aamu ja en ole väsynyt. Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 3/6

9 Esimerkki 1 Kirjoita lauselogiikan kielellä seuraavat väitteet: 1. Jos on aamu, niin olen väsynyt. 2. Ei ole totta, että on aamu ja en ole väsynyt. Olkoon p = on aamu ja q = olen väsynyt. Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 3/6

10 Esimerkki 1 Kirjoita lauselogiikan kielellä seuraavat väitteet: 1. Jos on aamu, niin olen väsynyt. 2. Ei ole totta, että on aamu ja en ole väsynyt. Olkoon p = on aamu ja q = olen väsynyt. 1. p q Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 3/6

11 Esimerkki 1 Kirjoita lauselogiikan kielellä seuraavat väitteet: 1. Jos on aamu, niin olen väsynyt. 2. Ei ole totta, että on aamu ja en ole väsynyt. Olkoon p = on aamu ja q = olen väsynyt. 1. p q 2. (p q) Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 3/6

12 Esimerkki 1 Kirjoita lauselogiikan kielellä seuraavat väitteet: 1. Jos on aamu, niin olen väsynyt. 2. Ei ole totta, että on aamu ja en ole väsynyt. Olkoon p = on aamu ja q = olen väsynyt. 1. p q 2. (p q) Ovatko väitteet 1. ja 2. yhtäpitäviä, ts. onko lause (p q) (p q) tautologia? Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 3/6

13 Esimerkki 1 Kirjoita lauselogiikan kielellä seuraavat väitteet: 1. Jos on aamu, niin olen väsynyt. 2. Ei ole totta, että on aamu ja en ole väsynyt. Olkoon p = on aamu ja q = olen väsynyt. 1. p q 2. (p q) Ovatko väitteet 1. ja 2. yhtäpitäviä, ts. onko lause (p q) (p q) tautologia? p q p q q p q (p q) Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 3/6

14 Esimerkki 1 Kirjoita lauselogiikan kielellä seuraavat väitteet: 1. Jos on aamu, niin olen väsynyt. 2. Ei ole totta, että on aamu ja en ole väsynyt. Olkoon p = on aamu ja q = olen väsynyt. 1. p q 2. (p q) Ovatko väitteet 1. ja 2. yhtäpitäviä, ts. onko lause (p q) (p q) tautologia? p q p q q p q (p q) Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 3/6

15 Esimerkki 1 Kirjoita lauselogiikan kielellä seuraavat väitteet: 1. Jos on aamu, niin olen väsynyt. 2. Ei ole totta, että on aamu ja en ole väsynyt. Olkoon p = on aamu ja q = olen väsynyt. 1. p q 2. (p q) Ovatko väitteet 1. ja 2. yhtäpitäviä, ts. onko lause (p q) (p q) tautologia? p q p q q p q (p q) samat ovat yhtäpitäviä Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 3/6

16 Esimerkki 2 Osoita, että lause (p q) ( q p) on tautologia. Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 4/6

17 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

18 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

19 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

20 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki 4. p p p Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

21 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki 4. p p p 5. p p p Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

22 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki 4. p p p 5. p p p 6. (p q) p q de Morgan Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

23 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki 4. p p p 5. p p p 6. (p q) p q de Morgan 7. (p q) p q de Morgan Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

24 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki 4. p p p 5. p p p 6. (p q) p q de Morgan 7. (p q) p q de Morgan 8. (p q) p q implikaation ominaisuus Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

25 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki 4. p p p 5. p p p 6. (p q) p q de Morgan 7. (p q) p q de Morgan 8. (p q) p q implikaation ominaisuus 9. vaihdantalait Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

26 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki 4. p p p 5. p p p 6. (p q) p q de Morgan 7. (p q) p q de Morgan 8. (p q) p q implikaation ominaisuus 9. vaihdantalait 10. liitäntälait Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

27 Joitakin tautologioita 1. (p p) poissuljetun ristiriidan laki 2. p p poissuljetun kolmannen laki 3. p p kaksoisnegaation laki 4. p p p 5. p p p 6. (p q) p q de Morgan 7. (p q) p q de Morgan 8. (p q) p q implikaation ominaisuus 9. vaihdantalait 10. liitäntälait 11. osittelulait Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 5/6

28 Esimerkkejä Esimerkki 1. Osoita käyttämättä totuustauluja, että lauseet a (b c) ja (a ( b c)) ovat yhtäpitäviä eli ekvivalentteja, ts. että lause a (b c) (a ( b c)) on tautologia eli pätevä. Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 6/6

29 Esimerkkejä Esimerkki 1. Osoita käyttämättä totuustauluja, että lauseet a (b c) ja (a ( b c)) ovat yhtäpitäviä eli ekvivalentteja, ts. että lause a (b c) (a ( b c)) on tautologia eli pätevä. Esimerkki 2. Sievennä lause (p q p q). Hannu Lehto, 12. joulukuuta 2007 Lahden Lyseon lukio - p. 6/6

LAUSELOGIIKKA (1) Sanalliset ilmaisut ovat usein epätarkkoja. On ilmaisuja, joista voidaan sanoa, että ne ovat tosia tai epätosia, mutta eivät molempia. Ilmaisuja, joihin voidaan liittää totuusarvoja (tosi,

Lisätiedot

Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset

Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset 2000-08-03T10:30/12:00 Huomaa, että joihinkin kysymyksiin on useampia oikeita vastauksia, joten nämä ovat todellakin vain mallivastaukset. 1 Logiikkaa

Lisätiedot

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun {A 1,A 2,...,A n,b } 0, jatkoa jatkoa 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin

Lisätiedot

1 Logiikkaa. 1.1 Logiikan symbolit

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

Lisätiedot

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Perusaksioomat: Laki 1: Kukin totuusfunktio antaa kullekin propositiolle totuusarvoksi joko toden T tai epätoden

Lisätiedot

Modus Ponens. JosAjaA B ovat tosia, niin välttämättä myösb on tosi 1 / 15. Modus Ponens. Ketjusääntö. Päättelyketju.

Modus Ponens. JosAjaA B ovat tosia, niin välttämättä myösb on tosi 1 / 15. Modus Ponens. Ketjusääntö. Päättelyketju. JosAjaA B ovat tosia, niin välttämättä myösb on tosi 1 / 15 JosAjaA B ovat tosia, niin välttämättä myösb on tosi (A (A B)) B on tautologia eli (A (A B)) B. 1 / 15 JosAjaA B ovat tosia, niin välttämättä

Lisätiedot

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 811120P 3. 5 op Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 ja laskenta tarkastelemme terveeseen järkeen perustuvaa päättelyä formaalina järjestelmänä logiikkaa sovelletaan

Lisätiedot

Matematiikan peruskäsitteitä

Matematiikan peruskäsitteitä 2 Matematiikan peruskäsitteitä Nimensä mukaisesti kurssilla käsitellään matematiikan peruskäsitteitä, mutta lähinnä vain diskreetin matematiikan näkökulmasta. Lukiostakin tuttuja lineaarialgebran ja analyysin

Lisätiedot

Johdatus logiikkaan 1

Johdatus logiikkaan 1 Johdatus logiikkaan 1 28. elokuuta 2014 Tämän tekstin lähtökohtana on ollut moniste Veikko Rantala - Ari Virtanen: Logiikan peruskurssi, joka on saatavilla netistä http://www.sis.uta.fi/matematiikka/ modaalilogiikka/logpk2003.pdf.

Lisätiedot

811120P Diskreetit rakenteet

811120P 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ätiedot

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos... 2 Logiikkaa Tässä luvussa tutustutaan joihinkin logiikan käsitteisiin ja merkintöihin. Lisätietoja ja tarkennuksia löytyy esimerkiksi Jouko Väänäsen kirjasta Logiikka I 2.1 Loogiset konnektiivit Väitelauseen

Lisätiedot

Induktio kaavan pituuden suhteen

Induktio kaavan pituuden suhteen Induktio kaavan pituuden suhteen Lauselogiikan objektikieli määritellään kurssilla Logiikka 1B seuraavasti: 1. Lausemuuttujat p 1, p 2, p 3,... ovat kaavoja. 2. Jos A on kaava, niin A on kaava. 3. Jos

Lisätiedot

Pikapaketti logiikkaan

Pikapaketti logiikkaan Pikapaketti logiikkaan Tämän oppimateriaalin tarkoituksena on tutustua pikaisesti matemaattiseen logiikkaan. Oppimateriaalin asioita tarvitaan projektin tekemisessä. Kiinnostuneet voivat lukea lisää myös

Lisätiedot

JOHDATUS MATEMATIIKKAAN

JOHDATUS MATEMATIIKKAAN JOHDATUS MATEMATIIKKAAN Toitteko minulle ihmisen, joka ei osaa laskea sormiaan? Kuolleiden kirja JYVÄSKYLÄN YLIOPISTO MATEMATIIKAN JA TILASTOTIETEEN LAITOS Alkusanat Tämä tiivistelmä on allekirjoittaneen

Lisätiedot

Suora. Hannu Lehto. Lahden Lyseon lukio

Suora. Hannu Lehto. Lahden Lyseon lukio Suora Hannu Lehto Lahden Lyseon lukio Suuntavektori Normaalivektori Hannu Lehto 4. syyskuuta 2010 Lahden Lyseon lukio 2 / 12 Esimerkki Suuntavektori Normaalivektori Tarkastellaan suoraa y = 2 3 x 1. kulmakerroin

Lisätiedot

ALGORITMI- MATEMATIIKKA. Keijo Ruohonen

ALGORITMI- MATEMATIIKKA. Keijo Ruohonen ALGORITMI- MATEMATIIKKA Keijo Ruohonen 1993 Kirjallisuutta ANDERSON, I.: A First Course in Combinatorial Mathematics. Oxford University Press (1979) GRAHAM, R.L. & KNUTH, D.E. & PATASHNIK, O.: Concrete

Lisätiedot

1 Johdanto, Tavoitteet 2. 2 Lähteitä 2. 3 Propositiologiikkaa 2. 4 Karnaugh'n kartat 16. 6 Predikaattilogiikkaa 31. 8 Relaatiot 42.

1 Johdanto, Tavoitteet 2. 2 Lähteitä 2. 3 Propositiologiikkaa 2. 4 Karnaugh'n kartat 16. 6 Predikaattilogiikkaa 31. 8 Relaatiot 42. Diskreetit rakenteet, syksy 2015 Itä-Suomen yliopisto, Tietojenkäsittelytieteen laitos Ville Heikkinen 14.12.2015 15:18 Sisältö 1 Johdanto, Tavoitteet 2 2 Lähteitä 2 3 Propositiologiikkaa 2 4 Karnaugh'n

Lisätiedot

Monisteen Rantala & Virtanen, Logiikkaa: teoriaa ja sovelluksia harjoitustehtävät.

Monisteen Rantala & Virtanen, Logiikkaa: teoriaa ja sovelluksia harjoitustehtävät. Monisteen Rantala & Virtanen, Logiikkaa: teoriaa ja sovelluksia harjoitustehtävät. Tehtäviä on osittain muokattu, jotta ne vastaisivat paremmin kokeilumonistetta Rantala & Virtanen, Logiikan peruskurssi.

Lisätiedot

Logiikkaa Matematiikan mestariluokka, kevät 2010 Harjoitus 1a ( )

Logiikkaa Matematiikan mestariluokka, kevät 2010 Harjoitus 1a ( ) Logiikkaa Matematiikan mestariluokka, kevät 2010 Harjoitus 1a (23.1.2010) 1. Merkitään P := Elokuva on kiinnostava., Q := Käyn katsomassa elokuvan., R := Elokuvassa on avaruusolioita.. Kirjoita seuraavat

Lisätiedot

Tietotekniikka ja diskreetti matematiikka

Tietotekniikka ja diskreetti matematiikka Tietotekniikka ja diskreetti matematiikka Tietotekniikassa Epäjatkuvan matematiikan (diskreetin matematiikan) välineitä. Ongelmien ja ratkaisujen kuvaus. Tavoite: Perehdytään tavanomaisimpiin käytetyistä

Lisätiedot

Testaa taitosi 1: Lauseen totuusarvo

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

Lisätiedot

LOGIIKAN PERUSKURSSI. Veikko Rantala Ari Virtanen

LOGIIKAN PERUSKURSSI. Veikko Rantala Ari Virtanen LOGIIKAN PERUSKURSSI Veikko Rantala Ari Virtanen Matematiikan, tilastotieteen ja filosofian laitos Tampereen yliopisto Kokeilumoniste, elokuu 2003 ESIPUHE Tämä kokeilumoniste perustuu Tampereen yliopistossa

Lisätiedot

MAT-13510 Laaja Matematiikka 1U. Hyviä tenttikysymyksiä T3 Matemaattinen induktio

MAT-13510 Laaja Matematiikka 1U. Hyviä tenttikysymyksiä T3 Matemaattinen induktio MAT-13510 Laaja Matematiikka 1U. Hyviä tenttikysymyksiä T3 Matemaattinen induktio Olkoon a 1 = a 2 = 5 ja a n+1 = a n + 6a n 1 kun n 2. Todista induktiolla, että a n = 3 n ( 2) n, kun n on positiivinen

Lisätiedot

Vapaa matikka. Lukuteoria ja logiikka (MAA11) How often have I said to you that when you have eliminated the impossible,

Vapaa matikka. Lukuteoria ja logiikka (MAA11) How often have I said to you that when you have eliminated the impossible, Vapaa matikka Lukuteoria ja logiikka (MAA11) How often have I said to you that when you have eliminated the impossible, whatever remains, however improbable, must be the truth? Sherlock Holmes The Sign

Lisätiedot

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2 uonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "ogiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia

Lisätiedot

Matematiikan mestariluokka 2010

Matematiikan mestariluokka 2010 Matematiikan mestariluokka 00 Martti E. Pesonen 3. huhtikuuta 00 Mitä matematiikka on? Matematiikan määritteleminen lienee turhaa, kenties myös mahdotonta. Matemaatikot sanovatkin usein leikillisesti,

Lisätiedot

Taso. Hannu Lehto. Lahden Lyseon lukio

Taso. Hannu Lehto. Lahden Lyseon lukio Taso Hannu Lehto Lahden Lyseon lukio Taso avaruudessa Piste P 0 ja tason normaalivektori n määräävät tason. n=a i+b j+c k P 0 (x 0,y 0,z 0 ) Hannu Lehto 17. syyskuuta 2010 Lahden Lyseon lukio 2 / 7 Taso

Lisätiedot

Matematiikan johdantokurssi

Matematiikan johdantokurssi Matematiikan johdantokurssi Martti Pesonen, Pekka Smolander,... 7. joulukuuta 05 Mitä matematiikka on? Matematiikan määritteleminen lienee turhaa, kenties myös mahdotonta. Matemaatikot sanovatkin usein

Lisätiedot

Ratkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R):

Ratkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R): Diskreetti matematiikka, sks 2010 Harjoitus 2, ratkaisuista 1. Seuraavassa on kuvattu kolme virtapiiriä, joissa on paristo, sopiva lamppu L ja katkaisimia P, Q, R, joiden läpi virta kulkee (1) tai ei kulje

Lisätiedot

Vapaa matikka. MAA11 Lukuteoria ja logiikka. Sisältö on lisensoitu avoimella CC BY 4.0 -lisenssillä.

Vapaa matikka. MAA11 Lukuteoria ja logiikka. Sisältö on lisensoitu avoimella CC BY 4.0 -lisenssillä. Vapaa matikka MAA11 Lukuteoria ja logiikka Sisältö on lisensoitu avoimella CC BY 4.0 -lisenssillä. Avoimet oppimateriaalit ry Yhdistys tuottaa ja julkaisee oppimateriaaleja ja kirjoja, jotka ovat kaikille

Lisätiedot

HARJOITUS 1. 1. Formalisoi seuraavat lauseet lauselogiikassa.

HARJOITUS 1. 1. Formalisoi seuraavat lauseet lauselogiikassa. HARJOITUS 1. 1. Formalisoi seuraavat lauseet lauselogiikassa. (a) Aurinko laskee länteen. (b) Jos otat, et aja. (c) Jos Heli ei tule tänään käymään, katson televisiosta jalkapalloa, mutta en visailua.

Lisätiedot

Vapaa matikka. MAA11 Lukuteoria ja logiikka. How often have I said to you that when you have eliminated the

Vapaa matikka. MAA11 Lukuteoria ja logiikka. How often have I said to you that when you have eliminated the Vapaa matikka MAA11 Lukuteoria ja logiikka How often have I said to you that when you have eliminated the impossible, whatever remains, however improbable, must be the truth? Sherlock Holmes The Sign of

Lisätiedot

MAA11 - Lukuteoria ja logiikka

MAA11 - Lukuteoria ja logiikka Anna-Maija Partanen Antti Rasila Mika Setälä Vapaa matikka 11 MAA11 - Lukuteoria ja logiikka Avoimet oppimateriaalit ry Sisältö on lisensoitu avoimella CC BY 3.0 -lisenssillä. LUKUTEORIA JA LOGIIKKA How

Lisätiedot

Johdatus diskreettiin matematiikkaan

Johdatus diskreettiin matematiikkaan Kirjan Johdatus diskreettiin matematiikkaan harjoitustehtävien ratkaisuja Jukka Ilmonen Jukka.Ilmonen@uta.fi Jarmo Niemelä jarmo.niemela@kolumbus.fi 27. elokuuta 2004 4. a) p q r p q r 0 0 0 0 1 0 0 1

Lisätiedot

Vinokulmainen kolmio. Hannu Lehto. Lahden Lyseon lukio

Vinokulmainen kolmio. Hannu Lehto. Lahden Lyseon lukio Vinokulmainen kolmio Hannu Lehto Lahden Lyseon lukio Yksikköympyrä ja suunnattu kulma Yksikköympyrä 1 y 0 x -1-1 0 1 Hannu Lehto 18. maaliskuuta 2008 Lahden Lyseon lukio 2 / 8 Yksikköympyrä ja suunnattu

Lisätiedot

JOUKKO-OPIN ALKEITA. Veikko Rantala Ari Virtanen 1 2006

JOUKKO-OPIN ALKEITA. Veikko Rantala Ari Virtanen 1 2006 1 Joukon käsite JOUKKO-OPIN ALKEITA Veikko Rantala Ari Virtanen 1 2006 Joukon voisi yrittää määritellä kokoelmaksi olioita, mutta tämä edellyttää, että ymmärretään mitä olioilla ja kokoelmalla tarkoitetaan.

Lisätiedot

Rakenteiset päättelyketjut ja avoin lähdekoodi

Rakenteiset päättelyketjut ja avoin lähdekoodi Rakenteiset päättelyketjut ja avoin lähdekoodi Mia Peltomäki Kupittaan lukio ja Turun yliopiston IT-laitos http://crest.abo.fi /Imped Virtuaalikoulupäivät 24. marraskuuta 2009 1 Taustaa Todistukset muodostavat

Lisätiedot

5.1 Semanttisten puiden muodostaminen

5.1 Semanttisten puiden muodostaminen Luku 5 SEMNTTISET PUUT 51 Semanttisten puiden muodostaminen Esimerkki 80 Tarkastellaan kysymystä, onko kaava = (( p 0 p 1 ) (p 1 p 2 )) toteutuva Tätä voidaan tutkia päättelemällä semanttisesti seuraavaan

Lisätiedot

LOGIIKKA, TIETÄMYS JA PÄÄTTELY

LOGIIKKA, TIETÄMYS JA PÄÄTTELY 36 LOGIIKKA, TIETÄMYS JA PÄÄTTELY Ryhdymme nyt tarkastelemaan tietämyskannan (knowledge base, KB omaavia agentteja KB:n avulla agentti pyrkii pitämään yllä tietoa vain osittain havainnoimastaan maailmasta

Lisätiedot

Ongelma 1: Miten luonnollisen kielen ilmaisut muutetaan määrämuotoisiksi eli formalisoidaan?

Ongelma 1: Miten luonnollisen kielen ilmaisut muutetaan määrämuotoisiksi eli formalisoidaan? Ongelma 1: Miten luonnollisen kielen ilmaisut muutetaan määämuotoisiksi eli fomalisoidaan? 2012-2013 Lasse Lensu 2 Ongelma 2: Mitä ovat oositiologiikka, lauselogiikka ja nollannen ketaluvun logiikka? 2012-2013

Lisätiedot

1 Johdanto 2 1.1 Esimerkkejä loogisesta päättelystä... 3

1 Johdanto 2 1.1 Esimerkkejä loogisesta päättelystä... 3 Diskreetit rakenteet, syksy 2011 Itä-Suomen yliopisto, Tietojenkäsittelytieteen laitos Simo Juvaste 13.12.2011 10:02 Sisältö 1 Johdanto 2 1.1 Esimerkkejä loogisesta päättelystä.............................

Lisätiedot

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen. Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Tietyn ominaisuuden samuus -relaatio on ekvivalenssi; se on (1) refleksiivinen,

Lisätiedot

JOHDATUS MATEMATIIKKAAN. Petri Juutinen

JOHDATUS MATEMATIIKKAAN. Petri Juutinen JOHDATUS MATEMATIIKKAAN Petri Juutinen 7. toukokuuta 04 Sisältö Joukko-oppia 4. Joukko-opin peruskäsitteitä ja merkintöjä........... 4 Todistamisen ja matemaattisen päättelyn alkeita 3. Alkupala..............................

Lisätiedot

13. Loogiset operaatiot 13.1

13. Loogiset operaatiot 13.1 13. Loogiset operaatiot 13.1 Sisällys Loogiset operaatiot AND, OR, XOR ja NOT. Operaatioiden ehdollisuus. Bittioperaatiot. Loogiset operaatiot ohjausrakenteissa. Loogiset operaatiot ja laskentajärjestys.

Lisätiedot

Mikko Saarimäki DISKREETTIÄ JA ÄÄRELLISTÄ MATEMATIIKKAA APPROBATUR 3 -KURSSILLE 3. PAINOS

Mikko Saarimäki DISKREETTIÄ JA ÄÄRELLISTÄ MATEMATIIKKAA APPROBATUR 3 -KURSSILLE 3. PAINOS Mikko Saarimäki DISKREETTIÄ JA ÄÄRELLISTÄ MATEMATIIKKAA APPROBATUR 3 -KURSSILLE 3 PAINOS JYVÄSKYLÄN YLIOPISTO AVOIN YLIOPISTO JYVÄSKYLÄ 2007 Avoimen yliopiston julkaisusarja Oppimateriaaleja 5 ISBN 978-951-39-2794-3

Lisätiedot

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Heidi Luukkonen. Sahlqvistin kaavat

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Heidi Luukkonen. Sahlqvistin kaavat TAMPEREEN YLIOPISTO Pro gradu -tutkielma Heidi Luukkonen Sahlqvistin kaavat Informaatiotieteiden yksikkö Matematiikka Maaliskuu 2013 Tampereen yliopisto Informaatiotieteiden yksikkö LUUKKONEN, HEIDI: Sahlqvistin

Lisätiedot

Tommi Sottinen, tommi.sottinen@uwasa.fi

Tommi Sottinen, tommi.sottinen@uwasa.fi Päätöksiä ja Paatoksia Tommi Sottinen, tommi.sottinen@uwasa.fi 28. marraskuuta 2011 Sisältö 0 Logiikkaa ja joukko-oppia 4 0.1 Logiikka................................ 4 0.2 Joukko-oppi..............................

Lisätiedot

Logiikka I 7. harjoituskerran malliratkaisut 19. - 23.3.07 Ratkaisut laati Miikka Silfverberg.

Logiikka I 7. harjoituskerran malliratkaisut 19. - 23.3.07 Ratkaisut laati Miikka Silfverberg. Logiikka I 7. harjoituskerran malliratkaisut 19. - 23.3.07 Ratkaisut laati Miikka Silfverberg. Olkoon L = {Lontoo, P ariisi, P raha, Rooma, Y hteys(x, y)}. Kuvan 3.1. kaupunkiverkko vastaa seuraavaa L-mallia

Lisätiedot

Preliminäärikoe Tehtävät Pitkä matematiikka 4.2.2014 1 / 3

Preliminäärikoe Tehtävät Pitkä matematiikka 4.2.2014 1 / 3 Preliminäärikoe Tehtävät Pitkä matematiikka / Kokeessa saa vastata enintään kymmeneen tehtävään Tähdellä (* merkittyjen tehtävien maksimipistemäärä on 9, muiden tehtävien maksimipistemäärä on 6 Jos tehtävässä

Lisätiedot

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa TAMPEREEN YLIOPISTO Pro gradu -tutkielma Roosa Niemi Riippuvuuslogiikkaa Informaatiotieteiden yksikkö Matematiikka Syyskuu 2011 Tampereen yliopisto Informaatiotieteiden yksikkö ROOSA NIEMI: Riippuvuuslogiikkaa

Lisätiedot

Agentin toiminnan arviointi

Agentin toiminnan arviointi 35 1.1 ÄLYKKÄÄ AGNI Agentti havainnoi toimintaympäristöään sensorein ja vaikuttaa siihen aktuaattorein Ihmisen sensoreita ovat mm. silmät, korvat ja nenä sekä aktuaattoreita esim. kädet ja jalat Robotin

Lisätiedot

Matematiikan tukikurssi

Matematiikan 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ätiedot

Alkioiden 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ä. 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ätiedot

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet )

T 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ätiedot

Matematiikan mestariluokka, syksy 2009 7

Matematiikan mestariluokka, syksy 2009 7 Matematiikan mestariluokka, syksy 2009 7 2 Alkuluvuista 2.1 Alkuluvut Määritelmä 2.1 Positiivinen luku a 2 on alkuluku, jos sen ainoat positiiviset tekijät ovat 1 ja a. Jos a 2 ei ole alkuluku, se on yhdistetty

Lisätiedot

Kieli merkitys ja logiikka. Luento 6: Merkitys ja kieli

Kieli merkitys ja logiikka. Luento 6: Merkitys ja kieli Kieli merkitys ja logiikka Luento 6: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Sanat ja käsitteet Kompositionaalisuus Propositiologiikka Kysymykset Merkityksen luonne Miten ihminen hahmottaa

Lisätiedot

ALGEBRA Tauno Mets ankyl a Marjatta N a at anen 2010

ALGEBRA Tauno Mets ankyl a Marjatta N a at anen 2010 ALGEBRA Tauno Metsänkylä Marjatta Näätänen 2010 c Tauno Metsänkylä ja Marjatta Näätänen ALGEBRA Tauno Metsänkylä Marjatta Näätänen Esipuhe Tämä kirja on syntynyt toisen tekijän(t.m.) Turun yliopistossa

Lisätiedot

Ääriarvosovelluksia. Hannu Lehto. Lahden Lyseon lukio

Ääriarvosovelluksia. Hannu Lehto. Lahden Lyseon lukio Ääriarvosovelluksia Hannu Lehto Lahden Lseon lukio Ääriarvoprobleeman Ääriarvoprobleeman Ääriarvoprobleeman Ääriarvoprobleeman 1. Piirrä kuva Ääriarvoprobleeman Ääriarvoprobleeman Ääriarvoprobleeman 2

Lisätiedot

PETR HÁJEKIN BL-ALGEBRAT

PETR HÁJEKIN BL-ALGEBRAT TAMPEREEN TEKNILLINEN YLIOPISTO Teknis-luonnontieteellinen osasto LASSE POHJOLAINEN PETR HÁJEKIN BL-ALGEBRAT DIPLOMITYÖ Aihe hyväksytty osastoneuvoston kokouksessa 13. 4. 2005. Tarkastaja: Professori Esko

Lisätiedot

Sähkötekniikan perusteet

Sähkötekniikan perusteet Sähkötekniikan perusteet 1) Resistanssien rinnankytkentä kuormittaa a) enemmän b) vähemmän c) yhtä paljon sähkölähdettä kuin niiden sarjakytkentä 2) Jännitelähteiden sarjakytkentä a) suurentaa kytkennästä

Lisätiedot

Matematiikkaa logiikan avulla

Matematiikkaa logiikan avulla Ralph-Johan Back Matematiikkaa logiikan avulla Logiikka ja rakenteiset päättelyketjut Turku Centre for Computer Science IMPEd Resource Centre TUCS Lecture Notes No 11, Oct 2008 Matematiikkaa logiikan

Lisätiedot

Matematiikkaa logiikan avulla

Matematiikkaa logiikan avulla Ralph-Johan Back Joakim von Wright Matematiikkaa logiikan avulla Rakenteiset päättelyketjut lukiomatematiikassa Turku Centre for Computer Science IMPEd Resource Centre TUCS Lecture Notes No 4, Oct 2008

Lisätiedot

Matematiikan peruskurssi 2

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

Lisätiedot

Mb02 Koe 26.1.2015 Kuopion Lyseon lukio (KK) sivu 1/1

Mb02 Koe 26.1.2015 Kuopion Lyseon lukio (KK) sivu 1/1 Mb0 Koe 6.1.015 Kuopion Lyseon lukio (KK) sivu 1/1 Kokeessa on kolme osiota: A, B1 ja B. Osiossa A et saa käyttää laskinta. Palautettuasi Osion A ratkaisut, saat laskimen pöydältä. Taulukkokirjaa voit

Lisätiedot

Reaalifunktioista 1 / 17. Reaalifunktioista

Reaalifunktioista 1 / 17. Reaalifunktioista säilyy 1 / 17 säilyy Jos A, B R, niin funktiota f : A B sanotaan (yhden muuttujan) reaalifunktioksi. Tällöin karteesinen tulo A B on (aiempia esimerkkejä luonnollisemmalla tavalla) xy-tason osajoukko,

Lisätiedot

Alkioiden 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ä. 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ätiedot

1.1. YHDISTETTY FUNKTIO

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

Lisätiedot

rakenteiset päättelyketjut.

rakenteiset päättelyketjut. Jämsänkosken lukion ensimmäisen lukioluokan matemaatikko Janne Järvinen laskemassa taululle kotilaskua käyttäen rakenteiset päättelyketjut-formaattia. Rakenteiset päättelyketjut Mauri Toivonen, vanhempi

Lisätiedot

Ramseyn lauseen ensimmäinen sovellus

Ramseyn lauseen ensimmäinen sovellus Ramseyn lauseen ensimmäinen sovellus Jarkko Peltomäki 30. huhtikuuta 2012 Tässä esseessä esitetään Frank Ramseyn vuonna 1929 esittämä tulos logiikassa, jonka todistamiseksi hän osoitti myöhemmin tärkeäksi

Lisätiedot

Insinöörimatematiikka IA

Insinöö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ätiedot

Kohti ylioppilaskirjoituksia

Kohti ylioppilaskirjoituksia Kohti ylioppilaskirjoituksia Hannu Lehto Lahden Lyseon lukio Aikataulu 1. Kurssikokeena preliminääri 8. 2. 2011 (jakson viimeinen päivä) Hannu Lehto 28. marraskuuta 2010 Lahden Lyseon lukio 2 / 4 Aikataulu

Lisätiedot

H = : a, b C M. joten jokainen A H {0} on kääntyvä matriisi. Itse asiassa kaikki nollasta poikkeavat alkiot ovat yksiköitä, koska. a b.

H = : a, b C M. joten jokainen A H {0} on kääntyvä matriisi. Itse asiassa kaikki nollasta poikkeavat alkiot ovat yksiköitä, koska. a b. 10. Kunnat ja kokonaisalueet Määritelmä 10.1. Olkoon K rengas, jossa on ainakin kaksi alkiota. Jos kaikki renkaan K nollasta poikkeavat alkiot ovat yksiköitä, niin K on jakorengas. Kommutatiivinen jakorengas

Lisätiedot

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

Karteesinen 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ätiedot

Matriisien tulo. Matriisit ja lineaarinen yhtälöryhmä

Matriisien tulo. Matriisit ja lineaarinen yhtälöryhmä Matriisien tulo Lause Olkoot A, B ja C matriiseja ja R Tällöin (a) A(B + C) =AB + AC, (b) (A + B)C = AC + BC, (c) A(BC) =(AB)C, (d) ( A)B = A( B) = (AB), aina, kun kyseiset laskutoimitukset on määritelty

Lisätiedot

Kokeile ilmaiseksi mafyvalmennus.fi/mafynetti. Valmistaudu täydellisesti lääkiksen pääsykokeeseen! Miten opit parhaiten?

Kokeile ilmaiseksi mafyvalmennus.fi/mafynetti. Valmistaudu täydellisesti lääkiksen pääsykokeeseen! Miten opit parhaiten? Miten opit parhaiten? Valmistaudu täydellisesti lääkiksen pääsykokeeseen! n Voit harjoitella kotoa käsin huippusuositulla Mafynetti-ohjelmalla. Mukaan kuuluu 4 täysimittaista harjoituskoetta!! n Harjoittelu

Lisätiedot

Matematiikan perusteista - logiikkaa ja joukko-oppia LaaMa 1 syksyllä 2009

Matematiikan perusteista - logiikkaa ja joukko-oppia LaaMa 1 syksyllä 2009 Ensimmäisen viikon luennot Matematiikan perusteista - logiikkaa ja joukko-oppia LaaMa 1 syksyllä 2009 Perustuu osittain kirjan Poole: Linear Algebra lukuihin Appendix A ja Appendix B Esko Turunen esko.turunen@tut.fi

Lisätiedot

Ilpo Halonen 2005. Luonnehdintoja logiikasta 11. Poikkeavista logiikoista. Poikkeavista logiikoista 2. Poikkeavista logiikoista 3. Johdatus logiikkaan

Ilpo Halonen 2005. Luonnehdintoja logiikasta 11. Poikkeavista logiikoista. Poikkeavista logiikoista 2. Poikkeavista logiikoista 3. Johdatus logiikkaan Luonnehdintoja logiikasta 11 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta Modaalilogiikan renessanssi ja sille sukua olevien loogisten

Lisätiedot

MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen

MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen Tehtävä 1. Onko joukon X potenssijoukon P(X) laskutoimitus distributiivinen laskutoimituksen suhteen? Onko laskutoimitus distributiivinen laskutoimituksen

Lisätiedot

LUKUTEORIA A. Harjoitustehtäviä, kevät 2013. (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että

LUKUTEORIA A. Harjoitustehtäviä, kevät 2013. (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että LUKUTEORIA A Harjoitustehtäviä, kevät 2013 1. Olkoot a, b, c Z, p P ja k, n Z +. (a) Osoita, että jos niin Osoita, että jos niin (c) Osoita, että jos niin (d) Osoita, että (e) Osoita, että a bc ja a c,

Lisätiedot

Sisällys. 3. Pseudokoodi. Johdanto. Johdanto. Johdanto ja esimerkki. Pseudokoodi lauseina. Kommentointi ja sisentäminen.

Sisällys. 3. Pseudokoodi. Johdanto. Johdanto. Johdanto ja esimerkki. Pseudokoodi lauseina. Kommentointi ja sisentäminen. Sisällys 3. Pseudokoodi Johdanto ja esimerkki. Pseudokoodi lauseina. Kommentointi ja sisentäminen. Ohjausrakenteet: Valinta if- ja if--rakenteilla. oisto while-, do-while- ja for-rakenteilla. 3.1 3.2 Johdanto

Lisätiedot

1.1 Yhtälön sieventäminen

1.1 Yhtälön sieventäminen 1.1 Yhtälön sieventäminen Lausekkeeksi voidaan kutsua jokaista merkittyä laskutoimitusta. Sellaisia matema-tiikan tehtäviä on vähän, joita suorittaessaan ei joutuisi sieventämään lausekkeita, millä tarkoitetaan

Lisätiedot

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

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

Lisätiedot

Kokelaan sukunimi ja kaikki etunimet selväsi kirjoitetuna. Kaava 1 b =2a 2 b =0,5a 3 b =1,5a 4 b = 1a. 4 5 b =4a 6 b = 5a

Kokelaan sukunimi ja kaikki etunimet selväsi kirjoitetuna. Kaava 1 b =2a 2 b =0,5a 3 b =1,5a 4 b = 1a. 4 5 b =4a 6 b = 5a 1 YLIOPPILASTUTKINTO- LAUTAKUNTA 28.9.2016 MATEMATIIKAN KOE PITKÄ OPPIMÄÄRÄ A-osa Ratkaise kaikki tämän osan tehtävät 1 4. Tehtävät arvostellaan pistein 0 6. Kunkin tehtävän ratkaisu kirjoitetaan tehtävän

Lisätiedot

Koottu lause; { ja } -merkkien väliin kirjoitetut lauseet muodostavat lohkon, jonka sisällä lauseet suoritetaan peräkkäin.

Koottu lause; { ja } -merkkien väliin kirjoitetut lauseet muodostavat lohkon, jonka sisällä lauseet suoritetaan peräkkäin. 2. Ohjausrakenteet Ohjausrakenteiden avulla ohjataan ohjelman suoritusta. peräkkäisyys valinta toisto Koottu lause; { ja } -merkkien väliin kirjoitetut lauseet muodostavat lohkon, jonka sisällä lauseet

Lisätiedot

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä Sekalaiset tehtävät, 11. syyskuuta 005, sivu 1 / 13 Tehtäviä Tehtävä 1. Johda toiseen asteen yhtälön ax + bx + c = 0, a 0 ratkaisukaava. Tehtävä. Määrittele joukon A R pienin yläraja sup A ja suurin alaraja

Lisätiedot

rm + sn = d. Siispä Proposition 9.5(4) nojalla e d.

rm + sn = d. Siispä Proposition 9.5(4) nojalla e d. 9. Renkaat Z ja Z/qZ Tarkastelemme tässä luvussa jaollisuutta kokonaislukujen renkaassa Z ja todistamme tuloksia, joita käytetään jäännösluokkarenkaan Z/qZ ominaisuuksien tarkastelussa. Jos a, b, c Z ovat

Lisätiedot

Perinnöllinen informaatio ja geneettinen koodi.

Perinnöllinen informaatio ja geneettinen koodi. Tehtävä A1 Kirjoita essee aiheesta: Perinnöllinen informaatio ja geneettinen koodi. Vastaa esseemuotoisesti, älä käytä ranskalaisia viivoja. Piirroksia voi käyttää. Vastauksessa luetaan ansioksi selkeä

Lisätiedot

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista

Diskreetti 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ätiedot

Lukujoukot luonnollisista luvuista reaalilukuihin

Lukujoukot luonnollisista luvuista reaalilukuihin Lukujoukot luonnollisista luvuista reaalilukuihin Pro gradu -tutkielma Esa Pulkka 517378 Itä-Suomen Yliopisto Fysiikan ja matematiikan laitos 26. maaliskuuta 2012 Sisältö 1 Johdanto 1 2 Luonnolliset luvut

Lisätiedot

HARJOITUSTEHTÄVIEN MALLIRATKAISUT HARJOITUS 1.

HARJOITUSTEHTÄVIEN MALLIRATKAISUT HARJOITUS 1. HARJOITUSTEHTÄVIEN MALLIRATKAISUT HARJOITUS (a) A (A : Aurinko laskee länteen.) (b) A B (A: Otat. B : Ajat.) (c) A B C (A : Heli tulee tänään käymään. B : Katson televisiosta jalkapalloa. C : Katson televisiosta

Lisätiedot

Solmu 3/2001 Solmu 3/2001. Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä:

Solmu 3/2001 Solmu 3/2001. Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä: Frégier n lause Simo K. Kivelä Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä: Suorakulmaisen kolmion kaikki kärjet sijaitsevat paraabelilla y = x 2 ; suoran kulman

Lisätiedot

Lataa ilmaiseksi mafyvalmennus.fi/mafynetti. Valmistaudu pitkän- tai lyhyen matematiikan kirjoituksiin ilmaiseksi Mafynetti-ohjelmalla!

Lataa ilmaiseksi mafyvalmennus.fi/mafynetti. Valmistaudu pitkän- tai lyhyen matematiikan kirjoituksiin ilmaiseksi Mafynetti-ohjelmalla! Miten opit parhaiten? Valmistaudu pitkän- tai lyhyen matematiikan kirjoituksiin ilmaiseksi Mafynetti-ohjelmalla! n Harjoittelu tehdään aktiivisesti tehtäviä ratkomalla. Tehtävät kattavat kaikki yo-kokeessa

Lisätiedot

Mary Karagiozopoulou vastaan Euroopan yhteisöjen komissio

Mary Karagiozopoulou vastaan Euroopan yhteisöjen komissio YHTEISÖJEN ENSIMMÄISEN OIKEUSASTEEN TUOMIOISTUIMEN TUOMIO (neljäs jaosto) 17 päivänä joulukuuta 1997 Asia T-166/95 Mary Karagiozopoulou vastaan Euroopan yhteisöjen komissio Henkilöstö - Sisäinen kilpailu

Lisätiedot

RAKKAUS MATEMAATTISENA RELAATIONA

RAKKAUS MATEMAATTISENA RELAATIONA RAKKAUS MATEMAATTISENA RELAATIONA HEIKKI PITKÄNEN 1. Johdanto Määritelmä 1. Olkoon I ihmisten joukko ja a, b I. Määritellään relaatio : a b a rakastaa b:tä. Huomautus 2. Määritelmässä esiintyvälle käsitteelle

Lisätiedot

Integraalifunktio. Pohdittavaa: Minkä funktion derivaattafunktio on a) 3x 2, b) 2x? MiH (Ivalon lukio) MAA10 25. kesäkuuta 2014 1 / 5

Integraalifunktio. Pohdittavaa: Minkä funktion derivaattafunktio on a) 3x 2, b) 2x? MiH (Ivalon lukio) MAA10 25. kesäkuuta 2014 1 / 5 Pohdittavaa: Minkä funktion derivaattafunktio on a) 3x 2, b) 2x? MiH (Ivalon lukio) MAA10 25. kesäkuuta 2014 1 / 5 Pohdittavaa: Minkä funktion derivaattafunktio on a) 3x 2, b) 2x? Derivaatta a) 3x 2 Funktio

Lisätiedot

Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät 3-6 4 sivua Heikki Koivupalo ja Rami Luisto

Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät 3-6 4 sivua Heikki Koivupalo ja Rami Luisto Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät 3-6 4 sivua Heikki Koivupalo ja Rami Luisto 3. Oletetaan, että kunnan K karakteristika on 3. Tutki,

Lisätiedot

3. Kongruenssit. 3.1 Jakojäännös ja kongruenssi

3. Kongruenssit. 3.1 Jakojäännös ja kongruenssi 3. Kongruenssit 3.1 Jakojäännös ja kongruenssi Tässä kappaleessa esitellään kokonaislukujen modulaarinen aritmetiikka (ns. kellotauluaritmetiikka), jossa luvut tyypillisesti korvataan niillä jakojäännöksillä,

Lisätiedot

Injektio (1/3) Funktio f on injektio, joss. f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f )

Injektio (1/3) Funktio f on injektio, joss. f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f ) Injektio (1/3) Määritelmä Funktio f on injektio, joss f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f ) Seurauksia: Jatkuva injektio on siis aina joko aidosti kasvava tai aidosti vähenevä Injektiolla on enintään

Lisätiedot

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot 3. Funktion raja-arvo ja jatkuvuus 3.1. Reaali- ja kompleksifunktiot 43. Olkoon f monotoninen ja rajoitettu välillä ]a,b[. Todista, että raja-arvot lim + f (x) ja lim x b f (x) ovat olemassa. Todista myös,

Lisätiedot

Tenttiin valmentavia harjoituksia

Tenttiin 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ätiedot