Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset

Koko: px
Aloita esitys sivulta:

Download "Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset"

Transkriptio

1 Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset T10:30/12:00 Huomaa, että joihinkin kysymyksiin on useampia oikeita vastauksia, joten nämä ovat todellakin vain mallivastaukset. 1 Logiikkaa 1. Ovatko seuraavat suomenkielen lauseet logiikan lauseita? Jos ovat, niin ovatko ne suljettuja vai avoimia? Ovatko ne atomilauseita vai yhdistettyjä lauseita? Määritä niiden totuusarvo niissä tapauksissa, joissa se on mahdollista. Perustele vastauksesi. a. Pitäisikö minun mennä nukkumaan? Ei ole logiikan lause, sillä se ei väitä mitään. b. Elvis elää. On logiikan suljettu atomilause, jonka totuusarvo on epätosi, sillä lauseella on totuusarvo, joka on joko tosi tai epätosi, lausetta ei voida jakaa osalauseisiin ja tiettävästi Elvis on kuollut. c. Hän on tämän kurssin opettaja. On logiikan avoin atomilause, sillä lauseessa on muuttuja hän, joka korvaamalla jollakin vakiolla saadaan aikaan lause, joka on joko tosi tai epätosi. d. Jyväskylässä sataa aina ja paistaa harvoin. On logiikan suljettu yhdistetty lause, sillä lauseella on totuusarvo, joka on joko tosi tai epätosi, lause voidaan jakaa osalauseisiin Jyväskylässä sataa aina ja Jyväskylässä paistaa harvoin. Lause on epätosi, sillä tänä aamuna ei satanut, ja tämä konjunktiolause on täten epätosi. e. On olemassa hyvä ihminen. On logiikan suljettu yhdistetty lause, sillä lauseella on totuusarvo, joka on tosi tai epätosi, lausetta ei voida jakaa osalauseisiin mutta siinä on eksistentiaalikvanttori. Kysymys totuusarvosta on mielipidekysymys. f. Kaikkien maiden proletaarit, liittykää yhteen! Ei ole logiikan lause, sillä se ei väitä mitään. g. Kaikkien maiden proletaarit ovat liittyneet yhteen. Lause on logiikan suljettu yhdistetty lause, jonka totuusarvo on epätosi, sillä lauseella on totuusarvo, joka on joko tosi tai epätosi, lausetta ei voida jakaa osalauseisiin mutta se sisältää universaalikvanttorin, ja tiettävästi kaikkien maiden proletaarit eivät ole liittyneet yhteen. 2. Kirjoita seuraavat suomenkieliset lauseet logiikan kaavoiksi. Käytä kvanttoreita ja konnektiiveja tarpeen mukaan ja kirjoita atomilauseet muotoon äiti(maija, antti). a. Auto on kostea, koska satoi. satoi kostea(auto) b. Koska puu on pitkä ja pensas matala, on taivas sininen. (pitkä(puu) matala(pensas)) sininen(taivas) 1

2 c. 1 on suurempi kuin 2. Jos 1 on suurempi kuin 2, niin 1 on suurempi kuin 3. Siis 1 on suurempi kuin 3. (1 > 2 (1 > 2 1 > 3)) 1 > 3 d. Don Knuth on matemaatikko ja Don Knuth on tietotekniikan guru, joten Don Knuth on matematiikan guru. (matemaatikko(donknuth) tietotekniikanguru(donknuth)) matematiikanguru(donknuth) e. Jos Jyväskylä on miljoonakaupunki, niin kuu on juustoa. miljoonakaupunki(jyväskylä) juustoa(kuu) 3. Kirjoita kaava A (B C) käyttäen pelkästään a) Sheerin viivaa b) Peircen nuolta. a) Totuustaulusta huomataan, että A B (A B). Kirjoitetaan nyt konnektiivit,, ja Sheerin viivaa käyttäen: A A A (A A) A A A B (A B) (A B) (A B) (A B) A B A B ( A B) A B (A A) (B B) A B A B (A A) B ((A A) (A A)) (B B) Sitten käytetään näitä hyväksi itse tehtävässä: A (B C) A (((B B) (B B)) (C C)) (A (((B B) (B B)) (C C))) (A (((B B) (B B)) (C C))) b) Vastaavasti huomataan, että A B (A B). Kirjoitetaan tällä kertaa edellä mainitut konnektiivit Peircen nuolta käyttäen: A A A (A A) A A A B A B ( A B) A B (A A) (B B) A B (A B) (A B) (A B) (A B) A B A B ((A A) B) ((A A) B) 2

