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

Koko: px
Aloita esitys sivulta:

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

Transkriptio

1 T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet 11-22) Ilmaise seuraavat lauseet predikaattilogiikalla: a) Jokin porteista on viallinen b) Tämä algoritmi on kaikista nopein c) Kaikilla kurssin osanottajilla on työasema käytössään d) Vain yksi prosesseista voi kirjoittaa kuhunkin tiedostoon kerrallaan Mitä muotoa lauseet ovat? Piirrä a)- ja c)-kohtia vastaavat syntaksipuut Ratk Ratkaisussa on käytetty useaan otteeseen rajoitettuja universaali- ja eksistentiaalikvanttoreita Jos halutaan ilmaista, että jokin ominaisuus φ pätee kaikille predikaatin P toteuttaville alkioille, kirjoitetaan P φ Se, että ominaisuus φ pätee jollekin predikaatin P toteuttavalle alkiolle, ilmaistaan lauseella P φ Tehtävässä predikaatti P ilmaisee usein alkion tyyppiä (esim on portti) a) P V, kun P = on portti V = on viallinen P Q b) A a A a N a, kun a = ko algoritmi A = on algoritmi N y = on y:tä nopeampi

2 A a N A a a c) K y T y R y, kun K = osallistuu kurssille T = on työasema R y = käyttää y:tä d) T y z P y P z K y K z y z, kun P = on prosessi T = on tiedosto K y = kirjoittaa y:hyn Esitetyt ratkaisut eivät ole ainoita mahdollisia Valinnan varaa on predikaatti-, funktio- ja vakiosymbolien määrittelyssä ja lauseiden rakenteessa 2 Poista tarpeettomat sulut, ilman että lauseen merkitys muuttuu a) y P Q L b) y P y Q y K f c) y A B Ratk Sulkujen poistamisessa käytettiin periaatetta, että uloimmat sulut voi jättää pois ja lisäksi, mikäli sulkujen sisällä oleva operaatio on presedenssiltään ulkopuolella olevaa vahvempi, sulut voidaan poistaa a) y P Q L Tässä kaava on esitetty ilman uloimpia sulkuja Tarkasteltaessa nyt uloimpia sulkuja, niin sisällä oleva operaatio on implikaatio ja ulkopuolella universaalinen kvantifiointi Kvantifiointi on vahvempi, sulkuja ei voi poistaa Tarkastellaan seuraavaksi sulkuja eksistenttikvanttorin ympärillä Sisällä siis em kvantifionti ja ulkopuolella implikaatio Sulut voi poistaa ja kaava saa muodon y P Q

3 L Jäljellä on vielä sulut konjunktion ympärillä Ulkopuolella oleva kvantifiointi on vahvempi, sulkuja ei voi poistaa b) y P y Q y K f c) y A B 3 Olkoon predikaattilogiikan kielessä vakiosymboli c, 1-paikkainen funktiosymboli f ja 2-paikkainen funktiosymboli g Millaisia muuttujattomia termejä näistä voidaan muodostaa Ratk Käyttämällä ainoastaan elementtejä c ja f, voidaan muodostaa seuraava joukko termejä: c f c f 2 c f 3 c Edelleen termejä voidaan laatia käyttämällä hyväksi funktiota g Sen argumenteiksi voidaan valita mikä tahansa pari edellisistä, esim saadaan termit g c c ja g f 3 c f 108 c Luonnollisesti sekä g:n että f :n argumenteiksi voidaan edelleen valita mitkä tahansa näin saaduista termeistä Näin syntyy esim f g f 5 c f 13 c ja g g c f c f 8 c Funktioiden sisennystä voi näin jatkaa mielivaltaisen monta askelta 4 Luennoilla annettiin menettely binääripuiden esittämiseksi funktiosymbolien avulla Yleistä konstruktio mielivaltaisille puille käyttämällä korkeintaan 3 vakio- ja funktiosymbolia Ratk Yleistys tapahtuu käyttämällä hyväksi sekä listojen että puiden notaatiota Periaate on, että mielivaltainen puu esitetään sisäkkäisinä listoina, jotka kertovat kunkin solmun lapset Olkoon tehtävässä esitetyt 3 vakio- ja funktiosymbolia e, tyhjä lista, c F 2, 1 argumentti listan ensimmäinen alkio ja 2 loput listasta, ja l F 1, lehtisolmu Tarkastellaan seuraavia puita: a a b a d b f Näistä ensimmäinen esitetään annetulla notaatiolla muodossa l a, toinen c l a c l b e ja kolmas saa muodon c l a c l d c c l b c l f e e 5 Osoita, että jos φ on lause ja t on muuttujaton termi, niin φ t on lause

4 Ratk Opetusmonisteessa todetaan, että kaava on lause, jos siinä ei ole vapaita muuttujaesiintymiä Tehtävänannossa todetaan, että φ on lause φ t tarkoittaa kaavaa, jossa jokainen :n vapaa esiintymä on korvattu termillä t Koska t on muuttujaton, niin φ t on myös lause 6 Olkoon universumina U "! 2 #$ y%'& (! y )! Valitse vakiosymbolille c ja funktiosymbolille f F 1 tulkinnat siten, että koko universumi tulee nimetyksi Ratk Muodostetut lukuparit voi asettaa kaksiulotteiseen taulukkoon vaikkapa seuraavasti: $ 0 0%*$ 0 1% $ 0 2%*$ 0 3%,+ ++ $ 1 0%*$ 1 1% $ 1 2%*$ 1 3%,+ ++ $ 2 0%*$ 2 1% $ 2 2%*$ 2 3%,+ ++ Tehtävän idea on sama kuin todistettaessa sitä, että kahden luonnollisen luvun pareja on yhtä monta kuin luonnollisia lukuja (joukot siis ovat yhtä mahtavat) Todistuksessa laaditaan bijektiivinen kuvaus luonnollisilta luvuilta lukupareille Kuvauksessa f 0 -$ 0 0% ja muilla arvoilla se etenee aina taulukon diagonaaleja pitkin Esim f 1 /0$ 0 1%, f 2 12$ 1 0% jne Mikäli kuvaus etenisi rivejä tai sarakkeita pitkin, ei joukkojen yhtäsuuruutta saataisi osoitettua, koska rivit (sarakkeet) jatkuvat äärettömiin Mielivaltainen diagonaali puolestaan on äärellinen Sovelluttuna logiikkaan, universumi saadaan peitettyä, mikäli vakion c tulkinta on c S 3$ 0 0%, ja funktio laaditaan em sääntöjen pohjalta, siis: f c S $ 0 1% f f c S $ 1 0% f 3 c S $ 0 2% f 4 c S $ 1 1% Funktion f S lausekkeen voi esittää muodossa: Tässä g on nk pulssifunktio: f S : $ y% $ 45 y46% 47 g y g 9 1 y4: 1 9 g y 8 1

