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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ää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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

TODISTAMINEN LUKION PITKÄSSÄ MATEMATIIKASSA

TODISTAMINEN LUKION PITKÄSSÄ MATEMATIIKASSA 1 TODISTAMINEN LUKION PITKÄSSÄ MATEMATIIKASSA Anna-Kaisa Viertola Pro Gradu tutkielma Kesä 2011 Jyväskylän yliopisto Matematiikan laitos 2 Sisällysluettelo 1 JOHDANTO... 3 2 YLEISTÄ... 4 3 MATEMATIIKAN

Lisätiedot

Johdanto ja esimerkki. Pseudokoodi lauseina. Kommentointi ja sisentäminen. Ohjausrakenteet:

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

Lisätiedot

KOMPLEKSILUVUT C. Rationaaliluvut Q. Irrationaaliluvut

KOMPLEKSILUVUT C. Rationaaliluvut Q. Irrationaaliluvut KOMPLEKSILUVUT C Luonnolliset luvut N Kokonaisluvut Z Rationaaliluvut Q Reaaliluvut R Kompleksi luvut C Negat kokonaisluvut Murtoluvut Irrationaaliluvut Imaginaariluvut Erilaisten yhtälöiden ratkaiseminen

Lisätiedot

1 2 x2 + 1 dx. (2p) x + 2dx. Kummankin integraalin laskeminen oikein (vastaukset 12 ja 20 ) antaa erikseen (2p) (integraalifunktiot

1 2 x2 + 1 dx. (2p) x + 2dx. Kummankin integraalin laskeminen oikein (vastaukset 12 ja 20 ) antaa erikseen (2p) (integraalifunktiot Helsingin yliopisto, Itä-Suomen yliopisto, Jyväskylän yliopisto, Oulun yliopisto, Tampereen yliopisto ja Turun yliopisto Matematiikan valintakoe (Ratkaisut ja pisteytys) 500 Kustakin tehtävästä saa maksimissaan

Lisätiedot

Mika Hirvensalo. Insinöörimatematiikka A 2014

Mika Hirvensalo. Insinöörimatematiikka A 2014 Mika Hirvensalo Insinöörimatematiikka A 014 Sisältö 1 Johdanto.................................................................... 5 1.1 Matematiikasta ja sen opiskelusta...........................................

Lisätiedot

1. Murtoluvut, murtolausekkeet, murtopotenssit ja itseisarvo

1. Murtoluvut, murtolausekkeet, murtopotenssit ja itseisarvo 1. Murtoluvut, murtolausekkeet, murtopotenssit ja itseisarvo Olkoot a, b, c mielivaltaisesti valittuja reaalilukuja eli reaaliakselin pisteitä. Ne toteuttavat seuraavat laskulait (ns. kunta-aksioomat):

Lisätiedot

1. Kirjoita algoritmi, joka saa syötteenä pallon säteen ja tulostaa pallon tilavuuden.

1. Kirjoita algoritmi, joka saa syötteenä pallon säteen ja tulostaa pallon tilavuuden. Diskreetit rakenteet 811120P 5 op Syksy 2015 Harjoitustehtävät 1. Kirjoita algoritmi, joka saa syötteenä pallon säteen ja tulostaa pallon tilavuuden. 2. Kirjoita algoritmi, joka saa syötteenä ajan, joka

Lisätiedot

Esimerkkejä polynomisista ja ei-polynomisista ongelmista

Esimerkkejä polynomisista ja ei-polynomisista ongelmista Esimerkkejä polynomisista ja ei-polynomisista ongelmista Ennen yleisempiä teoriatarkasteluja katsotaan joitain tyypillisiä esimerkkejä ongelmista ja niiden vaativuudesta kaikki nämä ongelmat ratkeavia

Lisätiedot

Solmu 3/2010 1. toteutuu kaikilla u,v I ja λ ]0,1[. Se on aidosti konveksi, jos. f ( λu+(1 λ)v ) < λf(u)+(1 λ)f(v) (2)

Solmu 3/2010 1. toteutuu kaikilla u,v I ja λ ]0,1[. Se on aidosti konveksi, jos. f ( λu+(1 λ)v ) < λf(u)+(1 λ)f(v) (2) Solmu 3/200 Epäyhtälöistä, osa 2 Markku Halmetoja Mätä lukio Välillä I määriteltyä fuktiota saotaa koveksiksi, jos se kuvaaja o alaspäi kupera, eli jos kuvaaja mitkä tahasa kaksi pistettä yhdistävä jaa

Lisätiedot

1. LINEAARISET YHTÄLÖRYHMÄT JA MATRIISIT. 1.1 Lineaariset yhtälöryhmät

1. LINEAARISET YHTÄLÖRYHMÄT JA MATRIISIT. 1.1 Lineaariset yhtälöryhmät 1 1 LINEAARISET YHTÄLÖRYHMÄT JA MATRIISIT Muotoa 11 Lineaariset yhtälöryhmät (1) a 1 x 1 + a x + + a n x n b oleva yhtälö on tuntemattomien x 1,, x n lineaarinen yhtälö, jonka kertoimet ovat luvut a 1,,

Lisätiedot

Lukion. Calculus. Funktiot ja yhtälöt. Paavo Jäppinen Alpo Kupiainen Matti Räsänen Otava PIKATESTIN JA KERTAUSKOKEIDEN TEHTÄVÄT RATKAISUINEEN

Lukion. Calculus. Funktiot ja yhtälöt. Paavo Jäppinen Alpo Kupiainen Matti Räsänen Otava PIKATESTIN JA KERTAUSKOKEIDEN TEHTÄVÄT RATKAISUINEEN Calculus Lukion MAA Funktiot ja yhtälöt Paavo Jäppinen Alpo Kupiainen Matti Räsänen Otava PIKATESTIN JA KERTAUSKOKEIDEN TEHTÄVÄT RATKAISUINEEN Funktiot ja yhtälöt (MAA) Pikatesti ja kertauskokeet Pikatesti

Lisätiedot

Harjoitus 7. 1. Olkoon olemassa luokat Lintu ja Pelikaani seuraavasti:

Harjoitus 7. 1. Olkoon olemassa luokat Lintu ja Pelikaani seuraavasti: Harjoitus 7 1. Olkoon olemassa luokat Lintu ja Pelikaani seuraavasti: class Lintu //Kentät private int _siivenpituus; protected double _aivojenkoko; private bool _osaakolentaa; //Ominaisuudet public int

Lisätiedot

Ohjelmoinnin perusteet Y Python

Ohjelmoinnin perusteet Y Python Ohjelmoinnin perusteet Y Python T-106.1208 26.1.2009 T-106.1208 Ohjelmoinnin perusteet Y 26.1.2009 1 / 33 Valintakäsky if syote = raw_input("kerro tenttipisteesi.\n") pisteet = int(syote) if pisteet >=

Lisätiedot

Luonnolliset vs. muodolliset kielet

Luonnolliset vs. muodolliset kielet Luonnolliset vs. muodolliset kielet Luonnollisia kieliä ovat esim. 1. englanti, 2. suomi, 3. ranska. Muodollisia kieliä ovat esim. 1. lauselogiikan kieli (ilmaisut p, p q jne.), 2. C++, FORTRAN, 3. bittijonokokoelma

Lisätiedot

Tietotyypit ja operaattorit

Tietotyypit ja operaattorit Tietotyypit ja operaattorit Luennossa tarkastellaan yksinkertaisten tietotyyppien int, double ja char muunnoksia tyypistä toiseen sekä esitellään uusia operaatioita. Numeeriset tietotyypit ja muunnos Merkkitieto

Lisätiedot

T-79.144 Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 28 31.10.2003

T-79.144 Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 28 31.10.2003 T-79.144 Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 28 31.10.2003 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio R

Lisätiedot

Jos d-kohdan vasemmalla puolella perusjoukkona on X, niin oikealla puolella

Jos d-kohdan vasemmalla puolella perusjoukkona on X, niin oikealla puolella DISKREETTI MATEMATIIKKA, harjoitustehtävät Tehtäviä tulee todennäköisesti lisää. Uudet tehtävät tulevat aikanaan ladattavaksi samalle sivulle, josta tämäkin moniste löytyi. Ilmoitustaululta on nähtävissä

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

Matematiikan tukikurssi

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

110. 111. 112. 113. 114. 4. Matriisit ja vektorit. 4.1. Matriisin käsite. 4.2. Matriisialgebra. Olkoon A = , B = Laske A + B, 5 14 9, 1 3 3

110. 111. 112. 113. 114. 4. Matriisit ja vektorit. 4.1. Matriisin käsite. 4.2. Matriisialgebra. Olkoon A = , B = Laske A + B, 5 14 9, 1 3 3 4 Matriisit ja vektorit 4 Matriisin käsite 42 Matriisialgebra 0 2 2 0, B = 2 2 4 6 2 Laske A + B, 2 A + B, AB ja BA A + B = 2 4 6 5, 2 A + B = 5 9 6 5 4 9, 4 7 6 AB = 0 0 0 6 0 0 0, B 22 2 2 0 0 0 6 5

Lisätiedot

PROPOSITIOLOGIIKAN RIITTÄMÄTTÖMYYS

PROPOSITIOLOGIIKAN RIITTÄMÄTTÖMYYS 67 PROPOSITIOLOGIIKAN RIITTÄMÄTTÖMYYS Jo äärimmäisen yksinkertaisessa peliesimerkissämme propositiologiikan ilmaisuvoima osoittautuu riittämättömäksi Tietämyskannan alustamiseksi pelin säännöillä meidän

Lisätiedot

Ehrenfeuchtin ja Fraïssén peli

Ehrenfeuchtin ja Fraïssén peli TAMPEREEN YLIOPISTO Pro gradu -tutkielma Piia Nieminen Ehrenfeuchtin ja Fraïssén peli Matematiikan ja tilastotieteen laitos Matematiikka Marraskuu 2008 Tampereen yliopisto Matematiikan ja tilastotieteen

Lisätiedot

Etelä-Pohjanmaan maahanmuuttajakoulutukset joulukuu 2015

Etelä-Pohjanmaan maahanmuuttajakoulutukset joulukuu 2015 Kauhava Järvilakeuden kansalaisopisto Finnish for foreigners Kauhavan kaupungin perusopetus Kortesjärven ja ala-härmän alakoulut, valmistava Alahärmän yläkoulu, nivelluokka Lapua Lapuan kansalaisopisto

Lisätiedot

Kansainväliset matematiikkaolympialaiset 2008

Kansainväliset matematiikkaolympialaiset 2008 Kansainväliset matematiikkaolympialaiset 2008 Tehtävät ja ratkaisuhahmotelmat 1. Teräväkulmaisen kolmion ABC korkeusjanojen leikkauspiste on H. Pisteen H kautta kulkeva ympyrä, jonka keskipiste on sivun

Lisätiedot

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

Kurssikoe on maanantaina 29.6. Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla. HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 201 Harjoitus 7 Ratkaisut palautettava viimeistään perjantaina 26.6.201 klo 16.00. Huom! Luennot ovat salissa CK112 maanantaista 1.6. lähtien.

Lisätiedot

Java-kielen perusteita

Java-kielen perusteita Java-kielen perusteita valintalauseet 1 Johdantoa kontrollirakenteisiin Tähän saakka ohjelmissa on ollut vain peräkkäisyyttä eli lauseet on suoritettu peräkkäin yksi kerrallaan Tarvitsemme myös valintaa

Lisätiedot

Tietojenkäsittelyn perusteet Lasse Lensu 2010-11-26

Tietojenkäsittelyn perusteet Lasse Lensu 2010-11-26 Tietojenkäsittelyn perusteet Lasse Lensu 2010-11-26 1 (a) Tietojenkäsittely on monimerkityksinen käsite, joten sillä on useita alkuperäiskielisiä vastineita. Se voi tarkoittaa lähes mitä tahansa tietotekniikan

Lisätiedot

Johdatus matemaattiseen päättelyyn

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

Viikko 13 23.3.2015-29.3.2015

Viikko 13 23.3.2015-29.3.2015 Viikko 13 23.3.2015-29.3.2015 Maanantai 23.3. Tiistai 24.3. Keskiviikko 25.3. Torstai 26.3. Perjantai 27.3. Lauantai 28.3. Sunnuntai 29.3. Radio Channels, Luento 08:15 - TS127 Communication signal processing

Lisätiedot

Relaation ominaisuuksia. Ominaisuuksia koskevia lauseita Sulkeumat. Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

Relaation ominaisuuksia. Ominaisuuksia koskevia lauseita Sulkeumat. Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X, Relaation Joukossa X määritelty relaatio R on (r) refleksiivinen, jos xrx kaikilla x X, (ir) irrefleksiivinen, jos x Rx kaikilla x X, Relaation Joukossa X määritelty relaatio R on (r) refleksiivinen, jos

Lisätiedot

Otanta ilman takaisinpanoa

Otanta ilman takaisinpanoa Otanta ilman takaisinpanoa Populaatio, jossa N alkiota (palloa, ihmistä tms.), kahdenlaisia ( valkoinen, musta ) Poimitaan umpimähkään (= symmetrisesti) n-osajoukko eli otos Merkitään tapahtuma A k = otoksessa

Lisätiedot

Matematiikan olemus Juha Oikkonen juha.oikkonen@helsinki.fi

Matematiikan olemus Juha Oikkonen juha.oikkonen@helsinki.fi Matematiikan olemus Juha Oikkonen juha.oikkonen@helsinki.fi 1 Eri näkökulmia A Matematiikka välineenä B Matematiikka formaalina järjestelmänä C Matematiikka kulttuurina Matemaattinen ajattelu ja matematiikan

Lisätiedot

Preliminäärikoe Pitkä Matematiikka 3.2.2009

Preliminäärikoe Pitkä Matematiikka 3.2.2009 Preliminäärikoe Pitkä Matematiikka..9 x x a) Ratkaise yhtälö =. 4 b) Ratkaise epäyhtälö x > x. c) Sievennä lauseke ( a b) (a b)(a+ b).. a) Osakkeen kurssi laski aamupäivällä,4 % ja keskipäivällä 5,6 %.

Lisätiedot