3 Ja sitten itse tehtävä: A (B C) A (((B B) C) ((B B) C)) (A A) ((((B B) C) ((B B) C)) (((B B) C) ((B B) C))) 4. Kirjoita tehtävän 2 lauseet päättelyn muotoon (ts. muuttuu :ksi). Tutki, mitkä niistä ovat päteviä päättelyitä (ts. missä niistä johtopäätös seuraa loogisesti oletuksista). Perustele. a. Auto on kostea, koska satoi. satoi kostea(auto). Tämä ei ole pätevä päättely, sillä jos auto oli sateen alla katoksen alla, se ei kastunut. b. Koska puu on pitkä ja pensas matala, on taivas sininen. {pitkä(puu), matala(pensas)} sininen(taivas) Tämä on pätevä päättely, koska taivas on sininen, joten alkuperäinen kaava on aina tosi. c. 1 on suurempi kuin 2. Jos 1 on suurempi kuin 2, niin 1 on suurempi kuin 3. Siis 1 on suurempi kuin 3. {1 > 2, 1 > 2 1 > 3} 1 > 3. Tämä on pätevä päättely, sillä alkuperäisen implikaatiokaavan vasen puoli on epätosi, joten itse implikaatio on tosi. Huomaa myös, että päättelyllä on implikaation eliminointi -päättelysäännön muoto. d. Don Knuth on matemaatikko ja Don Knuth on tietotekniikan guru, joten Don Knuth on matematiikan guru. {matemaatikko(donknuth), tietotekniikanguru(donknuth)} matematiikanguru(donknuth). Tämä ei ole pätevä päättely, sillä Don Knuth ei ole matematiikan guru. (Asian voi myös huomata siitä, ettei päättelyllä ole minkään päättelysäännön muotoa, mutta tämä on epävarma lähestymistapa.) e. Jos Jyväskylä on miljoonakaupunki, niin kuu on juustoa. miljoonakaupunki(jyväskylä) juustoa(kuu). Tämä on pätevä päättely (ainakin toistaiseksi), koska Jyväskylä ei ole miljoonakaupunki. 5. Osoita totuustaulujen avulla, että de Morganin lait todella pätevät. A B A B (A B) A B A B (A B) A B t t t e e e e t t e e t e t t t e t e t t e t t e e e t t t t t A B A B (A B) A B A B (A B) A B t t t e e e e t t e t e e t e t e t t e t e e t e e e t t t t t Siis de Morganin lait ovat tautologioita. 6. Osoita, että negaation tuonti on pätevä päättelysääntö. Vihje: tarkastele kaavaa (A e) A. A e A on pätevä päättelysääntö täsmälleen silloin kun kaava (A e) A on tosi. Se on tautologia: (A e) A ( A e) A A A A A t. Siis negaation tuonti on pätevä päättelysääntö. 7. Sievennä kaava ((P Q) (P Q)) ((Q P ) (P Q)). ((P Q) (P Q)) (P Q) ( P Q) ((P Q) P ) ((P Q) Q) (P P ) (P Q) (P Q) (Q Q) (Q P ) (P Q) 3