5 ; g 1 jos 0 0 muutoin 7 Graafi muodostuu solmujen joukosta S ja solmujen välisten kaarien K < S = S joukosta Graafin solmuja s ja s4 sanotaan vierekkäisiksi, jos niitä yhdistää kaari ($ s s4 % K) Olkoon C jokin värien joukko Graafin väritysongelmassa on tarkoituksena löytää graafin solmuille värit joukosta C siten, että kaikilla vierekkäisillä solmuilla on eri värit a) Määrittele graafin väritysongelman ratkaisu predikaattilogiikan avulla b) Anna edellisen kohdan lausejoukolle malli ja c) struktuuri, jossa se ei toteudu Ratk a) Graafista meitä kiinnostavat erityisesti kaaret, joiden esittämistä varten määritellään predikaatti K y (graafissa on kaari solmusta solmuun y) Värien esittämiseen on useita mahdollisuuksia (i) Yksi mahdollisuus on kiinnittää värien joukko ja esittää värit predikaatein Jos joukossa C on värejä n kpl määritellään niille kullekin predikaatit C 1 > C n n Predikaatti C i tarkoittaa, että solmu on väriltään C i Ongelman määrittelyssä vaaditaan, että jokaisella solmulla on yksikäsitteinen väri ja että jos solmujen välillä on kaari, solmut ovat eriväriset Ensimmäisestä vaatimuksesta saadaan lauseet C i C 1?++ +> C 1 C ia 1?++ +B C n indeksin i arvoilla 1 > n (huomaa, että C i ei esiinny ekvivalenssin oikean puolen konjuktiossa) Toinen vaatimus esitetään jokaisen predikaatin C i osalta erikseen: y K y C C i C i y (ii) Toinen mahdollisuus on jättää värien määrittely avoimeksi ja ottaa käyttöön predikaatti V y (solmun väri on y) Solmun värin yksikäsitteisyys voidaan ilmaista lauseella y z V y V z y z

6 Siis, jos solmulla on värit y ja z, nämä ovat itseasiassa sama väri (yhtäsuuruus predikaatti on tosi rakenteessa S, jos ja vain jos predikaatin argumenttien tulkinnat ovat samat rakenteessa S) Vierekkäisten solmujen erivärisyys saadaan puettua lauseeksi y z K y V z V y z Eli, jos graafissa on kaari solmusta solmuun y ja solmu on väriltään z, solmu y ei ole väriltään z (iii) Kolmantena mahdollisuutena on esittää väri funktiosymbolin v avulla Termi v tarkoittaa solmun väriä Tässä tapauksessa värin yksikäsitteisyyttä ei tarvitse erikseen määritellä (funktion arvo on aina yksikäsitteinen) Erivärisyydelle saadaan lause y K y v v y D b) Annetaan malli kohdan (i) lauseille tapauksessa n 2 Määritellään rakenne S, jonka universumina on U E a 1 a 2 (kaksi solmua) Predikaatin K tulkinta on K S F$ a 1 a 2 %G$ a 2 a 1 %D (graafissa on kaaret solmusta a 1 solmuun a 2 ja solmusta a 2 solmuun a 1 ) Predikaattien C 1 ja C 2 tulkinnat ovat C S 1 H a 1 ja C S 2 H a 2 (toinen solmuista on siis väriä C 1 ja toinen väriä C 2 ) Tarkistetaan nyt totuusmääritelmän avulla, että lauseet ja C 1 I C 2 y K y C 1 I C 1 y y K y C 2 I C 2 y toteutuvat rakenteessa S (eli S on lauseiden malli) Huomaa että lauseista ensimmäinen on ekvivalentti lauseen C 2 I C 1 kanssa, joka myös kuuluu lausejoukkoon tapauksessa n jos ja vain jos S &J C 1 C 2 2 Nyt S K L a 1M & C 1 N C 2 ja S K L a 2M & C 1 N C 2

7 Koska a 1 C S 1, S K L a 1M & C 1 ja koska a 1 O C S 2, S K L a 1MO & C 2 Siis S K L a 1M & C 1 P C 2 K L & & Vastaavasti osoitetaan, että S C 1 C 2 seuraa a 2M C 1 Q C 2, joten S Vastaavasti jos ja vain jos kaava S &R y K y C C 1 P C 1 y K y C 1 C 1 y on tosi rakenteissa S K L a 1 y L a 1M, S K L a 1 y L a 2M, S K L a 2 y L a 1M ja S K L a 2 y L a 2M Koska parit $ a 1 a 1 % ja $ a 2 a 2 % eivät kuulu tulkintaan K S atomikaava K y on epätosi ensimmäisessä ja viimeisessä rakenteessa, joten implikaation totuusmääritelmän nojalla edelläannettu kaava on tosi näissä rakenteissa Koska pari $ a 1 a 2 % kuuluu tulkintaan K S, S K L a 1 y L a 2M & K y ja annettu kaava on tosi rakenteessa S K L a 1 y L a 2M jos ja vain jos S K L a 1 y L a 2M & C 1 - * C 1 y Tämä pitää paikkanssa, sillä a 1 C S 1 ja a 2 O C S 2, joten S K L a 1 y L a 2M & C 1 ja S K L a 1 y L a 2M &H C 2 y Kaava on tosi myös 3 struktuurissa Erona edelliseen on, että implikaatio C 1 - S C 1 y on tosi rakenteessa S, koska S K L a 2 y L a 1M-O & C 1 Siis S on malli lauseelle y K y C 1 P C 1 y Symmetriasyistä S on myös lauseen y K y C 2 I C 2 y malli Olemme siis osoittaneet, että S on lausejoukon malli Sama rakenne on malli myös tapauksessa, jossa värejä on useampia kuin kaksi Malleista tulee monimutkaisempia, jos solmujen väritys esitetään vaihtoehtojen (ii) ja (iii) mukaisesti

