T Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (Predikaattilogiikka )
|
|
- Akseli Lehtonen
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 T Kevät 2009 Logiikk tietotekniikss: perusteet Lskuhrjoitus 7 (Predikttilogiikk ) Rtkisuj demotehtäviin Tehtävä 9.1 Rtkisuss on käytetty usen otteeseen rjoitettuj universli- j eksistentilikvnttoreit. Jos hlutn ilmist, että jokin ominisuus φ() pätee kikille prediktin P() toteuttville lkioille, kirjoitetn (P() φ()). Se, että ominisuus φ() pätee jollekin prediktin P() toteuttvlle lkiolle, ilmistn luseell (P() φ()). Yksipikkinen prediktti P() ilmisee siis usein lkion tyyppiä (esimerkiksi on portti). Vstvsti kksipikkinen prediktti ilmisee khden lkion välistä suhdett (esimerkiksi on y:tä nopempi). ) (P() V()), kun P() = on portti j V() = on villinen. P Q b) A() ( (A() ( = ) N(,)), kun = ko. lgoritmi, A() = on lgoritmi j N(,y) = on y:tä nopempi.
2 A N A = c) (K() y(t(y) R(,y))), kun K() = osllistuu kurssille, T() = on työsem j 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 j K(, y) = kirjoitt y:hyn. Esitetyt rtkisut eivät ole inoit mhdollisi. Vlinnn vr on prediktti-, funktio- j vkiosymbolien määrittelyssä j luseiden rkenteess. Tehtävä 9.2 Sulkujen poistmisess käytettiin peritett, että uloimmt sulut voi jättää pois j lisäksi, mikäli sulkujen sisällä olev opertio on presedenssiltään ulkopuolell olev vhvempi, sulut voidn poist. ) y(( (P() Q())) L()) Tässä kv on esitetty ilmn uloimpi sulkuj. Trksteltess nyt uloimpi sulkuj, niin sisällä olev opertio on impliktio j ulkopuolell universlinen kvntifiointi. Kvntifiointi on vhvempi, sulkuj ei voi poist. Trkstelln seurvksi sulkuj eksistenttikvnttorin ympärillä. Sisällä siis edellä minittu kvntifionti j ulkopuolell impliktio. Sulut voi poist j kv s muodon y( (P() Q()) L()). Jäljellä on vielä sulut konjunktion ympärillä. Ulkopuolell olev kvntifiointi on vhvempi, sulkuj ei voi poist. b) y(p(,y) Q(y,)) K( f())
3 c) y(a B) Tehtävä 9.3 Käyttämällä inostn elementtejä c j f, voidn muodost seurv joukko termejä: {c, f(c), f 2 (c), f 3 (c),...}. Edelleen termejä voidn lti käyttämällä hyväksi funktiot g. Sen rgumenteiksi voidn vlit mikä thns pri edellisistä, esim. sdn termit g(c,c) j g( f 3 (c), f 108 (c)). Luonnollisesti sekä g:n että f :n rgumenteiksi voidn edelleen vlit mitkä thns näin sduist termeistä. Näin syntyy esim. f(g( f 5 (c), f 13 (c))) j g(g(c, f(c)), f 8 (c)). Funktioiden sisennystä voi näin jtk mielivltisen mont skelt.
4 Tehtävä 9.4 Yleistys tphtuu käyttämällä hyväksi sekä listojen että puiden nottiot. Perite on, että mielivltinen puu esitetään sisäkkäisinä listoin, jotk kertovt kunkin solmun lpset. Olkoon tehtävässä esitetyt 3 vkio- j funktiosymboli: e (tyhjä list), c F 2 (ensimmäinen rgumentti listn ensimmäinen lkio j toinen rgumentti loput listst), j l F 1 (lehtisolmu). Trkstelln seurvi puit: b d b f Näistä ensimmäisen esitys nnetull nottioll on l(), toisen c(l(), c(l(b), e)) j kolmnnen c(l(), c(l(d),c(c(l(b),c(l( f),e)),e))). Tehtävä 9.5 Kv on luse, jos siinä ei ole vpit muuttujesiintymiä. Tehtävännnoss todetn, että φ() on luse. φ(t) trkoitt kv, joss jokinen :n vp esiintymä on korvttu termillä t. Kosk t on muuttujton, niin φ(t) on myös luse. Tehtävä 10.1 Muodostetut lukuprit voi sett kksiulotteiseen tulukkoon vikkp seurvsti: 0,0 0,1 0,2 0,3 1,0 1,1 1,2 1,3 2,0 2,1 2,2 2, Tehtävän ide on sm kuin todistettess sitä, että khden luonnollisen luvun prej on yhtä mont kuin luonnollisi lukuj (joukot siis ovt yhtä mhtvt). Todistuksess lditn bijektiivinen kuvus luonnollisilt luvuilt lukupreille. Kuvuksess f(0) = 0, 0 j muill rvoill se etenee in tulukon digonlej pitkin. Esim. f(1) = 0,1, f(2) = 1,0 jne. Mikäli kuvus etenisi rivejä ti srkkeit pitkin, ei joukkojen yhtäsuuruutt stisi osoitettu, kosk rivit (srkkeet) jtkuvt äärettömiin. Mielivltinen digonli puolestn on äärellinen. Sovelluttun logiikkn, universumi sdn peitettyä, mikäli vkion c tulkint on c S = 0,0, j funktio lditn em. sääntöjen pohjlt, siis: f(c) S = 0,1 f(f(c)) S = 1,0 f 3 (c) S = 0,2 f 4 (c) S = 1,1..
5 Funktion f S lusekkeen voi esittää muodoss: f S :,y,y Tässä g() on nk. pulssifunktio: = g()(y+1)+(1 g())( 1) y = (1 g())(y+1) g() = { 1, jos = 0. 0, muutoin. Tehtävä 10.4 Tämä mllivstus koskee seurv tehtävää (vuodelt 2008): Grfi muodostuu solmujen joukost S j solmujen välisten krien K S S joukost. Grfin solmut s j s ovt vierekkäiset, jos niitä yhdistää kri ( s,s K ti s,s, K). Olkoon C jokin värien joukko. Grfin väritysongelmss on trkoituksen löytää grfin solmuille värit joukost C siten, että kikill vierekkäisillä solmuill on eri värit. ) Määrittele grfin väritysongelmn rtkisu predikttilogiikn vull. b) Ann edellisen kohdn lusejoukolle mlli j c) struktuuri, joss se ei toteudu. Rtkisu: ) Grfist meitä kiinnostvt erityisesti kret, joiden esittämistä vrten määritellään prediktti K(, y) (grfiss on kri solmust solmuun y). Värien esittämiseen on useit mhdollisuuksi. (i) Yksi mhdollisuus on kiinnittää värien joukko j esittää värit prediktein. Jos joukoss C on värejä n kpl määritellään niille kullekin yksipikkinen prediktti C i (). Prediktti C i () trkoitt, että solmu on väritetty värillä i. Ongelmn määrittelyssä vditn, että jokisell solmull on yksikäsitteinen väri, j jos solmujen välillä on kri, solmut ovt eriväriset. Ensimmäisestä vtimuksest sdn seurvt luseet: (C i () C 1 () C i 1 () C i+1 () C n ()) indeksin i rvoill 1,...,n (huom, että C i () ei esiinny ekvivlenssin oiken puolen konjuktioss). Toinen vtimus esitetään jokisen prediktin C i () oslt erikseen: y(k(,y) (C i () C i (y))).
6 (ii) Toinen mhdollisuus on jättää värien määrittely voimeksi j ott käyttöön prediktti V(, y) (solmun väri on y). Solmun värin yksikäsitteisyys voidn ilmist luseell: y z(v(,y) V(,z) y = z). Siis, jos solmull on värit y j z, nämä ovt itsesiss sm väri (yhtäsuuruus prediktti = on tosi rkenteess S, jos j vin jos prediktin rgumenttien tulkinnt ovt smt rkenteess S). Vierekkäisten solmujen erivärisyys sdn puettu luseeksi: y z(k(,y) (V(,z) V(y,z)). Eli, jos grfiss on kri solmust solmuun y j solmu on väriltään z, solmu y ei ole väriltään z. (iii) Kolmnten mhdollisuuten on esittää väri funktiosymbolin v vull. Termi v() trkoitt solmun väriä. Tässä tpuksess värin yksikäsitteisyyttä ei trvitse erikseen määritellä (funktion rvo on in yksikäsitteinen). Erivärisyydelle sdn luse: y(k(,y) (v() = v(y))). b) Annetn mlli kohdn (i) luseille tpuksess n = 2. Määritellään rkenne S, jonk universumin on U = { 1, 2 } (kksi solmu). Prediktin K tulkint on K S = { 1, 2, 2, 1 } (grfiss on kret solmust 1 solmuun 2 j solmust 2 solmuun 1 ). Predikttien C 1 j C 2 tulkinnt ovt C S 1 = { 1 } j C S 2 = { 2} (toinen solmuist on siis väriä C 1 j toinen väriä C 2 ). Trkistetn nyt totuusmääritelmän vull, että luseet (C 1 () C 2 ()), y(k(,y) (C 1 () C 1 (y)), j y(k(,y) (C 2 () C 2 (y)) toteutuvt rkenteess S (eli S on luseiden mlli). Huom että luseist ensimmäinen on ekvivlentti luseen (C 2 () C 1 ()) knss, jok myös kuuluu lusejoukkoon tpuksess n = 2. Nyt S = (C 1 () C 2 ())
7 jos j vin jos S[ 1 ] = (C 1 () C 2 ()) j S[ 2 ] = (C 1 () C 2 ()) Kosk 1 C S 1, pätee S[ 1] = C 1 (). Vstvsti, kosk 1 C S 2, pätee S[ 1 ] = C 2 (). Siis S[ 1 ] = (C 1 () C 2 ()) Vstvsti osoitetn, että S[ 2 ] = (C 1 () C 2 ()), joten S = (C 1 () C 2 ()) seur. Nyt S = y(k(,y) (C 1 () C 1 (y)) jos j vin jos kv on tosi rkenteiss K(,y) (C 1 () C 1 (y)) S[ 1,y 1 ], S[ 1,y 2 ], S[ 2,y 1 ] j S[ 2,y 2 ]. Kosk prit 1, 1 j 2, 2 eivät kuulu tulkintn K S tomikv K(,y) on epätosi ensimmäisessä j viimeisessä rkenteess, joten impliktion totuusmääritelmän nojll edellännettu kv on tosi näissä rkenteiss. Kosk pri 1, 2 kuuluu tulkintn K S, S[ 1,y 2 ] = K(,y) j nnettu kv on tosi rkenteess S[ 1,y 2 ] jos j vin jos S[ 1,y 2 ] = C 1 () C 1 (y). Tämä pitää pikknss, sillä 1 C S 1 j 2 C S 2, joten S[ 1,y 2 ] = C 1 () j S[ 1,y 2 ] = C 2 (y). Kv on tosi myös 3. struktuuriss. Eron edelliseen on, että impliktio C 1 () C 1 (y) on tosi rkenteess S, kosk S[ 2,y 1 ] = C 1 (). Siis S on mlli luseelle y(k(,y) (C 1 () C 1 (y)). Symmetrisyistä S on myös luseen y(k(,y) (C 2 () C 2 (y)) mlli. Olemme siis osoittneet, että S on lusejoukon mlli. Sm rkenne on mlli myös tpuksess, joss värejä on usempi kuin kksi. Mlleist tulee monimutkisempi, jos solmujen väritys esitetään vihtoehtojen (ii) j (iii) mukisesti. c) Määritellään rkenne S tpuksess n = 2, joss lusejoukko ei toteudu. Vlitn universumiksi U = {} (yksi solmu) j prediktin K tulkinnksi esim. K S = {, }. Nyt (C 1 () C 2 ())
8 ei toteudu rkenteess S, jos S[ ] = C 1 () C 2 () Vlitn siis väripredikttien tulkinnt siten, että S[ ] = C 1 () j S[ ] = C 2 () settmll C S 1 = CS 2 = {} Tällöin S ei voi oll lusejoukon mlli.
T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet )
T-79144 Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet 11-22) 26 29102004 1 Ilmaise seuraavat lauseet predikaattilogiikalla: a) Jokin porteista on viallinen
LisätiedotKuvausta f sanotaan tällöin isomorfismiksi.
Määritelmä..12. Oletetn, että 1 =(V 1,E 1 ) j 2 =(V 2,E 2 ) ovt yksinkertisi verkkoj. Verkot 1 j 2 ovt isomorfiset, jos seurvt ehdot toteutuvt: (1) on olemss bijektio f : V 1 V 2 (2) kikill, b V 1 pätee,
Lisätiedot3.3 KIELIOPPIEN JÄSENNYSONGELMA Ratkaistava tehtävä: Annettu yhteydetön kielioppi G ja merkkijono x. Onko
3.3 KILIOPPIN JÄSNNYSONGLMA Rtkistv tehtävä: Annettu yhteydetön kielioppi G j merkkijono x. Onko x L(G)? Rtkisumenetelmä = jäsennyslgoritmi. Useit vihtoehtoisi menetelmiä, erityisesti kun G on jotin rjoitettu
LisätiedotRiemannin integraali
LUKU 5 iemnnin integrli Tässä luvuss funktion f iemnnin integrli merkitään - b f = - b f() d. Vstvsti funktion f Lebesgue in integrli merkitään f = f() dm(). [,b] [,b] Luse 5.1. Olkoon f : [, b] rjoitettu
LisätiedotMatematiikan tukikurssi
Mtemtiikn tukikurssi Kurssikert 4 Tilvuuden j vipn ln lskeminen Kuten iemmin käsittelimme, määrätyn integrlin vull voi lske pintloj j tilvuuksi. Tyypillisenä sovelluksen tilvuuden lskemisest on tpus, joss
LisätiedotRiemannin integraalista
Lebesguen integrliin sl. 2007 Ari Lehtonen Riemnnin integrlist Johdnto Tämän luentomonisteen trkoituksen on tutustutt lukij Lebesgue n integrliin j sen perusominisuuksiin mhdollisimmn yksinkertisess tpuksess:
LisätiedotDiskreetin matematiikan perusteet Laskuharjoitus 6 / vko 13
MS-A040 Diskreetin mtemtiikn perusteet, IV/07 Kngslmpi / Jkosson Diskreetin mtemtiikn perusteet Lskuhrjoitus / vko Tuntitehtävät 4-4 lsketn lkuviikon hrjoituksiss j tuntitehtävät 45-4 loppuviikon hrjoituksiss.
LisätiedotII.1. Suppeneminen., kun x > 0. Tavallinen lasku
II. EPÄOLEELLISET INTEGRAALIT nt II.. Suppeneminen Esim. Olkoon f() =, kun >. Tvllinen lsku = / =. Kuitenkn tätä integrli ei ole ikisemmss mielessä määritelty, kosk f ei ole rjoitettu välillä [, ] (eikä
LisätiedotICS-C2000 Tietojenkäsittelyteoria Kevät 2016
ICS-C2000 Tietojenkäsittelyteori Kevät 2016 Kierros 5, 8. 12. helmikuut Demonstrtiotehtävien rtkisut D1: Hhmolusekkeet ovt esimerkiksi UN*X-järjestelmien tekstityökluiss käytetty säännöllisten lusekkeiden
LisätiedotMatematiikan johdantokurssi, syksy 2017 Harjoitus 6, ratkaisuista. 1. Onko jokin demojen 5 tehtävän 3 relaatioista
Mtemtiikn johntokurssi, syksy 07 Hrjoitus 6, rtkisuist. Onko jokin emojen 5 tehtävän reltioist ) R := {(, ), (, ), (, ), (, ), (, ), (, ), (, ), (, )}, ) S := {(, ), (, ), (, ), (, ), (, ), (, ), (, ),
LisätiedotOSA 1: POLYNOMILASKENNAN KERTAUSTA, BINOMIN LASKUSÄÄNTÖJÄ JA YHTÄLÖNRATKAISUA
OSA 1: POLYNOMILASKENNAN KERTAUSTA, BINOMIN LASKUSÄÄNTÖJÄ JA YHTÄLÖNRATKAISUA Tekijät: Ari Heimonen, Hellevi Kupil, Ktj Leinonen, Tuomo Tll, Hnn Tuhknen, Pekk Vrniemi Alkupl Tiedekeskus Tietomn torninvrtij
LisätiedotKertymäfunktio. Kertymäfunktio. Kertymäfunktio: Mitä opimme? 2/2. Kertymäfunktio: Mitä opimme? 1/2. Kertymäfunktio: Esitiedot
TKK (c) Ilkk Mellin (24) 1 Johdtus todennäköisyyslskentn TKK (c) Ilkk Mellin (24) 2 : Mitä opimme? 1/2 Jos stunnisilmiötä hlutn mllint mtemttisesti, on ilmiön tulosvihtoehdot kuvttv numeerisess muodoss.
LisätiedotSARJAT JA DIFFERENTIAALIYHTÄLÖT Funktiojonot 1
SARJAT JA DIFFERENTIAALIYHTÄLÖT 2003 JOUNI PARKKONEN Sisältö 0. Tästä tekstistä. Funktiojonot 0. Tästä tekstistä Tämä moniste on trkoitettu käytettäväksi kurssin Srjt j differentiliyhtälöt luentomterilin.
LisätiedotReaalinen lukualue. Millainen on luku, jossa on päättymätön ja jaksoton desimaalikehitelmä?
Relinen lukulue POLYNOMIFUNKTIOT JA -YHTÄLÖT, MAA Millinen on luku, joss on päättymätön j jksoton desimlikehitelmä? Onko sellisi? Trkstelln Pythgorn luseest stv yksikköneliön lävistäjää, luku + = x x =.
LisätiedotNeliömatriisin A determinantti on luku, jota merkitään det(a) tai A. Se lasketaan seuraavasti: determinantti on
4. DETERINANTTI JA KÄÄNTEISATRIISI 6 4. Neliömtriisi determitti Neliömtriisi A determitti o luku, jot merkitää det(a) ti A. Se lsket seurvsti: -mtriisi A determitti o det(a) () -mtriisi A determitti void
LisätiedotEsimerkki 8.1 Määritellään operaattori A = x + d/dx. Laske Af, kun f = asin(bx). Tässä a ja b ovat vakioita.
8. Operttorit, mtriisit j ryhmäteori Mtemttinen operttori määrittelee opertion, jonk mukn sille nnettu funktiot muoktn. Operttorit ovt erityisen tärkeitä kvnttimekniikss, kosk siinä jokist suurett vst
Lisätiedot2.6 SÄÄNNÖLLISET LAUSEKKEET Automaattimalleista poikkeava tapa kuvata yksinkertaisia kieliä. Olkoot A ja B aakkoston Σ kieliä. Perusoperaatioita:
2.6 SÄÄNNÖLLISET LAUSEKKEET Automttimlleist poikkev tp kuvt yksinkertisi kieliä. Olkoot A j B kkoston Σ kieliä. Perusopertioit: Yhdiste: A B = {x Σ x A ti x B}; Ktentio: AB = {xy Σ x A, y B}; Potenssit:
Lisätiedot58131 Tietorakenteet ja algoritmit (kevät 2015) Toinen välikoe, malliratkaisut
583 Tietorkenteet j lgoritmit (kevät 205) Toinen välikoe, mllirtkisut. () Brnh n oun. Brnh n oun on lgoritmityyppi, joss tutkitn kikki ongelmn mhollisi rtkisuj puumisess rkenteess. Kun hvitn, että jokin
LisätiedotAutomaattimalleista poikkeava tapa kuvata yksinkertaisia kieliä. Olkoot A ja B aakkoston Σ kieliä. Perusoperaatioita:
2.6 SÄÄNNÖLLISET LAUSEKKEET Automttimlleist poikkev tp kuvt yksinkertisi kieliä. Olkoot A j B kkoston Σ kieliä. Perusopertioit: Yhdiste: A B = {x Σ x A ti x B}; Ktentio: AB = {xy Σ x A, y B}; Potenssit:
LisätiedotSyksyn 2015 Pitkän matematiikan YO-kokeen TI-Nspire CAS -ratkaisut
Sksn 0 Pitkän mtemtiikn YO-kokeen TI-Nspire CAS -rtkisut Tekijät: Olli Krkkulinen Rtkisut on ldittu TI-Nspire CAS -tietokoneohjelmll kättäen Muistiinpnot -sovellust. Kvt j lskut on kirjoitettu Mth -ruutuihin.
LisätiedotT Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 5 Demonstraatiotehtävien ratkaisut. ja kaikki a Σ ovat säännöllisiä lausekkeita.
T-79.8 Syksy 22 Tietojenkäsittelyteorin perusteet Hrjoitus 5 Demonstrtiotehtävien rtkisut Säännölliset lusekkeet määritellään induktiivisesti: j kikki Σ ovt säännöllisiä lusekkeit. Mikäli α j β ovt säännöllisiä
LisätiedotLaskennan mallit (syksy 2010) 1. kurssikoe, ratkaisuja
582206 Lskennn mllit (syksy 2010) 1. kurssikoe, rtkisuj 1. [2+2+2 pistettä] Säännöllisissä lusekkeiss on käytetty tuttu lyhennysmerkintää Σ = ( ). () merkkijonot, joiden kksi ensimmäistä merkkiä ovt joko
LisätiedotSäännöllisten operaattoreiden täydentäviä muistiinpanoja
Säännöllisten operttoreiden täydentäviä muistiinpnoj Antti-Juhni Kijnho 1. huhtikuut 2011 Vnht määritelmät Määritelmä 1. Äärellinen epätyhjä joukko on merkistö, j sen lkioit kutsutn merkeiksi. Määritelmä
LisätiedotICS-C2000 Tietojenkäsittelyteoria Kevät 2016
ICS-C2 Tietojenkäsittelyteori Kevät 2 Kierros,. 5. helmikuut Demonstrtiotehtävien rtkisut D: Sievennä seurvi säännöllisiä lusekkeit (so. konstruoi yksinkertisemmt lusekkeet smojen kielten kuvmiseen): ()
Lisätiedot2.2 Automaattien minimointi
24 2.2 Automttien minimointi Kksi utomtti, jotk tunnistvt täsmälleen smn kielen ovt keskenään ekvivlenttej Äärellinen utomtti on minimlinen jos se on tilmäärältään pienin ekvivlenttien utomttien joukoss
LisätiedotSinilause ja kosinilause
Siniluse j kosiniluse GEOMETRI M3 Mikäli kolmion korkeus j knt tiedetään, voidn pint-l lske. Esimerkki: Lske kolmion l, kun 38 kulmn viereiset sivut ovt 8, j 6,8. Nyt knt tiedetään, korkeutt ei! 38 8,
LisätiedotOlkoon. M = (Q, Σ, δ, q 0, F)
T 79.148 Tietojenkäsittelyteorin perusteet 2.4 Äärellisten utomttien minimointi Voidn osoitt, että jokisell äärellisellä utomtill on yksikäsitteinen ekvivlentti (so. smn kielen tunnistv) tilmäärältään
LisätiedotMääritelmä Olkoon C R m yksinkertainen kaari ja γ : [a, b] R m sen yksinkertainen parametriesitys, joka on paloittain C 1 -polku.
Muodostetn vektorikentän kri-integrli yksinkertisen kren tpuksess. Plutetn mieleen, että joukko C R m on yksinkertinen kri, jos löytyy sellinen jtkuv bijektio γ : [, b] C, jok on ploittin C 1 -funktio
LisätiedotOlkoon. äärellinen automaatti. Laajennetaan M:n siirtymäfunktio yksittäisistä syötemerkeistä merkkijonoihin: jos q Q, x Σ, merkitään
T 79.00/002 Tietojenkäsittelyteorin perusteet 2. Äärellisten utomttien minimointi Voidn osoitt, että jokisell äärellisellä utomtill on yksikäsitteinen ekvivlentti (so. smn kielen tunnistv) tilmäärältään
Lisätiedot7 Funktiosarjoista. 7.1 Funktiosarjojen suppeneminen
7 Funktiosrjoist 7. Funktiosrjojen suppeneminen Seurvksi trkstelln srjoj, joiden termit ovt (lukujen sijst) jollkin välillä I määriteltyjä funktioit. Täsmällisemmin funktiosrjll (ti lyhyemmin srjll) trkoitetn
LisätiedotTEHTÄVÄ 1. Olkoon (f n ) jono jatkuvia funktioita f n : [a, b] R, joka suppenee välillä [a, b] tasaisesti kohti funktiota f : [a, b] R.
Topologi I Hrjoitus 10, rtkisuj AP TEHTÄVÄ 1. Olkoon (f n ) jono jtkuvi funktioit f n : [, b] R, jok suppenee välillä [, b] tsisesti kohti funktiot f : [, b] R. Osoit, että tällöin f n (x) dx f(x) dx.
Lisätiedot1. Derivaatan Testi. Jos funktio f on jatkuva avoimella välillä ]a, b[ ja x 0 ]a, b[ on kriit. tai singul. piste niin. { f (x) > 0, x ]a, x 0 [
1. Derivtn Testi Jos funktio f on jtkuv voimell välillä ], b[ j x 0 ], b[ on kriit. ti singul. piste niin { f (x) < 0, x ], x 0 [ f x (x) > 0, x ]x 0, b[ 0 on lokli minimipiste (1) { f (x) > 0, x ], x
LisätiedotMikrotalousteoria 2, 2008, osa III
Sisältö Mikrotlousteori 2, 2008, os III Yrityksen tuotntofunktiost 2 Pnosten substituoitvuus 2 3 Yrityksen teori 3 4 Mittkvedut tuotnnoss 5 5 Yksikkökustnnusten j skltuottojen steen välinen yhteys 5 6
LisätiedotAUTOMAATTIEN SYNKRONISAATIOSTA
AUTOMAATTIEN SYNKRONISAATIOSTA John Kopr Pro grdu -tutkielm Huhtikuu 015 MATEMATIIKAN JA TILASTOTIETEEN LAITOS TURUN YLIOPISTO TURUN YLIOPISTO Mtemtiikn j tilstotieteen litos KOPRA, JOHAN: Automttien synkronistiost
LisätiedotLyhyt johdatus joukko-oppiin ja relaatioihin
Lyhyt johtus joukko-oppiin j reltioihin Tommi Syrjänen 1 Johnto Tämän oppn trkoituksen on esittää lyhyt tiivistelmä joukko-opin j reltioien perusteist. Esitys seur pääpiirteissään kirjn Lewis, Ppimitriou:
Lisätiedot4 DETERMINANTTI JA KÄÄNTEISMATRIISI
4 DETERMINANTTI JA KÄÄNTEISMATRIISI Neliömtriisin determinntti Neliömtriisin A determinntti on luku, jot merkitään det(a) ti A. Lskeminen: -mtriisin A determinntti: det(a) -mtriisin A determinntti esim.
Lisätiedotx k 1 Riemannin summien käyttö integraalin approksimointiin ei ole erityisen tehokasta; jatkuvasti derivoituvalle funktiolle f virhe b
5 Integrlien lskemisest 51 Riemnnin summt [A2], [4, 61] Rjoitetun funktion f : [, b] R Riemnn-integroituvuudelle ytäpitäväksi on kurssill Anlyysi 2 osoitettu, että Riemnnin summill S P := f(ξ k ) ( ),
LisätiedotKognitiivinen mallintaminen I, kevät Harjoitus 1. Joukko-oppia. MMIL, luvut 1-3 Ratkaisuehdotuksia, MP
Kognitiivinen mllintminen I, kevät 007 Hrjoitus. Joukko-oppi. MMIL, luvut -3 Rtkisuehdotuksi, MP. Määritellään joukot: A = {,,, 3, 4, 5} E = {, {}, } B = {, 4} F = C = {, } G = {{, }, {,, 4}} D = {, }
LisätiedotAutomaatin tunnistama kieli on sen hyväksymien merkkijonojen joukko. Täsmällinen muotoilu: δ,q 0,{q 2,q 3,q 6 }), missä
T 79.1001/1002 Tietojenkäsittelyteorin perusteet 2.3 Äärellisen utomtin käsitteen formlisointi eknistinen mlli: syötenuh: nuhpää: ohjusyksikkö: i n p δ u q 1 q 2 Äärellinen utomtti koostuu äärellistilisest
LisätiedotPRO GRADU -TUTKIELMA. Eeva Mäkelä. Hiloista ja Boolen algebroista
PRO GRADU -TUTKIELMA Eev Mäkelä Hiloist j Boolen lgeroist TAMPEREEN YLIOPISTO Luonnontieteiden tiedekunt Mtemtiikk Mrrskuu 2017 Tmpereen yliopisto Luonnontieteiden tiedekunt MÄKELÄ, EEVA: Hiloist j Boolen
Lisätiedot6 Integraalilaskentaa
6 Integrlilskent 6. Integrlifunktio Funktion f integrlifunktioksi snotn funktiot F, jonk derivtt on f. Siis F (x) = f (x) määrittelyjoukon jokisell muuttujn rvoll x. Merkitään F(x) = f (x) dx. Integrlifunktion
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 22. syyskuuta 2016
lusekkeet, lusekkeet, TIEA241 Automtit j kieliopit, syksy 2016 Antti-Juhni Kijnho lusekkeet j smuus TIETOTEKNIIKAN LAITOS 22. syyskuut 2016 Sisällys lusekkeet, lusekkeet lusekkeet j smuus j smuus lusekkeet
LisätiedotMS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 7: Integraali ja analyysin peruslause
MS-A010{3,4} (ELEC*) Differentili- j integrlilskent 1 Luento 7: Integrli j nlyysin perusluse Pekk Alestlo, Jrmo Mlinen Alto-yliopisto, Mtemtiikn j systeeminlyysin litos 3.10.2016 Pekk Alestlo, Jrmo Mlinen
Lisätiedot763333A KIINTEÄN AINEEN FYSIIKKA Ratkaisut 1 Kevät 2014
763333A KIINTEÄN AINEEN FYSIIKKA Rtkisut 1 Kevät 014 1. Tehtävä: Lske, kuink mont hilpistettä on yksikkökopiss ) yksinkertisess kuutiollisess, b) tkk:ss j c) pkk:ss. (Ot huomioon, että esimerkiksi yksikkökopin
Lisätiedot5 Epäoleellinen integraali
5 Epäoleellinen integrli 5. Integrlin suppeneminen Olkoon f sellinen välillä [, b[ (ei siis välttämättä pisteessä b) määritelty funktio, että f on Riemnn-integroituv välillä [, ] kikill ], b[ eli on olemss
LisätiedotTAMPEREEN YLIOPISTO Valinnaisten opintojen syventäviin opintoihin kuuluva tutkielma. Lauri Kumpulainen. Büchin automaateista
TAMPEREEN YLIOPISTO Vlinnisten opintojen syventäviin opintoihin kuuluv tutkielm Luri Kumpulinen Büchin utomteist Luonnontieteiden tiedekunt Tietojenkäsittelytieteiden tutkinto-ohjelm Huhtikuu 2017 Tmpereen
LisätiedotMS-A010{2,3,4,5} (SCI,ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 7: Integraali ja analyysin peruslause
MS-A010{2,3,4,5} (SCI,ELEC*, ENG*) Differentili- j integrlilskent 1 Luento 7: Integrli j nlyysin perusluse Pekk Alestlo, Jrmo Mlinen Alto-yliopisto, Mtemtiikn j systeeminlyysin litos November 20, 2017
LisätiedotANALYYSI I, kevät 2009
ANALYYSI I, kevät 009 Sisältö Relilukujen peruskäsitteitä Lukujonoist 4. Lukujonon rj-rvo....................... 4. Monotoniset jonot..........................3 Osjonot.............................. 7.4
Lisätiedot4. Reaalifunktioiden määrätty integraali
6 4. Relifunktioiden määrätt integrli Vrsinisesti termi "integrli" tulee seurvss esitettävästä määrätstä integrlist, jok on läheistä suku summmiselle. Yhtes derivttn on sitten perustv ltu olev tulos, jot
LisätiedotQ = {q 1, q 2, q 3, q 4 } Σ = {a, b} F = {q 4 },
T-79.48 Syksy 22 Tietojenkäsittelyteorin perusteet Hrjoitus 4 Demonstrtiotehtävien rtkisut 4. Tehtävä: Ldi epädeterministinen äärellinen utomtti, jok test onko nnetun inäärijonon kolmnneksi viimeinen merkki,
LisätiedotMatematiikan tukikurssi
Mtemtiikn tukikurssi Kurssikert 5 1 Jtkuvuus Trkstelln funktiot fx) josskin tietyssä pisteessä x 0. Tämä funktio on tässä pisteessä joko jtkuv ti epäjtkuv. Jtkuvuuden ymmärtää prhiten trkstelemll epäjtkuv
Lisätiedot3 Integraali ja derivaatta
3 Integrli j erivtt 3.1 Integrli ylärjns funktion Olkoon funktio f Riemnn-integroituv välin I jokisell suljetull osvälillä j välin I jokin kiinteä luku. Tällöin integrli määrittelee funktion G(): I R,
LisätiedotIntegraalilaskentaa. 1. Mihin integraalilaskentaa tarvitaan? MÄNTÄN LUKIO
Integrlilskent Tämä on lukion oppimterileist hiemn poikkev yksinkertistettu selvitys määrätyn integrlin lskemisest. Kerromme miksi integroidn, mitä integroiminen trkoitt, miten integrli lsketn j miten
LisätiedotRiemannin integraalista
TAMPEREEN YLIOPISTO Pro grdu -tutkielm Aij Stenberg Riemnnin integrlist Mtemtiikn j tilstotieteen litos Mtemtiikk Syyskuu 2010 2 Tmpereen yliopisto Mtemtiikn j tilstotieteen litos STENBERG, AIJA: Riemnnin
LisätiedotMatematiikkaolympialaiset 2008 kuusi vaikeaa tehtävää
Solmu 3/2008 Mtemtiikkolympiliset 2008 kuusi vike tehtävää Mtti Lehtinen Mnpuolustuskorkekoulu 49. Knsinväliset mtemtiikkolympiliset pidettiin Mdridiss 4. 22. heinäkuut 2008. Kilpilijoit oli 535 j he edustivt
LisätiedotNumeeriset menetelmät TIEA381. Luento 9. Kirsi Valjus. Jyväskylän yliopisto. Luento 9 () Numeeriset menetelmät / 29
Numeeriset menetelmät TIEA381 Luento 9 Kirsi Vljus Jyväskylän yliopisto Luento 9 () Numeeriset menetelmät 17.4.2013 1 / 29 Luennon 9 sisältö Numeerisest integroinnist Newtonin j Cotesin kvt Luento 9 ()
LisätiedotMutta esimerkiksi 0-kertaisesti pumpattaessa: Siten L ei voi olla säännöllinen.
2.8 Säännöllisten kielten rjoituksist Krdinliteettisyistä on oltv olemss (pljon) ei-säännöllisiä kieliä: kieliä on ylinumeroituv määrä, säännöllisiä lusekkeit vin numeroituvsti. Voidnko löytää konkreettinen,
LisätiedotPythagoraan lause. Pythagoras Samoslainen. Pythagoraan lause
Pythgorn luse Pythgors Smoslinen Pythgors on legendrinen kreikklinen mtemtiikko j filosofi. Tiedot hänen elämästään ovt epävrmoj j ristiriitisi. Tärkein Pythgorst j pythgorlisi koskev lähde on Lmlihosin
LisätiedotANALYYSI I, kevät 2009
5 Riemnnin integrli 7 ANALYYSI I, kevät 9 5. Integrlin perusominisuuksi................. 76 5. Anlyysin perusluse....................... 8 Sisältö Relilukujen peruskäsitteitä Lukujonoist 3. Lukujonon rj-rvo.......................
LisätiedotMS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 8: Integraalifunktio ja epäoleellinen integraali
MS-A1{3,4} (ELEC*) Differentili- j integrlilskent 1 Luento 8: Integrlifunktio j epäoleellinen integrli Pekk Alestlo, Jrmo Mlinen Alto-yliopisto, Mtemtiikn j systeeminlyysin litos 5.1.216 Pekk Alestlo,
LisätiedotANALYYSI I, kevät 2009
ANALYYSI I, kevät 2009 Sisältö Relilukujen peruskäsitteitä 2 Lukujonoist 3 2. Lukujonon rj-rvo....................... 3 2.2 Monotoniset jonot......................... 7 2.3 Osjonot..............................
LisätiedotICS-C2000 Tietojenkäsittelyteoria Kevät 2016
ICS-C Tietojenkäsittelyteori Kevät 6 Kierros 8, 7.. mliskuut Demonstrtiotehtävien rtkisut D: Määrittele Turingin koneen stndrdimllin muunnelm, joss koneen työnuh on molempiin suuntiin ääretön, j osoit
Lisätiedot2.1 Vaillinaiset yhtälöt
.1 Villiniset yhtälöt Yhtälö, jok sievenee muotoon x + bx + c = 0 (*) on yleistä normlimuoto olev toisen steen yhtälö. Tämän rtkiseminen ei olekn enää yhtä meknist kuin normlimuotoisen ensisteen yhtälön
LisätiedotLaskennan mallit (syksy 2007) Harjoitus 5, ratkaisuja
58226 Lskennn mllit (syksy 27) Hrjoitus 5, rtkisuj. Muodostetn NF kielelle : ε ε Muunnetn DF:ksi: {,,} {,} {,} {,} Luennoll (s. 5) stiin kielelle seurv DF: Poistmll tästä svuttmttomt tilt sdn Tulos on
LisätiedotMS-A010{2,3,4,5} (SCI, ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 8: Integraalifunktio ja epäoleellinen integraali
MS-A1{2,3,4,5} (SC, ELEC*, ENG*) Differentili- j integrlilskent 1 Luento 8: ntegrlifunktio j epäoleellinen integrli Pekk Alestlo, Jrmo Mlinen Alto-yliopisto, Mtemtiikn j systeeminlyysin litos November
Lisätiedotsin θ θ θ r 2 sin 2 θ φ 2 = 0.
Mtemtiikn j tilstotieteen litos Osittisdifferentiliyhtälöt Kevät 21 Hrjoitus 9 Rtkisuj Jussi Mrtin 1. Osoit, että Lplce-yhtälö pllokoordinteiss on 2 u 1 r 2 2 u r r 1 r 2 sin θ u 1 2 u sin θ θ θ r 2 sin
LisätiedotLaskennan mallit Erilliskoe , ratkaisuja (Jyrki Kivinen)
58226 Lskennn mllit Erilliskoe 4.2.2, rtkisuj (Jyrki Kivinen). [6+6+3+3 pistettä] () Kieli A koostuu niistä kkoston {, } merkkijonoist, joiss esiintyy osjono. Esitä kielelle A sekä deterministinen äärellinen
LisätiedotKieli, merkitys ja logiikka, kevät 2011 HY, Kognitiotiede. Vastaukset 2.
Kieli, merkitys j logiikk, kevät 2011 HY, Kognitiotiede stukset 2. ** Kikiss utomteiss lkutil on. 1.. nn äärelliset utomtit luseille (1-c), jokiselle omns. (1).. c. q3 q4 q3 q4 q5 q6. Muodost äärellinen
Lisätiedot2.4 Pienimmän neliösumman menetelmä
2.4 Pienimmän neliösummn menetelmä Optimointimenetelmiä trvitn usein kokeellisen dtn nlysoinniss. Mittuksiin liittyy virhettä, joten mittus on toistettv useit kertoj. Oletetn, että mittn suurett c j toistetn
LisätiedotMatematiikan peruskurssi. Seppo Hassi
Mtemtiikn peruskurssi Seppo Hssi Syksy 2014 iii Esipuhe Tämä on 1. versio Mtemtiikn peruskurssin opetusmonisteest, jonk sisältö noudttelee pitkälti Vsn yliopistoss iemmin luennoimni Mtemttiset menetelmät
LisätiedotRistitulo ja skalaarikolmitulo
Ristitulo j sklrikolmitulo Opetussuunnitelmn 00 mukinen kurssi Vektorit (MAA) sisältää vektoreiden lskutoimituksist keskeisenä ineksen yhteenlskun, vähennyslskun, vektorin kertomisen luvull j vektoreiden
LisätiedotMatematiikan tukikurssi
Mtemtiikn tukikurssi Kurssikert 3 Määrätyn integrlin lskeminen Aiemmin määrittelimme määrätyn integrlin f (x)dx funktion f (x) l- j yläsummien rj-rvon. Määrätyllä integrlill on kksi intuitiivist tulkint:.
LisätiedotICS-C2000 Tietojenkäsittelyteoria Kevät 2015
ICS-C2 Tietojenkäsittelyteori Kevät 25 Kierros 3, 26. 3. tmmikuut Demonstrtiotehtävien rtkisut D: Ldi epädeterministinen äärellinen utomtti, jok test onko nnetun inäärijonon kolmnneksi viimeinen merkki,
LisätiedotPreliminäärikoe Pitkä Matematiikka 5.2.2013
Preliminäärikoe Pitkä Mtemtiikk 5..0 Kokeess s vstt enintään kymmeneen tehtävään. Tähdellä ( * ) merkittyjen tehtävien mksimipistemäärä on 9, muiden tehtävien mksimipistemäärä on 6.. ) Rtkise yhtälö b)
LisätiedotViivaintegraali: "Pac- Man" - tulkinta. Viivaintegraali: "Pac- Man" - tulkinta. "Perinteisempi" tulkinta: 1D 3/19/13
Viivintegrli: "Pc- Mn" - tulkint Otetn funk:o f(,), jok riippuu muudujist j. Jokiselle, tson pisteellä funk:oll on siis joku rvo. Tpillisiä fsiklis- kemillisi esimerkkejä voisivt oll esimerkiksi mss:hes
LisätiedotKäydään läpi: ääriarvo tarkastelua, L Hospital, integraalia ja sarjoja.
DI mtemtiikn opettjksi: Täydennyskurssi, kevät Luentorunko j hrjoituksi viikolle : ti 9.. klo :-5:, to.. klo 9:5-: j klo 4:5-6: Käydään läpi: äärirvo trkstelu, L Hospitl, integrli j srjoj.. Kerrtn äärirvojen
LisätiedotMatematiikan perusteet taloustieteilijöille 2 800118P
Mtemtiikn perusteet tloustieteilijöille 2 800118P Luentomoniste Kri Myllylä Niin Korteslhti Oulun yliopisto Mtemttisten tieteiden litos Kevät 2014 Sisältö 1 Mtriisilgebr j optimointi 4 11 Määritelmä 4
Lisätiedot2 Epäoleellinen integraali
ANALYYSI C, HARJOITUSTEHTÄVIÄ, SYKSY 8 Epäoleellinen integrli Integrointivihje: Hyödynnä yhdistetyn funktion integrointisääntöä.. Määritä 9 9 (c) ( ). Tutki, millä vkion p rvoill epäoleellinen integrli
LisätiedotSarjat ja integraalit
Srjt j integrlit c Mtemttisten tieteiden litos, Oulun yliopisto Versio: 9.3.0 Viimeksi muoknnut: Peter Hästö Sisältö Funktion rj-rvo j jtkuvuus. Peruskäsitteitä........................................
LisätiedotSarjaratkaisun etsiminen Maplella
Srjrtkisun etsiminen Mplell Olkoon trksteltvn ensimmäisen kertluvun differentiliyhtälö: > diffyht:= diff(y(x, x=1y(x^; d diffyht := = dx y( x 1 y( x Tälle pyritään etsimään srjrtkisu origokeskisenä potenssisrjn.
Lisätiedot9 A I N. Alkuperäinen piiri. Nortonin ekvivalentti R T = R N + - U T = I N R N. Théveninin ekvivalentti DEE-11110 SÄHKÖTEKNIIKAN PERUSTEET
DEE11110 SÄHKÖTEKNIIKAN PERUSTEET http://www.tut.fi/smg/course.php?id=57 Rtkisut Hrjoitukset 3, 2014 Tehtävä 1. Pyydetään muodostmn nnetun piirin Nortonin ekvivlentti. Nortonin, smoin kuin Theveninin,
Lisätiedot2.5 Säännöllisten kielten rajoituksista
68 2.5 Säännöllisten kielten rjoituksist Minkä thns kkoston formlej kieliä (= päätösongelmi, tunnistusongelmi) on ylinumeroituv määrä kun ts säännöllisiä lusekkeit (= merkkijonoj) on numeroituv määrä Näin
LisätiedotL 0 L. (a) Entropian ääriarvo löydetään derivaatan nollakohdasta, dl = al 0 L )
76638A Termofysiikk Hrjoitus no. 6, rtkisut syyslukukusi 014) 1. Trkstelln L:n pituist nuh, jonk termodynmiikn perusreltio on de = d Q + d W = T ds + F dl, 1) missä F on voim, joll nuh venytetään reversiibelisti
LisätiedotVuokrahuoneistojen välitystä tukeva tietojärjestelmä.
Kertusesimerkki: Vuokrhuoneistojen välitystä tukev tietojärjestelmä. Esimerkin trkoituksen on on hvinnollist mllinnustekniikoiden käyttöä j suunnitteluprosessin etenemistä tietojärjestelmän kehityksessä.
Lisätiedot10. MÄÄRÄTYN INTEGRAALIN KÄYTTÖ ERÄIDEN PINTA-ALOJEN LASKEMISESSA
MAA0 0. Määrätyn integrlin käyttö eräiden pint-lojen lskemisess 0. MÄÄRÄTYN INTEGRAALIN KÄYTTÖ ERÄIDEN PINTA-ALOJEN LASKEMISESSA Edellä on todettu, että f (x)dx nt x-kselin j suorien x =, x = sekä funktion
LisätiedotDiskreetin matematiikan perusteet Ratkaisut 4 / vko 11
Diskreetin mtemtiikn perusteet Rtkisut 4 / vko 11 Tuntitehtävät 41-42 lsketn lkuviikon hrjoituksiss j tuntitehtävät 45-46 loppuviikon hrjoituksiss. Kotitehtävät 43-44 trkstetn loppuviikon hrjoituksiss.
LisätiedotPolynomien laskutoimitukset
Polyomie lskutoimitukset Polyomi o summluseke, joss jokie yhteelskettv (termi) sisältää vi vkio j muuttuj välisiä kertolskuj. Esimerkki 0. Mm., 6 j ovt polyomej. Polyomist, joss o vi yksi termi, käytetää
LisätiedotKertausta ja täydennystä
LUKU 1 Kertust j täydennystä 1.1. Merkintöjä N = {k Z k 0} = {0, 1, 2,... }, luonnollisten lukujen joukko. Z + = {k Z k > 0} = {1, 2,... }, positiivisten kokonislukujen joukko. (, b) on relikselin voin
Lisätiedot2.4. Juurifunktio ja -yhtälöt
.. Juurifuktio j -yhtälöt.. Juurifuktio j -yhtälöt Juurifuktio lähtökoht void pitää potessifuktiot: f (x) x, missä o luoollie luku;,,,, j yhdistety potessifuktio määrittelee puolest yhtälö f (x) [g(x)],,,,,...
LisätiedotNewtonin, Riemannin ja Henstock-Kurzweilin integraalit
TAMPEREEN YLIOPISTO Pro grdu -tutkielm Annik Heinonen Newtonin, Riemnnin j Henstock-Kurzweilin integrlit Informtiotieteiden yksikkö Mtemtiikk Helmikuu 2013 Sisältö 1 Johdnto 1 2 Newtonin integrli 2 2.1
LisätiedotNumeerinen integrointi
Pitkärnt: Lj mtemtiikk IX9 Numeerinen integrointi IX9 Numeerinen integrointi Numeerisell integroinnill trkoitetn määrätyn integrlin, eli reliluvun I(f,,b) = f(x)dx lskemist numeerisin keinoin (likimäärin)
LisätiedotMatemaattiset menetelmät I. Seppo Hassi
Mtemttiset menetelmät I Seppo Hssi Syksy 2011 iii Esipuhe Tämä on 1. versio Mtemttiset menetelmät I-kurssin opetusmonisteest, jok perustuu Vsn yliopistoss luennoimni vstvn nimiseen kurssiin. Sisältö noudtt
LisätiedotLebesguen integraali - Rieszin määritelmä
Lebesguen integrli - Rieszin määritelmä Tru Lehtonen Mtemtiikn pro grdu-tutkielm Jyväskylän yliopisto Mtemtiikn j tilstotieteen litos Kevät 216 Tiivistelmä Jyväskylän Yliopisto Lehtonen, Tru Puliin: Lebesguen
Lisätiedot5. Ekvivalenssit ja veriointi. Spesioinnin ja verioinnin perusteet. Päivi Kuuppelomäki
5. Ekvivlenssit j veriointi Spesioinnin j verioinnin perusteet. Päivi Kuuppelomäki 2008 1 5.1. Plvelun kuvukset Hjutetun järjestelmän prosessien kuvuksist voidn meknisesti generoid yhteistilverkko. Jos
Lisätiedot4 Pinta-alasovelluksia
Pint-lsovelluksi. Kuvjn lle jäävä pint-l voidn määrittää, jos kuvj on -kselin yläpuolell. Välillä [, 5] funktion f kuvj on -kselin lpuolell. Peiltn funktion f kuvj -kselin suhteen, jolloin sdn funktion
LisätiedotDigitaalinen videonkäsittely Harjoitus 5, vastaukset tehtäviin 25-30
Digitlinen videonkäsittely Hrjoitus 5, vstukset tehtäviin 5-30 Tehtävä 5. ) D DCT sdn tekemällä ensin D DCT kullekin riville, j toistmll D DCT tuloksen sdun kuvn srkkeill. -D N-pisteen DCT:, k 0 N ( k),
Lisätiedot4 Taso- ja avaruuskäyrät
P2-luentoj kevät 2008, Pekk Alestlo 4 Tso- j vruuskäyrät Tässä luvuss tutustutn tso- j vruuskäyriin, niiden krenpituuteen j krevuuteen. Konkreettisin sovelluksin trkstelln nnettu rt pitkin liikkuvn hiukksen
Lisätiedot1. Yhtälöiden ratkaisemisesta Olkoon f välillä [a, b] jatkuva funktio, jolle f(a) f(b) < 0. Bolzanon lauseen [A1]
1. Yhtälöiden rtkisemisest Olkoon f välillä [, b] jtkuv funktio, jolle f() f(b)
LisätiedotMITEN MÄÄRITÄN ASYMPTOOTIT?
MITEN MÄÄRITÄN ASYMPTOOTIT? Asmptootti Asmptootti on suor ti muu kärä, jot funktion kuvj f() rjtt lähest, kun muuttujn rvot lähestvät tiettä luku ti ääretöntä. Rjoitutn luksi niihin tpuksiin, joiss smptootti
Lisätiedot2 Riemann-integraali. 2.1 Porrasfunktion integraali. Aloitetaan integraalin täsmällinen määrittely tutkimalla porrasfunktion integraalia.
2 Riemnn-integrli 2.1 Porrsfunktion integrli Aloitetn integrlin täsmällinen määrittely tutkimll porrsfunktion integrli. Määritelmä 2.1 (Porrsfunktion integrli). Olkoon f : [, b] R porrsfunktio j P = {x
Lisätiedot