4 Koska kaavat ((P Q) (P Q)) ja (Q P ) (P Q) ovat loogisesti ekvivalentit, on kysymyksen implikaatiokaava tautologia. Siis kysymyksen kaava sievenee loogiseksi vakioksi t. 2 λ-laskentaa 8. Ovatko seuraavat kaavat λ-lausekkeita? Perustele. a. xxx On: x on λ-lauseke, ja kahden λ-lausekkeen asettaminen peräkkäin tuottaa λ-lausekkeen, joten xx ja sitten xxx ovat λ-lausekkeita. b. x y Ei, sillä kaava ei ole mitään kolmesta sallitusta muodosta (kaavasta puuttuu λ). c. ((λx y)(λx y)) z On: ensimmäisen muodon mukaan y on λ-lauseke, joten kolmannen muodon mukaan λx y on λ-lauseke. Tarkasteltava kaava on nyt toista λ-lausekemuotoa. d. valitse true (2/1) (2/0) On, sillä nimi valitse tarkoittaa erästä λ-lauseketta ja sen perässä olevat alikaavat ovat eri muotoisia λ-lausekkeita, ja nämä laitettuna peräkkäin ovat toista λ-lausekemuotoa. 9. (Tehtävä poistettu.) 10. Sievennä seuraavat λ-lausekkeet. Merkitse näkyviin kaikki välivaiheet. [Merkitse lopuksi näkyviin kunkin kaavan tyyppi.] a. ((λx x)(λx λy x)) 1 0 b. ((λx x)(λx λy y)) 1 0 c. (λx 0)(1/0) a. ((λx x)(λx λy x)) 1 0 (λx λy x)) 1 0 (λy 1) 0 1 b. ((λx x)(λx λy y)) 1 0 (λx λy y) 1 0 (λy y) 0 0 c. (λx 0)(1/0) 0 tai (λx 0)(1/0) (λx 0) Määritellään Sievennä seuraavat lausekkeet. a. null? null b. null? (cons 1 0) c. car (cons 1 0) d. cdr (cons 1 0) cons x y c = c x y car d = d (valitse true) cdr d = d (valitse false) null x = true null? d = d λx λy false a. null? null (λd d λx λy false)(λx true) (λx true)(λx λy false) true b. null? (cons 1 0) (λd d λx λy false)((λx λy λc c x y) 1 0) (λd d λx λy false)((λy λc c 1 y) 0) (λd d λx λy false)(λc c 1 0) (λc c 1 0)(λx λy false) (λx λy false) 1 0) (λy false) 0) false 4

5 c. car (cons 1 0) (λd d (valitse true))((λx λy λc c x y) 1 0) (λd d (valitse true))(λy λc c 1 y) 0) (λd d (valitse true))(λc c 1 0) (λc c 1 0)(valitse true) (valitse true) 1 0 ((λx x)(λx λy x)) 1 0 (λx λy x) 1 0 (λy 1) 0 1 d. cdr (cons 1 0) (λd d (valitse false))((λx λy λc c x y) 1 0) (λd d (valitse false))(λy λc c 1 y) 0) (λd d (valitse false))(λc c 1 0) (λc c 1 0)(valitse false) (valitse false) 1 0 ((λx x)(λx λy y)) 1 0 (λx λy y) 1 0 (λy y) (Tehtävä poistettu.) 13. Kirjoita λ-abstraktio, joka -sievenee toisen asteen polynomiksi, kun sille annetaan parametreina polynomin kertoimet a, b ja c. (Vihje: Polynomi on muuttujansa funktio.) λa λb λc λx a x x + b x + c 14. Laske (sieventämällä sopivaa λ-lauseketta) polynomin x 2 + 3x + 5 arvo kohdassa x = 1. Käytä edellisessä tehtävässä kirjoittamaasi λ-abstraktiota. ((λa λb λc λx a x x + b x + c) 1 3 5) ( 1) ((λb λc λx 1 x x + b x + c) 3 5) ( 1) ((λc λx 1 x x + 3 x + c) 5) ( 1) (λx 1 x x + 3 x + 5) ( 1) 1 ( 1) ( 1) + 3 ( 1) ( 3) (Lisätehtävä halukkaille. Vaikea!) Kirjoita λ-abstraktio, joka -sievenee argumentilla f sellaiseksi lausekkeeksi l, että f l sievenee lausekkeeksi l. Pidä huoli, että λ-abstraktiosi toimii kaikilla λ-abstraktiotyyppisillä argumenteilla f. λf (λx f(x x))(λx f(x x)) 5

Lauselogiikka Tautologia

Lauselogiikka Tautologia Lauselogiikka Tautologia Hannu Lehto Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden

Lisätiedot

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

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

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

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

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

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

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

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

815338A Ohjelmointikielten periaatteet 2014-2015. Harjoitus 7 Vastaukset