8 c) Määritellään rakenne S tapauksessa n 2, jossa lausejoukko ei toteudu Valitaan universumiksi U " a (yksi solmu) ja predikaatin K tulkinnaksi esim K S T$ a a%g Nyt ei toteudu rakenteessa S, jos C 1 I C 2 S K L amo & C 1 I C 2 Valitaan siis väripredikaattien tulkinnat siten, että asettamalla S K L am & C 1 ja S K L am & C 2 C S 1 C S 2 U a Tällöin S ei voi olla lausejoukon malli

1. (a) Seuraava algoritmi tutkii, onko jokin luku taulukossa monta kertaa:

1. (a) Seuraava algoritmi tutkii, onko jokin luku taulukossa monta kertaa: Tietorakenteet, laskuharjoitus 10, ratkaisuja 1. (a) Seuraava algoritmi tutkii, onko jokin luku taulukossa monta kertaa: SamaLuku(T ) 2 for i = 1 to T.length 1 3 if T [i] == T [i + 1] 4 return True 5 return

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

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

Pinot, jonot, yleisemmin sekvenssit: kokoelma peräkkäisiä alkioita (lineaarinen järjestys) Yleisempi tilanne: alkioiden hierarkia

Pinot, jonot, yleisemmin sekvenssit: kokoelma peräkkäisiä alkioita (lineaarinen järjestys) Yleisempi tilanne: alkioiden hierarkia Pinot, jonot, yleisemmin sekvenssit: kokoelma peräkkäisiä alkioita (lineaarinen järjestys) Yleisempi tilanne: alkioiden hierarkia Kukin alkio (viite) talletettuna solmuun (node) vastaa paikan käsitettä

Lisätiedot

(Monisteen Esimerkki 2.6.8) Olkoon R polynomifunktioiden rengas R[x]. Kiinnitetään c R. Merkitään

(Monisteen Esimerkki 2.6.8) Olkoon R polynomifunktioiden rengas R[x]. Kiinnitetään c R. Merkitään Monisteen Esimerkki 2.6.8 Olkoon R polynomifunktioiden rengas R[x]. Kiinnitetään c R. Merkitään I c = {px R pc = 0}. Osoitetaan, että I c on renkaan R ihanne. Ratkaisu: Vakiofunktio 0 R I c joten I c.

Lisätiedot

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

Hieman joukko-oppia. A X(A a A b A a b). Hieman joukko-oppia Seuraavassa esittelen hieman alkeellista joukko-oppia. Päämääränäni on saada käyttöön hyvinjärjestyslause, jota tarvitsemme myöhemmin eräissä todistuksissa. Esitykseni on aika, vaikkei

Lisätiedot

Tietorakenteet ja algoritmit Johdanto Lauri Malmi / Ari Korhonen

Tietorakenteet ja algoritmit Johdanto Lauri Malmi / Ari Korhonen Tietorakenteet ja algoritmit Johdanto Lauri Malmi / Ari 1 1. JOHDANTO 1.1 Määritelmiä 1.2 Tietorakenteen ja algoritmin valinta 1.3 Algoritmit ja tiedon määrä 1.4 Tietorakenteet ja toiminnot 1.5 Esimerkki:

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

A274101 TIETORAKENTEET JA ALGORITMIT

A274101 TIETORAKENTEET JA ALGORITMIT A274101 TIETORAKENTEET JA ALGORITMIT VERKOT ELI GRAAFIT Lähteet: Timo Harju, Opintomoniste Keijo Ruohonen, Graafiteoria (math.tut.fi/~ruohonen/gt.pdf) HISTORIAA Verkko- eli graafiteorian historia on saanut

Lisätiedot

811312A Tietorakenteet ja algoritmit, 2014-2015, Harjoitus 7, ratkaisu

811312A Tietorakenteet ja algoritmit, 2014-2015, Harjoitus 7, ratkaisu 832A Tietorakenteet ja algoritmit, 204-205, Harjoitus 7, ratkaisu Hajota ja hallitse-menetelmä: Tehtävä 7.. Muodosta hajota ja hallitse-menetelmää käyttäen algoritmi TULOSTA_PUU_LASKEVA, joka tulostaa

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

Hahmon etsiminen syotteesta (johdatteleva esimerkki)

Hahmon etsiminen syotteesta (johdatteleva esimerkki) Hahmon etsiminen syotteesta (johdatteleva esimerkki) Unix-komennolla grep hahmo [ tiedosto ] voidaan etsia hahmon esiintymia tiedostosta (tai syotevirrasta): $ grep Kisaveikot SM-tulokset.txt $ ps aux

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

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

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

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

1 Aritmeettiset ja geometriset jonot

1 Aritmeettiset ja geometriset jonot 1 Aritmeettiset ja geometriset jonot Johdatus Johdatteleva esimerkki 1 Kasvutulille talletetaan vuoden jokaisen kuukauden alussa tammikuusta alkaen 100 euroa. Tilin nettokorkokanta on 6%. Korko lisätään

Lisätiedot

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y.

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y. ANALYYSIN TEORIA A Kaikki lauseet eivät ole muotoiltu samalla tavalla kuin luennolla. Ilmoita virheistä yms osoitteeseen mikko.kangasmaki@uta. (jos et ole varma, onko kyseessä virhe, niin ilmoita mieluummin).

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

1 Raja-arvo. 1.1 Raja-arvon määritelmä. Raja-arvo 1

1 Raja-arvo. 1.1 Raja-arvon määritelmä. Raja-arvo 1 Raja-arvo Raja-arvo Raja-arvo kuvaa funktion f arvon f() kättätmistä, kun vaihtelee. Joillakin funktioilla f() muuttuu vain vähän, kun muuttuu vähän. Toisilla funktioilla taas f() hppää tai vaihtelee arvaamattomasti,

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

Tähtitieteen käytännön menetelmiä Kevät 2009 Luento 4: Ohjelmointi, skriptaus ja Python

Tähtitieteen käytännön menetelmiä Kevät 2009 Luento 4: Ohjelmointi, skriptaus ja Python Tähtitieteen käytännön menetelmiä Kevät 2009 Luento 4: Ohjelmointi, skriptaus ja Python 31. tammikuuta 2009 Ohjelmointi Perusteet Pythonin alkeet Esittely Esimerkkejä Muuttujat Peruskäsitteitä Käsittely

Lisätiedot

TIE448 Kääntäjätekniikka, syksy 2009. Antti-Juhani Kaijanaho. 7. joulukuuta 2009

TIE448 Kääntäjätekniikka, syksy 2009. Antti-Juhani Kaijanaho. 7. joulukuuta 2009 TIE448 Kääntäjätekniikka, syksy 2009 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 7. joulukuuta 2009 Sisällys Sisällys Seuraava deadline Vaihe F maanantai 14.12. klo 12 rekisteriallokaatio Arvostelukappale

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

Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta

Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta Seminaariaine Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2004 Matemaattista ja historiallista taustaa Tämän kappaleen

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

8.5. Järjestyssuhteet 1 / 19

8.5. Järjestyssuhteet 1 / 19 8.5. Järjestyssuhteet 1 / 19 Määritelmä Joukon suhteilla voidaan kuvata myös alkioiden järjestystä tietyn ominaisuuden suhteen. Järjestys on myös kaksipaikkainen suhde (ja on monia erilaisia järjestyksiä).

Lisätiedot

Smart Board lukion lyhyen matematiikan opetuksessa

Smart Board lukion lyhyen matematiikan opetuksessa Smart Board lukion lyhyen matematiikan opetuksessa Haasteita opettajalle lukion lyhyen matematiikan opetuksessa ovat havainnollistaminen ja riittämätön aika. Oppitunnin aikana opettaja joutuu usein palamaan

Lisätiedot

Pythonin alkeet Syksy 2010 Pythonin perusteet: Ohjelmointi, skriptaus ja Python

Pythonin alkeet Syksy 2010 Pythonin perusteet: Ohjelmointi, skriptaus ja Python Pythonin alkeet Syksy 2010 Pythonin perusteet: Ohjelmointi, skriptaus ja Python 8. marraskuuta 2010 Ohjelmointi Perusteet Peruskäsitteitä Olio-ohjelmointi Pythonin alkeet Esittely Esimerkkejä Muuttujat

Lisätiedot

Algoritmit 1. Luento 14 Ke 25.2.2015. Timo Männikkö

Algoritmit 1. Luento 14 Ke 25.2.2015. Timo Männikkö Algoritmit 1 Luento 14 Ke 25.2.2015 Timo Männikkö Luento 14 Heuristiset menetelmät Heuristiikkoja kapsäkkiongelmalle Kauppamatkustajan ongelma Lähimmän naapurin menetelmä Kertaus ja tenttivinkit Algoritmit

Lisätiedot

SQL:N PERUSTEET MARKKU SUNI

SQL:N PERUSTEET MARKKU SUNI SQL:N PERUSTEET MARKKU SUNI Relaatiomallisen tietokannan käsittely Tietojen saanti, talletus ja päivitys tapahtuu SQL-kielellä Yhtä operaatiota sanotaan kyselyksi (query) Kyselyjä voidaan laittaa peräkkäin

Lisätiedot

4.1 Kaksi pistettä määrää suoran

4.1 Kaksi pistettä määrää suoran 4.1 Kaksi pistettä määrää suoran Kerrataan aluksi kurssin MAA1 tietoja. Geometrisesti on selvää, että tason suora on täysin määrätty, kun tunnetaan sen kaksi pistettä. Joskus voi tulla vastaan tilanne,

Lisätiedot

Ohjelmoinnin perusteet Y Python

Ohjelmoinnin perusteet Y Python Ohjelmoinnin perusteet Y Python T-106.1208 25.2.2009 T-106.1208 Ohjelmoinnin perusteet Y 25.2.2009 1 / 34 Syötteessä useita lukuja samalla rivillä Seuraavassa esimerkissä käyttäjä antaa useita lukuja samalla

Lisätiedot

Ohjelmoinnin perusteet Y Python

Ohjelmoinnin perusteet Y Python Ohjelmoinnin perusteet Y Python T-106.1208 24.1.2011 T-106.1208 Ohjelmoinnin perusteet Y 24.1.2011 1 / 36 Luentopalaute kännykällä alkaa tänään! Ilmoittaudu mukaan lähettämällä ilmainen tekstiviesti Vast

Lisätiedot

1 Kannat ja kannanvaihto

1 Kannat ja kannanvaihto 1 Kannat ja kannanvaihto 1.1 Koordinaattivektori Oletetaan, että V on K-vektoriavaruus, jolla on kanta S = (v 1, v 2,..., v n ). Avaruuden V vektori v voidaan kirjoittaa kannan vektorien lineaarikombinaationa:

Lisätiedot

Kaikki mitä olet aina halunnut tietää pumppauslemmoista, mutta mitä et ole kehdannut kysyä

Kaikki mitä olet aina halunnut tietää pumppauslemmoista, mutta mitä et ole kehdannut kysyä Kaikki mitä olet aina halunnut tietää pumppauslemmoista, mutta mitä et ole kehdannut kysyä Tommi Syrjänen 1 Yleistä pumppauslemmoista Pumppauslemmalla voidaan todistaa, että kieli ei kuulu johonkin kieliluokkaan.

Lisätiedot

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä 3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä Lineaarinen m:n yhtälön yhtälöryhmä, jossa on n tuntematonta x 1,, x n on joukko yhtälöitä, jotka ovat muotoa a 11 x 1 + + a 1n x n = b 1 a 21

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

3.3 Paraabeli toisen asteen polynomifunktion kuvaajana. Toisen asteen epäyhtälö

3.3 Paraabeli toisen asteen polynomifunktion kuvaajana. Toisen asteen epäyhtälö 3.3 Paraabeli toisen asteen polynomifunktion kuvaajana. Toisen asteen epäyhtälö Yhtälön (tai funktion) y = a + b + c, missä a 0, kuvaaja ei ole suora, mutta ei ole yhtälökään ensimmäistä astetta. Funktioiden

Lisätiedot

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

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011 TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 31. maaliskuuta 2011 Sisällys Sisällys Chomskyn hierarkia kieli säännöllinen kontekstiton kontekstinen rekursiivisesti

Lisätiedot

Excelin käyttö mallintamisessa. Regressiosuoran määrittäminen. Käsitellään tehtävän 267 ratkaisu.

Excelin käyttö mallintamisessa. Regressiosuoran määrittäminen. Käsitellään tehtävän 267 ratkaisu. Excelin käyttö mallintamisessa Regressiosuoran määrittäminen Käsitellään tehtävän 267 ratkaisu. 1)Kirjoitetaan arvot taulukkoon syvyys (mm) ikä 2 4 3 62 6 11 7 125 2) Piirretään graafi, valitaan lajiksi