815338A Ohjelmointikielten periaatteet 2014-2015. Harjoitus 7 Vastaukset 815338A Ohjelmointikielten periaatteet 2014-2015. Harjoitus 7 Vastaukset Harjoituksen aiheena on funktionaalinen ohjelmointi Scheme- ja Haskell-kielillä. Voit suorittaa ohjelmat osoitteessa https://ideone.com/

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

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

14.1 Rekursio tyypitetyssä lambda-kielessä

14.1 Rekursio tyypitetyssä lambda-kielessä Luku 14 Rekursiiviset tyypit Edellisessä luvussa esitetyt tietue- ja varianttityypit eivät yksinään riitä kovin mielenkiintoisten tietorakenteiden toteuttamiseen. Useimmissa ohjelmissa tarvitaan erilaisia

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

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

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

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

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

Sijoitusmenetelmä. 1.2. Yhtälöpari

Sijoitusmenetelmä. 1.2. Yhtälöpari MAB Yhtälöpari Yhtälöpari Yhtälöparilla tarkoitetaan tilannetta, missä on kaksi htälöä, joiden tät toteutua htä aikaa Tämä on sama asia kuin että kstään, missä pisteessä tai missä pisteissä htälöitä vastaavat

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

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

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

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

Helsingin, Itä-Suomen, Jyväskylän, Oulun, Tampereen ja Turun yliopisto Matematiikan valintakoe 11.6.2012 klo 10 13 Ratkaisut ja pisteytysohjeet

Helsingin, Itä-Suomen, Jyväskylän, Oulun, Tampereen ja Turun yliopisto Matematiikan valintakoe 11.6.2012 klo 10 13 Ratkaisut ja pisteytysohjeet Helsingin, Itä-Suomen, Jyväskylän, Oulun, Tampereen ja Turun yliopisto Matematiikan valintakoe 11.6.01 klo 10 13 t ja pisteytysohjeet 1. Ratkaise seuraavat yhtälöt ja epäyhtälöt. (a) 3 x 3 3 x 1 4, (b)

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

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

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

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

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

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

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

k=1 b kx k K-kertoimisia polynomeja, P (X)+Q(X) = (a k + b k )X k n+m a i b j X k. i+j=k k=0

k=1 b kx k K-kertoimisia polynomeja, P (X)+Q(X) = (a k + b k )X k n+m a i b j X k. i+j=k k=0 1. Polynomit Tässä luvussa tarkastelemme polynomien muodostamia renkaita polynomien ollisuutta käsitteleviä perustuloksia. Teemme luvun alkuun kaksi sopimusta: Tässä luvussa X on muodollinen symboli, jota

Lisätiedot

5.2 Ensimmäisen asteen yhtälö

5.2 Ensimmäisen asteen yhtälö 5. Ensimmäisen asteen ytälö 5. Ensimmäisen asteen yhtälö Aloitetaan antamalla nimi yhtälön osille. Nyt annettavat nimet eivät riipu yhtälön tyypistä tai asteesta. Tarkastellaan seuraavaa yhtälöä. Emme

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

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

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

a) Mikä on integraalifunktio ja miten derivaatta liittyy siihen? Anna esimerkki. 8 3 + 4 2 0 = 16 3 = 3 1 3.

a) Mikä on integraalifunktio ja miten derivaatta liittyy siihen? Anna esimerkki. 8 3 + 4 2 0 = 16 3 = 3 1 3. Integraalilaskenta. a) Mikä on integraalifunktio ja miten derivaatta liittyy siihen? Anna esimerkki. b) Mitä määrätty integraali tietyllä välillä x tarkoittaa? Vihje: * Integraali * Määrätyn integraalin

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

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

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

Öljysäiliö maan alla

Öljysäiliö maan alla Kaigasniemen koulu Öljysäiliö maan alla Yläkoulun ketaava ja syventävä matematiikan tehtävä Vesa Maanselkä 009 Ostat talon jossa on öljylämmitys. Takapihalle on kaivettu maahan sylintein muotoinen öljysäiliö

Lisätiedot

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS JOHDATUS TEKOÄLYYN TEEMU ROOS LOGIIKKAA TERMI: MUUTTUJA: A,B,C,... VAKIO: a,b,c,... PREDIKAATTI: SISÄLLÄ, ULKONA,... LAUSE: ULKONA(A) SISÄLLÄ(A) SITÄ ON JOKO ULKONA TAI SISÄLLÄ. LAUSE: ULKONA(A) SATAA

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