Lisätiedot

Talousmatematiikan perusteet ORMS.1030

Talousmatematiikan perusteet ORMS.1030 kevät 2014 Talousmatematiikan perusteet Matti Laaksonen, (Matemaattiset tieteet / Vaasan yliopisto) Vastaanotto to 11-12 huone D110/Tervahovi Sähköposti: matti.laaksonen@uva.fi Opettajan kotisivu: http://lipas.uwasa.fi/

Lisätiedot

Talousmatematiikan perusteet ORMS.1030

Talousmatematiikan perusteet ORMS.1030 orms.1030 Vaasan avoin yliopisto / kevät 2013 1 Talousmatematiikan perusteet Matti Laaksonen Matemaattiset tieteet Vaasan yliopisto Vastaanotto to 11-12 huone D110/Tervahovi Sähköposti: matti.laaksonen@uva.fi

Lisätiedot

Jarkko Peltomäki. Järjestetyt joukot ja hilat

Jarkko Peltomäki. Järjestetyt joukot ja hilat Jarkko Peltomäki Järjestetyt joukot ja hilat Luonnontieteiden kandidaatin tutkielma Turun yliopisto Syyskuu 2010 Sisältö 1 Johdanto 2 2 Järjestetty joukko 3 2.1 Määritelmiä ja perusominaisuuksia...............

Lisätiedot

Ohjelmoinnin perusteet Y Python

Ohjelmoinnin perusteet Y Python Ohjelmoinnin perusteet Y Python T-106.1208 7.2.2011 T-106.1208 Ohjelmoinnin perusteet Y 7.2.2011 1 / 39 Kännykkäpalautetteen antajia kaivataan edelleen! Ilmoittaudu mukaan lähettämällä ilmainen tekstiviesti

Lisätiedot

MICROSOFT EXCEL 2010

MICROSOFT EXCEL 2010 1 MICROSOFT EXCEL 2010 Taulukkolaskentaohjelman jatkokurssin tärkeitä asioita 2 Taulukkolaskentaohjelmalla voit Käyttää tietokonetta ruutupaperin ja taskulaskimen korvaajana Laatia helposti ylläpidettäviä

Lisätiedot

Ensimmäisen ja toisen kertaluvun differentiaaliyhtälöistä

Ensimmäisen ja toisen kertaluvun differentiaaliyhtälöistä 1 MAT-1345 LAAJA MATEMATIIKKA 5 Tampereen teknillinen yliopisto Risto Silvennoinen Kevät 9 Ensimmäisen ja toisen kertaluvun differentiaaliyhtälöistä Yksi tavallisimmista luonnontieteissä ja tekniikassa

Lisätiedot

DBN Mitä sillä tekee? Dynaamisten Bayes-verkkojen määrittely aikasarja-analyysissä Janne Toivola jtoivola@iki.fi

DBN Mitä sillä tekee? Dynaamisten Bayes-verkkojen määrittely aikasarja-analyysissä Janne Toivola jtoivola@iki.fi DBN Mitä sillä tekee? Dynaamisten Bayes-verkkojen määrittely aikasarja-analyysissä Janne Toivola jtoivola@iki.fi Historiaa Bayesin kaavan hyödyntäminen BN-ohjelmistoja ollut ennenkin Tanskalaisten Hugin

Lisätiedot

3 Suorat ja tasot. 3.1 Suora. Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta.

3 Suorat ja tasot. 3.1 Suora. Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta. 3 Suorat ja tasot Tässä luvussa käsitellään avaruuksien R 2 ja R 3 suoria ja tasoja vektoreiden näkökulmasta. 3.1 Suora Havaitsimme skalaarikertolaskun tulkinnan yhteydessä, että jos on mikä tahansa nollasta

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

ORMS2020 Päätöksenteko epävarmuuden vallitessa Syksy 2010 Harjoitus 3

ORMS2020 Päätöksenteko epävarmuuden vallitessa Syksy 2010 Harjoitus 3 ORMS2020 Päätöksenteko epävarmuuden vallitessa Syksy 2010 Harjoitus 3 Ratkaisuehdotuksia 1. (a) Päätöspuu on matala, jos mitään sattumasolmua ei välittömästi seuraa sattumasolmu eikä mitään päätössolmua

Lisätiedot

Mat-2.3114 Investointiteoria Laskuharjoitus 3/2008, Ratkaisut 05.02.2008

Mat-2.3114 Investointiteoria Laskuharjoitus 3/2008, Ratkaisut 05.02.2008 Korko riippuu usein laina-ajan pituudesta ja pitkille talletuksille maksetaan korkeampaa korkoa. Spot-korko s t on se korko, joka kertyy lainatulle pääomalle hetkeen t (=kokonaisluku) mennessä. Spot-korot

Lisätiedot

Muita rekisteriallokaatiomenetelmiä

Muita rekisteriallokaatiomenetelmiä TIE448 Kääntäjätekniikka, syksy 2009 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 23. marraskuuta 2009 Sisällys Sisällys Seuraava deadline Vaihe E tiistai 1.12. klo 10 koodigenerointi (ilman rekisteriallokaatiota)

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

Visuaalinen käyttöliittymäanalyysi

Visuaalinen käyttöliittymäanalyysi Visuaalinen käyttöliittymäanalyysi Johdanto Tehtävänä on analysoida Saariston ekologia-kurssilla käytettävän tietokoneohjelman käyttöliittymän visuaalisia ominaisuuksia. Vastaa ensiksi VisaWi -lomakkeeseen

Lisätiedot

Avaruuden kolme sellaista pistettä, jotka eivät sijaitse samalla suoralla, määräävät

Avaruuden kolme sellaista pistettä, jotka eivät sijaitse samalla suoralla, määräävät 11 Taso Avaruuden kolme sellaista pistettä, jotka eivät sijaitse samalla suoralla, määräävät tason. Olkoot nämä pisteet P, B ja C. Merkitään vaikkapa P B r ja PC s. Tällöin voidaan sanoa, että vektorit

Lisätiedot

Metropolia ammattikorkeakoulu 05.02.2015 TI00AA43-3004: Ohjelmointi Kotitehtävät 3

Metropolia ammattikorkeakoulu 05.02.2015 TI00AA43-3004: Ohjelmointi Kotitehtävät 3 : http://users.metropolia.fi/~pasitr/2014-2015/ti00aa43-3004/kt/03/ratkaisut/ Tehtävä 1. (1 piste) Tee ohjelma K03T01.cpp, jossa ohjelmalle syötetään kokonaisluku. Jos kokonaisluku on positiivinen, niin

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