Insinöörimatematiikka A

Insinöörimatematiikka A Insinöörimatematiikka A Demonstraatio 3, 3.9.04 Tehtävissä 4 tulee käyttää Gentzenin järjestelmää kaavojen johtamiseen. Johda kaava φ (φ ) tyhjästä oletusjoukosta. ) φ ) φ φ 3) φ 4) φ (E ) (E ) (I, ) (I,

Lisätiedot

MAT-71506 Program Verification (Ohjelmien todistaminen) merkintöjen selityksiä

MAT-71506 Program Verification (Ohjelmien todistaminen) merkintöjen selityksiä MAT-71506 Program Verification (Ohjelmien todistaminen) merkintöjen selityksiä Antti Valmari & Antero Kangas Tampereen teknillinen yliopisto Matematiikan laitos 20. elokuuta 2013 Merkkien selityksiä Tähän

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

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

OSA 1: YHTÄLÖNRATKAISUN KERTAUSTA JA TÄYDENNYSTÄ SEKÄ FUNKTIO

OSA 1: YHTÄLÖNRATKAISUN KERTAUSTA JA TÄYDENNYSTÄ SEKÄ FUNKTIO OSA : YHTÄLÖNRATKAISUN KERTAUSTA JA TÄYDENNYSTÄ SEKÄ FUNKTIO Tekijät: Ari Heimonen, Hellevi Kupila, Katja Leinonen, Tuomo Talala, Hanna Tuhkanen ja Pekka Vaaraniemi Alkupala Kolme kaverusta, Olli, Pekka

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

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

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

Laskentaa kirjaimilla

Laskentaa kirjaimilla MAB1 Polynomit Laskentaa kirjaimilla Tähän asti olemme laskeneet luvuilla, jotka on esitetty numeroiden avulla. Matematiikan säännöt, laskentamenetelmät, kaavat samoin kuin fysiikan ja itse asiassa kaikkien

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

Talousmatematiikan perusteet, L3 Prosentti, yhtälöt Aiheet

Talousmatematiikan perusteet, L3 Prosentti, yhtälöt Aiheet Talousmatematiikan perusteet, L3 Prosentti, t Toisen Prosentti 1 Jos b on p% luvusta a, eli niin b = p 100 a a = perusarvo (Mihin verrataan?) (Minkä sadasosista on kysymys.) p = prosenttiluku (Miten monta

Lisätiedot

ClassPad 330 plus ylioppilaskirjoituksissa apuna

ClassPad 330 plus ylioppilaskirjoituksissa apuna ClassPad 330 plus ylioppilaskirjoituksissa apuna Suomessa sallittiin CAS (Computer Algebra System) laskimien käyttö keväästä 2012 alkaen ylioppilaskirjoituksissa. Norjassa ja Ruotsissa vastaava kehitys

Lisätiedot

B. 2 E. en tiedä C. 6. 2 ovat luonnollisia lukuja?

B. 2 E. en tiedä C. 6. 2 ovat luonnollisia lukuja? Nimi Koulutus Ryhmä Jokaisessa tehtävässä on vain yksi vastausvaihtoehto oikein. Laske tehtävät ilman laskinta.. Missä pisteessä suora y = 3x 6 leikkaa x-akselin? A. 3 D. B. E. en tiedä C. 6. Mitkä luvuista,,,

Lisätiedot

2.3 Juurien laatu. Juurien ja kertoimien väliset yhtälöt. Jako tekijöihin. b b 4ac = 2

2.3 Juurien laatu. Juurien ja kertoimien väliset yhtälöt. Jako tekijöihin. b b 4ac = 2 .3 Juurien laatu. Juurien ja kertoimien väliset yhtälöt. Jako tekijöihin. Toisen asteen yhtälön a + b + c 0 ratkaisukaavassa neliöjuuren alla olevaa lauseketta b b 4ac + a b b 4ac a D b 4 ac sanotaan yhtälön

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

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

Ensimmäisen asteen polynomifunktio

Ensimmäisen asteen polynomifunktio Ensimmäisen asteen polnomifunktio Yhtälön f = a+ b, a 0 määrittelemää funktiota sanotaan ensimmäisen asteen polnomifunktioksi. Esimerkki. Ensimmäisen asteen polnomifuktioita ovat esimerkiksi f = 3 7, v()

Lisätiedot

w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1.

w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1. Kotitehtävät, tammikuu 2011 Vaikeampi sarja 1. Ratkaise yhtälöryhmä w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1. Ratkaisu. Yhtälöryhmän ratkaisut (w, x, y, z)

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

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

Java-kielen perusteet

Java-kielen perusteet Java-kielen perusteet Tunnus, varattu sana, kommentti Muuttuja, alkeistietotyyppi, merkkijono, Vakio Tiedon merkkipohjainen tulostaminen Ohjelmointi (ict1tx006) Tunnus (5.3) Javan tunnus Java-kirjain Java-numero

Lisätiedot

x = π 3 + nπ, x + 1 f (x) = 2x (x + 1) x2 1 (x + 1) 2 = 2x2 + 2x x 2 = x2 + 2x f ( 3) = ( 3)2 + 2 ( 3) ( 3) + 1 3 1 + 4 2 + 5 2 = 21 21 = 21 tosi

x = π 3 + nπ, x + 1 f (x) = 2x (x + 1) x2 1 (x + 1) 2 = 2x2 + 2x x 2 = x2 + 2x f ( 3) = ( 3)2 + 2 ( 3) ( 3) + 1 3 1 + 4 2 + 5 2 = 21 21 = 21 tosi Mallivastaukset - Harjoituskoe F F1 a) (a + b) 2 (a b) 2 a 2 + 2ab + b 2 (a 2 2ab + b 2 ) a 2 + 2ab + b 2 a 2 + 2ab b 2 4ab b) tan x 3 x π 3 + nπ, n Z c) f(x) x2 x + 1 f (x) 2x (x + 1) x2 1 (x + 1) 2 2x2

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