4. Lausekielinen ohjelmointi 4.1

4. Lausekielinen ohjelmointi 4.1 4. Lausekielinen ohjelmointi 4.1 Sisällys Konekieli, symbolinen konekieli ja lausekieli. Hyvä ohjelmointitapa. Lausekielestä konekieleksi: - Lähdekoodi, tekstitiedosto ja tekstieditorit. - Kääntäminen

Lisätiedot

Karttojen värittäminen

Karttojen värittäminen Karttojen värittäminen Neliväriongelman värityskombinaatioiden lukumäärän etsiminen graafien avulla Eero Räty & Samuli Thomasson Valkeakosken Tietotien lukio / Päivölän Kansanopisto Tieteenala: Matematiikka

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

Helsingin seitsemäsluokkalaisten matematiikkakilpailu 7.2.2013 Ratkaisuita

Helsingin seitsemäsluokkalaisten matematiikkakilpailu 7.2.2013 Ratkaisuita Helsingin seitsemäsluokkalaisten matematiikkakilpailu..013 Ratkaisuita 1. Eräs kirjakauppa myy pokkareita yhdeksällä eurolla kappale, ja siellä on meneillään mainoskampanja, jossa seitsemän sellaista ostettuaan

Lisätiedot

FTP -AINEISTOSIIRRON OHJE PC / MAC Ympäristö

FTP -AINEISTOSIIRRON OHJE PC / MAC Ympäristö FTP -AINEISTOSIIRRON OHJE PC / MAC Ympäristö Versio 1.0 Tiedostonsiirto FTP -menetelmällä Lahden Väriasemoinnilla on käytössä suurempien tiedostojen siirtoa varten oma FTP -yhteys. Tällä menetelmällä saadaan

Lisätiedot

Pelitehtäviä. Helpot tehtävät. Tuomas Korppi

Pelitehtäviä. Helpot tehtävät. Tuomas Korppi Solmu 1/2012 1 Pelitehtäviä Tuomas Korppi Tämänkertaisissa tehtävissä analysoimme yksinkertaisia pelejä. Tehtävät 1 6 ovat helppoja, ja soveltuvat arvioni mukaan yläasteelle 1. Tehtävät 7 11 ovat vaikeampia,

Lisätiedot

Pienin virittävä puu (minimum spanning tree)

Pienin virittävä puu (minimum spanning tree) Pienin virittävä puu (minimum spanning tree) Jatkossa puu tarkoittaa vapaata puuta (ks. s. 11) eli suuntaamatonta verkkoa, joka on yhtenäinen: minkä tahansa kahden solmun välillä on polku syklitön: minkä

Lisätiedot

Malliratkaisut Demo 1

Malliratkaisut Demo 1 Malliratkaisut Demo 1 1. Merkitään x = kuinka monta viikkoa odotetaan ennen kuin perunat nostetaan. Nyt maksimoitavaksi kohdefunktioksi tulee f(x) = (60 5x)(300 + 50x). Funktio f on alaspäin aukeava paraaeli,

Lisätiedot

Muita vaativuusluokkia

Muita vaativuusluokkia Muita vaativuusluokkia Käydään lyhyesti läpi tärkeimpiä vaativuusluokkiin liittyviä tuloksia. Monet tunnetuista tuloksista ovat vaikeita todistaa, ja monet kysymykset ovat vielä auki. Lause (Ladner 1975):

Lisätiedot

Helsingin, Jyväskylän, Oulun, Tampereen ja Turun yliopisto Matematiikan valintakoe 9.6.2014 klo 10 13

Helsingin, Jyväskylän, Oulun, Tampereen ja Turun yliopisto Matematiikan valintakoe 9.6.2014 klo 10 13 Helsingin, Jyväskylän, Oulun, Tampereen ja Turun yliopisto Matematiikan valintakoe 9.6.014 klo 10 13 1. Ratkaise seuraavat yhtälöt ja epäyhtälöt: x + a) 3 x + 1 > 0 c) x x + 1 = 1 x 3 4 b) e x + e x 3

Lisätiedot

Monissa käytännön ongelmissa ei matriisiyhtälölle Ax = b saada ratkaisua, mutta approksimaatio on silti käyttökelpoinen.

Monissa käytännön ongelmissa ei matriisiyhtälölle Ax = b saada ratkaisua, mutta approksimaatio on silti käyttökelpoinen. Pns ratkaisu (Kr. 20.5, Lay 6.5 C-II/KP-II, 20, Kari Eloranta Monissa käytännön ongelmissa ei matriisiyhtälölle Ax = b saada ratkaisua, mutta approksimaatio on silti käyttökelpoinen. Määritelmä Jos A on

Lisätiedot

2.2 Neliöjuuri ja sitä koskevat laskusäännöt

2.2 Neliöjuuri ja sitä koskevat laskusäännöt . Neliöjuuri ja sitä koskevat laskusäännöt MÄÄRITELMÄ 3: Lukua b sanotaan luvun a neliöjuureksi, merkitään a b, jos b täyttää kaksi ehtoa: 1o b > 0 o b a Esim.1 Määritä a) 64 b) 0 c) 36 a) Luvun 64 neliöjuuri

Lisätiedot

Lyhyt johdatus alkeelliseen lukuteoriaan. Esa V. Vesalainen

Lyhyt johdatus alkeelliseen lukuteoriaan. Esa V. Vesalainen yhyt johdatus alkeelliseen lukuteoriaan Esa V. Vesalainen Sisällysluettelo 1 Aritmetiikan peruslause 0 Jakoyhtälö.................................. 0 Jaollisuus.................................. 0 Alkuluvut..................................

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

Matikkaa KA1-kurssilaisille, osa 3: suoran piirtäminen koordinaatistoon

Matikkaa KA1-kurssilaisille, osa 3: suoran piirtäminen koordinaatistoon Matikkaa KA1-kurssilaisille, osa 3: suoran piirtäminen koordinaatistoon KA1-kurssi on ehkä mahdollista läpäistä, vaikkei osaisikaan piirtää suoraa yhtälön perusteella. Mutta muut kansiksen kurssit, no

Lisätiedot

MAA9.2 2014 Jussi Tyni Lue ohjeet huolellisesti! Tee pisteytysruudukko konseptin yläkertaan. Muista kirjoittaa nimesi. Kysymyspaperin saa pitää.