PRELIMINÄÄRIKOE PITKÄ MATEMATIIKKA 9.2.2011

PRELIMINÄÄRIKOE PITKÄ MATEMATIIKKA 9.2.2011 PRELIMINÄÄRIKOE PITKÄ MATEMATIIKKA 9..0 Kokeessa saa vastata enintään kymmeneen tehtävään.. Sievennä a) 9 x x 6x + 9, b) 5 9 009 a a, c) log 7 + lne 7. Muovailuvahasta tehty säännöllinen tetraedri muovataan

Lisätiedot

OHJ-1010 Tietotekniikan perusteet 4 op Syksy 2012

OHJ-1010 Tietotekniikan perusteet 4 op Syksy 2012 OHJ-1010 Tietotekniikan perusteet 4 op Syksy 2012 Luento 6: Tiedon esittäminen tietokoneessa, osa 1 Tekijät: Antti Virtanen, Timo Lehtonen, Matti Kujala, Kirsti Ala-Mutka, Petri M. Gerdt et al. Luennon

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

Kaikkia alla olevia kohtia ei käsitellä luennoilla kokonaan, koska osa on ennestään lukiosta tuttua.

Kaikkia alla olevia kohtia ei käsitellä luennoilla kokonaan, koska osa on ennestään lukiosta tuttua. 6 Alkeisfunktiot Kaikkia alla olevia kohtia ei käsitellä luennoilla kokonaan, koska osa on ennestään lukiosta tuttua. 6. Funktion määrittely Funktio f : A B on sääntö, joka liittää jokaiseen joukon A alkioon

Lisätiedot

8.5 Takarekursiosta. Sanoimme luvun 8.3 foldl -esimerkissämme että

8.5 Takarekursiosta. Sanoimme luvun 8.3 foldl -esimerkissämme että 85 Takarekursiosta Sanoimme luvun 83 foldl -esimerkissämme että foldl :: (a -> b -> a) -> a -> [b] -> a foldl f z [] = z foldl f z (x:xs) = foldl f (f z x) xs olisi pelkkä silmukka Tämä johtuu siitä, että

Lisätiedot

Ehto- ja toistolauseet

Ehto- ja toistolauseet Ehto- ja toistolauseet 1 Ehto- ja toistolauseet Uutena asiana opetellaan ohjelmointilauseet / rakenteet, jotka mahdollistavat: Päätösten tekemisen ohjelman suorituksen aikana (esim. kyllä/ei) Samoja lauseiden

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

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

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

Algoritmit. Ohjelman tekemisen hahmottamisessa käytetään

Algoritmit. Ohjelman tekemisen hahmottamisessa käytetään Ohjelmointi Ohjelmoinnissa koneelle annetaan tarkkoja käskyjä siitä, mitä koneen tulisi tehdä. Ohjelmointikieliä on olemassa useita satoja. Ohjelmoinnissa on oleellista asioiden hyvä suunnittelu etukäteen.

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

cos x 13 12 cos 2x dx a) symbolisesti, b) numeerisesti. Piirrä integroitavan funktion kuvaaja. Mikä itse asiassa on integraalin arvo?

cos x 13 12 cos 2x dx a) symbolisesti, b) numeerisesti. Piirrä integroitavan funktion kuvaaja. Mikä itse asiassa on integraalin arvo? Aalto-yliopisto, Matematiikan ja Systeemianalyysin laitos Matlab-tehtäviä, käyrän sovitus -e Differentiaali- ja integraalilaskenta 1. Laske integraali 2π cos x 13 12 cos 2x dx a) symbolisesti, b) numeerisesti.

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

Ohjelmoinnin perusteet Y Python

Ohjelmoinnin perusteet Y Python Ohjelmoinnin perusteet Y Python T-106.1208 28.2.2011 T-106.1208 Ohjelmoinnin perusteet Y 28.2.2011 1 / 46 Ohjelmointiprojektin vaiheet 1. Määrittely 2. Ohjelman suunnittelu (ohjelman rakenne ja ohjelman

Lisätiedot

FUNKTIOITA. Sisällysluettelo

FUNKTIOITA. Sisällysluettelo Excel 2013 Funktioita Sisällysluettelo FUNKTIOITA FUNKTIOITA... 1 Keskiarvo-funktio... 1 Minimi ja maksimi... 1 Lukumäärä... 1 IF-funktio (JOS)... 2 IF-funktion tekeminen funktioluettelon avulla... 2 IF-funktio,

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

ClassPad 330 plus ylioppilaskirjoituksissa apuna

ClassPad 330 plus ylioppilaskirjoituksissa apuna ClassPad 330 plus ylioppilaskirjoituksissa apuna Suomessa sallittiin CAS (Computer Algebra System) laskimien käyttö keväästä 2012 alkaen ylioppilaskirjoituksissa. Norjassa ja Ruotsissa vastaava kehitys

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

Yhden bitin tiedot. Digitaalitekniikan matematiikka Luku 1 Täsmätehtävä Tehtävä 1. Luettele esimerkkejä yhden bitin tiedoista.

Yhden bitin tiedot. Digitaalitekniikan matematiikka Luku 1 Täsmätehtävä Tehtävä 1. Luettele esimerkkejä yhden bitin tiedoista. Digitaalitekniikan matematiikka Luku Täsmätehtävä Tehtävä Yhden bitin tiedot Luettele esimerkkejä yhden bitin tiedoista. Ovi auki - ovi kiinni Virta kulkee - virta ei kulje Lamppu palaa - lamppu ei pala

Lisätiedot

Ohjelmoinnin peruskurssi Y1

Ohjelmoinnin peruskurssi Y1 Ohjelmoinnin peruskurssi Y1 CSE-A1111 30.9.2015 CSE-A1111 Ohjelmoinnin peruskurssi Y1 30.9.2015 1 / 27 Mahdollisuus antaa luentopalautetta Goblinissa vasemmassa reunassa olevassa valikossa on valinta Luentopalaute.

Lisätiedot

Excel 2010 -funktiot. Sisällys

Excel 2010 -funktiot. Sisällys Excel 2010 -funktiot 5.11.2015 Markku Könkkölä J Y / Tietohallintokeskus Soluihin viittaaminen Sisällys Laskentakaavojen kirjoittaminen, kopiointi ja arvojen vakiointi Funktioiden käyttö: Laskenta Merkkijonot

Lisätiedot

LABORAATIOSELOSTUSTEN OHJE H. Honkanen

LABORAATIOSELOSTUSTEN OHJE H. Honkanen LABORAATIOSELOSTUSTEN OHJE H. Honkanen Tämä ohje täydentää ja täsmentää osaltaan selostuskäytäntöä laboraatioiden osalta. Yleinen ohje työselostuksista löytyy intranetista, ohjeen on laatinut Eero Soininen

Lisätiedot

C-ohjelma. C-ohjelma. C-ohjelma. C-ohjelma. C-ohjelma. C-ohjelma. Operaatioiden suoritusjärjestys

C-ohjelma. C-ohjelma. C-ohjelma. C-ohjelma. C-ohjelma. C-ohjelma. Operaatioiden suoritusjärjestys Loogisia operaatioita - esimerkkejä Tänään on lämmin päivä ja perjantai Eilen satoi ja oli keskiviikko tai tänään on tiistai. On perjantai ja kello on yli 13 Ei ole tiistai tai ei sada. Ei pidä paikkaansa,

Lisätiedot

Digitaalitekniikan matematiikka Harjoitustehtäviä

Digitaalitekniikan matematiikka Harjoitustehtäviä arjoitustehtäviä Sivu 6 6.3.2 e arjoitustehtäviä uku 3 ytkentäfunktiot ja perusporttipiirit 3. äytäväkytkin on järjestelmä jossa käytävän kummassakin päässä on kytkin ja käytävän keskellä lamppu. amppu

Lisätiedot

1.4 Funktion jatkuvuus

1.4 Funktion jatkuvuus 1.4 Funktion jatkuvuus Kun arkikielessä puhutaan jonkin asian jatkuvuudesta, mielletään asiassa olevan jonkinlaista yhtäjaksoisuutta, katkeamattomuutta. Tässä ei kuitenkaan käsitellä työasioita eikä ihmissuhteita,

Lisätiedot

Luento 5. Timo Savola. 28. huhtikuuta 2006

Luento 5. Timo Savola. 28. huhtikuuta 2006 UNIX-käyttöjärjestelmä Luento 5 Timo Savola 28. huhtikuuta 2006 Osa I Shell-ohjelmointi Ehtolause Lausekkeet suoritetaan jos ehtolausekkeen paluuarvo on 0 if ehtolauseke then lauseke

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

1. Jaa blini kolmella suoralla a) neljään, b) viiteen, c) kuuteen ja d) seitsemään osaan. Osien ei tarvitse olla samanlaisia. Piirrä suorat kuviin.