MAA9.2 2014 Jussi Tyni Lue ohjeet huolellisesti! Tee pisteytysruudukko konseptin yläkertaan. Muista kirjoittaa nimesi. Kysymyspaperin saa pitää. MAA9. 014 Jussi Tyni Lue ohjeet huolellisesti! Tee pisteytysruudukko konseptin yläkertaan. Muista kirjoittaa nimesi. Kysymyspaperin saa pitää. A-OSIO: Ei saa käyttää laskinta. MAOL saa olla esillä. Maksimissaan

Lisätiedot

7.11.2006. Helsingin yliopisto/tktl Kyselykielet, s 2006 Relaatiokalkyylit. Harri Laine 1

7.11.2006. Helsingin yliopisto/tktl Kyselykielet, s 2006 Relaatiokalkyylit. Harri Laine 1 perusteita - relaatiokalkyylit perusteita - relaatiokalkyylit Relaatioalgebra on luonteeltaan proseduraalinen tapa käsitellä tietoa. Tiedon haetaan sarjaksi järjestettyjen operaatioiden avulla. Edellä

Lisätiedot

Optimoinnin sovellukset

Optimoinnin sovellukset Optimoinnin sovellukset Timo Ranta Tutkijatohtori TTY Porin laitos OPTIMI 4.12.2014 Mitä optimointi on? Parhaan ratkaisun systemaattinen etsintä kaikkien mahdollisten ratkaisujen joukosta Tieteellinen

Lisätiedot

H T M L eli kuinka laadin itselleni päheät kotisivut. Janne Käki 13.9.2006

H T M L eli kuinka laadin itselleni päheät kotisivut. Janne Käki 13.9.2006 H T M L eli kuinka laadin itselleni päheät kotisivut Janne Käki 13.9.2006 Mikä ihmeen HTML? HyperText Markup Language hypertekstiä eli toisiinsa linkitettyjä dokumentteja merkintäkieli, perustuu erilaisiin

Lisätiedot

11.4. Context-free kielet 1 / 17

11.4. Context-free kielet 1 / 17 11.4. Context-free kielet 1 / 17 Määritelmä Tyypin 2 kielioppi (lauseyhteysvapaa, context free): jos jokainenp :n sääntö on muotoa A w, missäa V \V T jaw V. Context-free kielet ja kieliopit ovat tärkeitä

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

Verkot ja todennäköisyyslaskenta Verkko Verkko eli graafi muodostuu pisteiden joukosta V, särmien joukosta A ja insidenssikuvauksesta : A V V jossa

Verkot ja todennäköisyyslaskenta Verkko Verkko eli graafi muodostuu pisteiden joukosta V, särmien joukosta A ja insidenssikuvauksesta : A V V jossa Mat-.6 Sovellettu todennäköisyyslaskenta B Mat-.6 Sovellettu todennäköisyyslaskenta B / Ratkaisut Aiheet: Verkot ja todennäköisyyslaskenta Satunnaismuuttujat ja todennäköisyysjakaumat Kertymäfunktio Jakaumien

Lisätiedot

Euroopan tyttöjen matematiikkaolympialaiset Antalyassa, Turkissa, 10. 16.4.2014

Euroopan tyttöjen matematiikkaolympialaiset Antalyassa, Turkissa, 10. 16.4.2014 Solmu 3/2014 1 Euroopan tyttöjen matematiikkaolympialaiset Antalyassa, Turkissa, 10. 16.4.2014 Anne-Maria Ernvall-Hytönen Matematiikan ja tilastotieteen laitos, Helsingin yliopisto Mirjam Kauppila Matematiikan

Lisätiedot

Opettajana Mika Sorsa, mika.sorsa@koudata.fi, HAMK:n ammatillisen opettajakoulutuksen opetusharjoittelija

Opettajana Mika Sorsa, mika.sorsa@koudata.fi, HAMK:n ammatillisen opettajakoulutuksen opetusharjoittelija Opettajana Mika Sorsa, mika.sorsa@koudata.fi, HAMK:n ammatillisen opettajakoulutuksen opetusharjoittelija Opintojaksolla: keskitytään relaatiotietokantojen teoriaan ja toimintaan SQL-kieli kyselykielenä

Lisätiedot

n! k!(n k)! n = Binomikerroin voidaan laskea pelkästään yhteenlaskun avulla käyttäen allaolevia ns. palautuskaavoja.

n! k!(n k)! n = Binomikerroin voidaan laskea pelkästään yhteenlaskun avulla käyttäen allaolevia ns. palautuskaavoja. IsoInt Tietokoneiden muisti koostuu yksittäisistä muistisanoista, jotka nykyaikaisissa koneissa ovat 64 bitin pituisia. Muistisanan koko asettaa teknisen rajoituksen sille, kuinka suuria lukuja tietokone

Lisätiedot

TOIMINNALLINEN MÄÄRITTELY. PROJEKTITYÖ Tik-76.115 Wclique

TOIMINNALLINEN MÄÄRITTELY. PROJEKTITYÖ Tik-76.115 Wclique TOIMINNALLINEN MÄÄRITTELY PROJEKTITYÖ Tik-.115 SISÄLLYSLUETTELO Sisällysluettelo... Versiohistoria... 1. JOHDANTO... 4 1.1 Tarkoitus ja kattavuus... 4 1. Tuote... 4 1. Määritelmät, termit ja lyhenteet...

Lisätiedot

Excel-harjoitus 1. Tietojen syöttö työkirjaan. Taulukon muotoilu

Excel-harjoitus 1. Tietojen syöttö työkirjaan. Taulukon muotoilu Excel-harjoitus 1 Tietojen syöttö työkirjaan Kuvitteellinen yritys käyttää Excel-ohjelmaa kirjanpidon laskentaan. He merkitsevät taulukkoon päivittäiset ostot, kunnostuskulut, tilapäistilojen vuokramenot,

Lisätiedot

1 Yleistä Kooste-objektista... 3. 1.1 Käyttöönotto... 3. 2 Kooste-objektin luominen... 4. 3 Sisällön lisääminen Kooste objektiin... 4. 3.1 Sivut...

1 Yleistä Kooste-objektista... 3. 1.1 Käyttöönotto... 3. 2 Kooste-objektin luominen... 4. 3 Sisällön lisääminen Kooste objektiin... 4. 3.1 Sivut... Kooste 2 Optima Kooste-ohje Sisällysluettelo 1 Yleistä Kooste-objektista... 3 1.1 Käyttöönotto... 3 2 Kooste-objektin luominen... 4 3 Sisällön lisääminen Kooste objektiin... 4 3.1 Sivut... 5 3.2 Sisältölohkot...

Lisätiedot

Lyhyt yhteenvetokertaus nodaalimallista SÄTEILYTURVAKESKUS STRÅLSÄKERHETSCENTRALEN RADIATION AND NUCLEAR SAFETY AUTHORITY

Lyhyt yhteenvetokertaus nodaalimallista SÄTEILYTURVAKESKUS STRÅLSÄKERHETSCENTRALEN RADIATION AND NUCLEAR SAFETY AUTHORITY Lyhyt yhteenvetokertaus nodaalimallista SÄTELYTUVAKESKUS STÅLSÄKEHETSCENTALEN ADATON AND NUCLEA SAFETY AUTHOTY Ei enää tarkastella neutronien kulkua, vaan työn alla on simppeli tuntemattoman differentiaaliyhtälöryhmä

Lisätiedot

Algoritmit 1. Luento 10 Ke 11.2.2015. Timo Männikkö

Algoritmit 1. Luento 10 Ke 11.2.2015. Timo Männikkö Algoritmit 1 Luento 10 Ke 11.2.2015 Timo Männikkö Luento 10 Algoritminen ongelman ratkaisu Suunnittelumenetelmät Raaka voima Järjestäminen eli lajittelu Kuplalajittelu Väliinsijoituslajittelu Valintalajittelu

Lisätiedot

Mallivastaukset KA5-kurssin laskareihin, kevät 2009

Mallivastaukset KA5-kurssin laskareihin, kevät 2009 Mallivastaukset A5-kurssin laskareihin, kevät 009 Harjoitukset (viikko 5) Tehtävä Asia selittyy tulonsiirroilla. Tulonsiirrot B lasketaan mukaan kotitalouksien käytettävissä oleviin tuloihin Y d. Tässä

Lisätiedot

Funktion derivoituvuus pisteessä

Funktion derivoituvuus pisteessä Esimerkki A Esimerkki A Esimerkki B Esimerkki B Esimerkki C Esimerkki C Esimerkki 4.0 Ratkaisu (/) Ratkaisu (/) Mielikuva: Funktio f on derivoituva x = a, jos sen kuvaaja (xy-tasossa) pisteen (a, f(a))

Lisätiedot

Lean toimintamallia tukevan Excelin pikakäyttöopas versio 1.1

Lean toimintamallia tukevan Excelin pikakäyttöopas versio 1.1 Lean toimintamallia tukevan Excelin pikakäyttöopas versio 1.1 versio 1.0 Varhac Oy Jussi Luukkonen 01.10.2013 versio 1.1. HSY Lotta Toivonen 25.10.2013 Sisällys 1 Sovelluksen asennus... 3 2 Sovelluksen

Lisätiedot

Tilastolliset toiminnot

Tilastolliset toiminnot -59- Tilastolliset toiminnot 6.1 Aineiston esittäminen graafisesti Tilastollisen aineiston tallentamisvälineiksi TI-84 Plus tarjoaa erityiset listamuuttujat L1,, L6, jotka löytyvät 2nd -toimintoina vastaavilta

Lisätiedot

Asteri Palkanmaksun uudistuksia 2006

Asteri Palkanmaksun uudistuksia 2006 Atsoft Oy Mäkinen Malminkaari 21 B 00700 HELSINKI Asteri Palkanmaksun uudistuksia 2006 Sairausvakuutuksen päivärahamaksu 2 Matalapalkkatuki 6 Rajoitetusti verovelvollisen lievennetty lähdevero vuonna 2006

Lisätiedot

Taulukkolaskennan perusteet Taulukkolaskentaohjelmat

Taulukkolaskennan perusteet Taulukkolaskentaohjelmat Taulukkolaskennan perusteet Taulukkolaskentaohjelmat MS Excel ja LO Calc H6: Lomakkeen solujen visuaalisten ja sisältöominaisuuksien käsittely ja soluviittausten perusteet Taulukkolaskennan perusteita

Lisätiedot

1 Yleistä Web-editorista... 3. 1.1 Web-editori -dokumentin luominen... 3. 2 Pikatoimintopainikkeet... 3. 2.1 Tallenna... 3

1 Yleistä Web-editorista... 3. 1.1 Web-editori -dokumentin luominen... 3. 2 Pikatoimintopainikkeet... 3. 2.1 Tallenna... 3 Web-editori 2 Optima Web-editori -ohje Sisällysluettelo 1 Yleistä Web-editorista... 3 1.1 Web-editori -dokumentin luominen... 3 2 Pikatoimintopainikkeet... 3 2.1 Tallenna... 3 2.2 Peru / Tee uudelleen...

Lisätiedot

Numeerinen integrointi

Numeerinen integrointi Numeerinen integrointi Analyyttisesti derivointi triviaalia, integrointi vaikeaa. Numeerisesti laskettaessa tilanne on päinvastainen. Integrointi on yhteenlaskua, joka on tasoittava operaatio: lähtötietojen

Lisätiedot

Törmäyskurssi kilpailulukuteoriaan pienin välttämätön oppimäärä

Törmäyskurssi kilpailulukuteoriaan pienin välttämätön oppimäärä Törmäyskurssi kilpailulukuteoriaan pienin välttämätön oppimäärä Anne-Maria Ernvall-Hytönen 14. tammikuuta 2011 Sisältö 1 Jaollisuus, alkuluvut, ynnä muut perustavanlaatuiset asiat 2 1.1 Lukujen tekijöiden

Lisätiedot

4 / 2013 TI-NSPIRE CAS TEKNOLOGIA LUKIOSSA. T3-kouluttajat: Olli Karkkulainen ja Markku Parkkonen

4 / 2013 TI-NSPIRE CAS TEKNOLOGIA LUKIOSSA. T3-kouluttajat: Olli Karkkulainen ja Markku Parkkonen 4 / 2013 TI-NSPIRE CAS TEKNOLOGIA LUKIOSSA T3-kouluttajat: Olli Karkkulainen ja Markku Parkkonen 1 2 TI-Nspire CX CAS kämmenlaite kevään 2013 pitkän matematiikan kokeessa Tehtävä 1. Käytetään komentoa

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