1. Jaa blini kolmella suoralla a) neljään, b) viiteen, c) kuuteen ja d) seitsemään osaan. Osien ei tarvitse olla samanlaisia. Piirrä suorat kuviin. Peruskoulun matematiikkakilpailu 2015 2016 alkukilpailu 29.10.2015. Ratkaisut 1. Jaa blini kolmella suoralla a) neljään, b) viiteen, c) kuuteen ja d) seitsemään osaan. Osien ei tarvitse olla samanlaisia.

Lisätiedot

XXIII Keski-Suomen lukiolaisten matematiikkakilpailu 23.1.2014, tehtävien ratkaisut

XXIII Keski-Suomen lukiolaisten matematiikkakilpailu 23.1.2014, tehtävien ratkaisut XXIII Keski-Suomen lukiolaisten matematiikkakilpailu 23.1.2014, tehtävien ratkaisut 1. Avaruusalus sijaitsee tason origossa (0, 0) ja liikkuu siitä vakionopeudella johonkin suuntaan, joka ei muutu. Tykki

Lisätiedot

766320A SOVELTAVA SÄHKÖMAGNETIIKKA, ohjeita tenttiin ja muutamia teoriavinkkejä sekä pari esimerkkilaskua

766320A SOVELTAVA SÄHKÖMAGNETIIKKA, ohjeita tenttiin ja muutamia teoriavinkkejä sekä pari esimerkkilaskua 7663A OVLTAVA ÄHKÖMAGNTIIKKA, ohjeita tenttiin ja muutamia teoriavinkkejä sekä pari esimerkkilaskua 1. Lue tenttitehtävä huolellisesti. Tehtävä saattaa näyttää tutulta, mutta siinä saatetaan kysyä eri

Lisätiedot

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