Historialaajennus mallipohjaisessa testauksessa
|
|
|
- Lotta Kähkönen
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 Historiljennus mllipohjisess testuksess Timo Kellomäki This text ppered s Kellomäki, T. Historiljennus mllipohjisess testuksess. Tietojenkäsittelytieteen päivät 2005, University of Oulu, Deprtment of Informtion Processing Science, Working Ppers Series B 67, pp (Proceedings of n event in Oulu, Finlnd, June ) In Finnish. 1
2 Historiljennus mllipohjisess testuksess Timo Kellomäki Tmpereen teknillinen yliopisto Ohjelmistotekniikn litos 1 Johdnto Testuksen tvoite on kerätä luottmust siihen, että testttv järjestelmä toimii oikein. Mitään todellist järjestelmää ei void testt läpikotisin, joten on olennist suunnitell testus niin, että järjestelmästä tutkitn toislt mhdollisimmn pljon j toislt mhdollisimmn olennisi osi. Rinnkkisiss järjestelmissä testus on tvllisikin järjestelmiä hnklmp, kosk rinnkkisuus iheutt epädeterminismiä, eli järjestelmä ei välttämättä käyttäydy smoill syötteillä in smll tvll. Näin voi syntyä virhetilnteit, jotk ilmenevät vin hyvin hrvoin. Mllipohjisess testuksess järjestelmän toimint mllinnetn formlill, esimerkiksi tilkonemuotoisell, spesifiktioll. Spesifiktion pohjlt voidn luod utomttisesti järjestelmän toiminnn kttv joukko testitpuksi. [2] Jos järjestelmän spesifiktio on korkell strktiotsoll, stt täyden kttvuuden (mitttun suhteess spesifiktioon) tuottv testijoukko oll hyvinkin pieni. Tällöin olisi trpeen ljent spesifiktiot niin, että sen määrittelemä käyttäytyminen ei muutu, mutt sen perusteell luotvt testitpukset kttvt toteutuksen mhdollisimmn monipuolisesti. Tätä tilnnett vrten on kehitetty historiljennus, jok on utomttinen tp ljent spesifiktiot siten, että mllipohjisen testuksen menetelmät luovt ljennetun spesifiktion pohjlt testitpusten joukon, jok syventää testikttvuutt hyvin luonnollisell tvll. 2 Tilkoneet Ohjelmien toimint voidn kuvt formlisti tilkoneill, jotk ovt olennisesti suunnttuj grfej. Solmut eli tilt vstvt ohjelmn tiloj j kret eli tilsiirtymät erilisi tphtumi, jotk muuttvt til. Kullkin tilsiirtymällä on myös nimi, jok kertoo, mitä tphtum kri esittää. Tilsiirtymien nimet voivt oll hyvin konkreettisi järjestelmän tphtumi ti strktimpi tphtumkokonisuuksi. Näin sm järjestelmä voidn kuvt monell eri strktiotsoll. Tilkoneen kkosto sisältää kikki siinä esiintyvien tilsiirtymien nimet, j mhdollisesti muitkin tilsiirtymien nimiä (tällä on merkitystä synkronisess rinnnkytkennässä, ktso ll). Tilkoneen koko trkoitt sen tilojen määrää. Tilkoneen suoritus lk jostkin lkutilst j etenee kulkemll pitkin jotkin tämänhetkisestä tilst lähtevää krt, eli suorittmll vireessä olev tilsiirtymä. Näin suoritus voi jtku teoriss loputtomiin. Erillisiä lopputiloj ei tilkoneiss ole.
3 Kellomäki 22 Historiljennus Uset erilisilt näyttävät smn strktiotson tilkoneet voivt esittää sm käyttäytymistä, hyvin pljon smn tpn kuin sm lgoritmi voidn kuvt monell ivn erilisell C-kielisellä ohjelmll. On olemss tunnettu lohkomislgoritmi, joll voidn minimoid nnetun tilkoneen koko muuttmtt sen käyttäytymistä. Tilkoneet soveltuvt erityisen hyvin rinnkkisten järjestelmien kuvmiseen, sillä monimutkisen järjestelmän eri ost voidn mllint pieninä j yksinkertisin tilkonein, jotk voidn sitten sett vuorovikuttmn toistens knss esimerkiksi jetun muistin ti snomjonojen välityksellä. Tässä esityksessä käytetään yleistä j strkti vuorovikutusmenetelmää, synkronist rinnnkytkentää. Sen vull voidn mllint muun muss edellä minitut kommuniktiomenetelmät. Synkronisess rinnnkytkennässä os tphtumist on näkyviä. Kikki ne rinnnkytkentään osllistuvt tilkoneet, joiden kkostoon jokin näkyvä tphtum kuuluu, toimivt tämän tphtumn suhteen synkronisesti. Tällinen tphtum voidn suoritt vin jos se on vireessä kikiss näissä tilkoneiss, j tällöin sen täytyy tphtu kikiss niissä yhtäikisesti. Näin yksikin sellinen rinnnkytkentään osllistuv tilkone, joss tphtum ei ole vireessä, mutt jonk kkostoon tphtum kuuluu, estää kikki muit suorittmst sitä. Loput tilsiirtymät ovt näkymättömiä, jolloin tilkoneet voivt suoritt niitä täysin riippumtt toisistn. Tällisen rinnnkytkennän lopputulos on yhä tilkone, jonk tilt vstvt siihen osllistuneiden tilkoneiden yhteistiloj. Tulos siis kuv rinnnkytkettyjen tilkoneiden yhteistä käyttäytymistä. Eräs yleistjuinen ktsus tilkoneisiin on [4]. 3 Mllipohjinen testus Testuksen yhteydessä käytetään usein tilsiirtymien jko syötteisiin (input) j tulosteisiin (output). Jokinen tilkoneen näkyvä tilsiirtymä on tällöin joko syöte ti tuloste. Sm tilsiirtymä voi oll toisen tilkoneen syöte j toisen tuloste. Nyt khden tilkoneen rinnnkytkennässä synkronisesti suoritettvt tilsiirtymät ovt epäsymmetrisiä syöte/tulosteprej: kun toinen tilkone nt jotkin ulospäin, toinen ott sen vstn omn syötteenään. Testuksen näkökulmst järjestelmää testtn ntmll sinne syötteitä, jotk ovt siis spesifiktion näkökulmst tulosteit. Tkisin sdn tulosteit, jotk ovt spesifiktion syötteitä. On mhdollist, että järjestelmä ei s vstt johonkin syötteeseen linkn. Tällöin ktsotn järjestelmän ntneen erityisen syötteen, hiljisuuden, jot merkitään δ. Eräs tilkoneiden teorin testuksen näkökulmst johdttelev rtikkeli on [3]. Mllipohjisess testuksess ohjelmn oike toimint formlisoidn tilkonemuotoisell spesifiktioll. Tällöin testitpuksi voidn luod tämän spesifiktion pohjlt koneellisesti. Testitpukset voidn luod niin, että ne täyttävät jonkin kttvuusvtimuksen. Esimerkiksi voidn tt, että jmll luodut testitpukset tulevt kikki spesifiktion tilsiirtymät käydyksi läpi. Näin testuksest voidn tehdä täysin utomttist, kunhn ihminen on ensin tehnyt spesifiktiotilkoneen. Spesifiktiot voivt oll monimutkisellekin järjestelmälle melko pieniä, etenkin jos ne ovt kovin korkell strktiotsoll. Tällöin edellä kuvttu utomttinen testusmenetelmä ei välttämättä tuot trpeeksi erilisi testitpuksi. Epädeterminismin nsiost
4 Kellomäki 23 Historiljennus rinnkkisess järjestelmässä voidn toki toist smoj testejä yhä uudestn j toivo hvittvn uudenlist käyttäytymistä, mutt tämä ei ole kovinkn tehokst. 4 Historiljennus Resurssej on mhdollist käyttää tehokkmmin tekniikll, jot kutsumme historiljennukseksi. Sen kntv jtus on siinä, että virheet pljstuvt tehokkmmin, kun testtn mhdollisimmn mont erilist histori, eli tiln johtvien peräkkäisten tphtumien erilist yhdistelmää. Käytännössä näitä yhdistelmiä päästään utomttisesti testmn ljentmll spesifiktiot sopivll tvll. Vlitn jokin pieni kokonisluku, k, jok on muistettvn historin mksimipituus. Jokinen spesifiktion til korvtn joukoll tiloj, joist kukin vst yhtä (enintään) k:n mittist korvttuun tiln johtv histori. Spesifiktion ljennus voidn utomtisoid. Alkuperäinen spesifiktio kytketään rinnn k-historiljentimen knss j tuloksen sdn täsmälleen hluttu ljennettu spesifiktio. k-historiljennin on tilkone. Sen jokisest tilst lähtevät kikki spesifiktion näkyvät tilsiirtymät. Ljentimess on til jokist enintään k:n mittist tilsiirtymien nimien jono eli histori kohden. Nämä sdn siis meknisesti rkentmll kikki k:n mittiset j lyhyemmät yhdistelmät tilsiirtymien nimistä. Tilt, joiden tilsiirtymien jono on k:t lyhyempi, liittyvät tilkoneen jon lkuun, jolloin tilkone ei ole vielä ottnut k:t skelt, joten vstv k:n mittist histori ei ole myöskään olemss. Jokisest tilst lähtevät tilsiirtymät johtvt in selliseen tiln, johon liittyvä tilsiirtymien nimien jono sdn lisäämällä lähtötiln jonoon suoritettvn tilsiirtymän nimi j trvittess unohtmll lkupäästä yksi siirtymä, jott histori ei ksv pidemmäksi kuin k. Toisin snoen, jos til vstv tilsiirtymien nimien jono on muoto 1 2 k, niin siitä lähtevä tilsiirtymä vie tiln, jonk jono on muoto 2 k. Kuv 1 esittää historiljentimen tpuksess, joss tilsiirtymien joukko on j k 2. Kuvss ε trkoitt tyhjää merkkijono eli ino mhdollist histori tilkoneen käynnistyessä. Historiljennin ei rjoit rinnnkytkettäessä spesifiktion toimint, kosk sen jokisest tilst lähtevät kikki mhdolliset tilsiirtymät. Niinpä kikki järjestelmän lillinen toimint on rinnnkytkennän tuloksess mukn. Useimpiin spesifiktion tiloihin ei voi päätyä kikill mhdollisill historioill, joten tiloille ei ljennettess tyypillisesti synny kuin murto-os teoreettisest mksimimäärästä kopioit. Esimerkiksi tilkoneess, jok koostuu pelkästään peräkkäisten tphtumien j yhdessä muodostmst silmukst tkisin lkutiln, voi lkutiln päästä äärettömän monell tphtumjonoll, nimittäin ε j niin edelleen. Jos k 2, lkutil korvutuu ljennettess khdell tilll, joist toinen vst tyhjää tphtumien jono ε j toinen khden mittist histori. Erilisi historioit olisi tässä tpuksess ollut olemss kuvn 1 tiloj vstvt 7 kpplett. Käytettäessä historiljennust utomttisesti voisi järjestelmä esimerkiksi ljent spesifiktiot ksvvill k:n rvoill jen kullekin rvolle kikki ljennetun spesifiktion kret kttvt testitpukset. Näin jtketn, kunnes resurssit loppuvt. Vikk historiljennus on yllä esitetty lähinnä tvllisten tilkoneiden näkökulmst, se toimii lähes sellisenn myös syöte/tuloste-jon knss. Historiljentimess se-
5 Kellomäki 24 Historiljennus ε Kuv 1: Historiljennin tphtumille j, k 2. tetn kukin spesifiktion syöte tulosteeksi j tuloste syötteeksi, jott rinnnkytkentä voi synkronoid syöte/tuloste-prej. Erikoistphtum δ on vin yksi ylimääräinen näkyvä tphtum muiden joukoss. Historiljennin erillisenä tilkoneen on esitetty lähinnä ymmärrettävyyssyistä. Kun historiljennust toteutetn käytännössä, voidn ljennus toteutt utomttisesti myös suorn spesifiktiot muokten. Näin vältytään käsittelemästä eksplisiittist historiljennintilkonett, jok olisi turhn väliviheen mhdollisesti pljonkin lopullist ljennettu spesifiktiot suurempi. 5 Koejärjestelyt Intuitiivisesti tuntuu luonnolliselt, että mhdollisimmn monen erilisen historin tutkiminen pljst virheitä tehokksti. Erilisten testusmenetelmien vertilu on hnkl, mutt jossin määrin tehokkuutt on mhdollist tutki myös puolueettomill kokeill. Suunnitelluss koejärjestelyssä tutkitn jotkin järjestelmää, johon on istutettu virhe. Järjestelmästä rkennetn myös tilkone, jok spesifioi sen oiken toiminnn. Järjestelmää testtn toislt lkuperäisellä spesifiktioll j toislt erilisill k:n rvoill ljennetuill spesifiktioill j verrtn tuloksi. Tällisell testijärjestelyllä voidn myös tutki esimerkiksi sitä, knnttisiko spesifiktiot minimoid ennen kuin historiljennust sovelletn niihin. Historiljennus ksvtt spesifiktiot hllitusti, jolloin lkuperäisessä spesifiktioss olev redundnssi on turh. Tälliset kokeet voitisiin suoritt käyttäen kyseisen ohjelmn oike toteutust, mutt jos järjestelmä on riittävän pieni, myös toteutus voidn mllint (spesifiktiot yksityiskohtisempn) tilkoneen. Toteutukseen voidn silloin kätkeä virheitä, jolloin on mhdollist lske suorn tilkoneiden rinnnkytkennästä virheiden löytämisen todennäköisyys j testijon hint joko rtkisemll (vltv) yhtälöryhmä ti käyttäen tätä trkoitust vrten kehitettyä lgoritmi [1]. Tällinen koejärjestely on tätä kirjoitettess vielä
6 Kellomäki 25 Historiljennus työn ll. Kiitokset Työ tehtiin Tmpereen teknillisen yliopiston ohjelmistotekniikn litoksell TEKESin, Conformiq Softwre Oy Ltd:n j Nokin tutkimuskeskuksen rhoittmss SASOKEprojektiss. Viitteet [1] Kellomäki, T., Vlmri, A.: A Method for Anlysing the Performnce of Testing Techniques for Concurrent Systems. Technicl report, Institute of Softwre Systems, Tmpere University of Technology, [2] Tretmns, J.: A Forml Approch to Conformnce Testing. PhD thesis, University of Twente, Decemer [3] Tretmns, J.: Test Genertion with Inputs, Outputs nd Repetitive Quiescence. Softwre Concepts nd Tools, Vol 17(3), Springer-Verlg 1996, pp [4] Vlmri, A.: Esimerkki modernist sovellushkuisest teorist: vuorovikuttvt tilkoneet. Proc. Tietojenkäsittelytieteen päivät Joensuun yliopistopino, Joensuu, 2004.
3 Mallipohjainen testaus ja samoilutestaus
Tietojenkäsittelytiede 24 Joulukuu 2005 sivut 8 21 Toimittj: Jorm Trhio c kirjoittj(t) Historiljennus mllipohjisess testuksess Timo Kellomäki Tmpereen teknillinen yliopisto Ohjelmistotekniikn litos 1 Johdnto
ICS-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): ()
T 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ä
Olkoon. 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
ICS-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,
Olkoon. ää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
Riemannin 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:
Laskennan 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
3.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
2.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
Q = {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,
TIEA241 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
Automaatin 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
2.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:
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:
ICS-C2000 Tietojenkäsittelyteoria Kevät 2016
ICS-C2000 Tietojenkäsittelyteori Kevät 2016 Kierros 2, 18. 22. tmmikuut Demonstrtiotehtävien rtkisut D1: Formuloi luennoll (monisteen s. 17) esitetty yksinkertinen khviutomtti täsmällisesti äärellisen
Kuvausta 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,
ICS-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
Sää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ä
Matematiikan 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
2 Tilasiirtymäsysteemit Vuorottelevan bitin protokolla Asiakas/palvelin-systeemi Tilasiirtymäsysteemin määritelmä...
Sisältö 1 Johdnto 1 1.1 Lähtökoht................................ 1 1.2 Yhteistilverkko.............................. 1 1.3 Ekvivlenssipohjinen verifiointi..................... 2 1.4 Mllintrkistus..............................
Säännöllisestä lausekkeesta deterministiseksi tilakoneeksi: esimerkki
Säännöllisstä luskkst dtrministisksi tilkonksi: simrkki Hikki Turiinn Yksinkrtistn säännöllistn luskkidn muuttminn dtrministisiksi tilkoniksi onnistuu usin plkästään lusktt tutkimll. Jos luskkn rknn on
Laskennan 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
Integraalilaskentaa. 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
S Laskennallinen systeemibiologia
S-4.50 Lsknnllinn systmiiologi 4. Hrjoitus. Viill tutkittvll ljill (,, c, j ) on määrätty täisyyt c 0 8 8 8 0 8 8 8 c 0 4 4 0 0 Määritä puurknn käyttän UPGMA-mntlmää. Näytä kunkin vihn osrkntt vstvin täisyyksinn.
10. 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
Digitaalinen 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),
a = x 0 < x 1 < x 2 < < x n = b f(x) dx = I. lim f(x k ) x k=1
5 Integrli 5.1 Määritelmä j ominisuudet Olkoon f : [, b] R jtkuv. Muodostetn välin [, b] jko = x 0 < x 1 < x 2 < < x n = b j siihen liittyvä yläsumm S = n M k (x k x k 1 ), M k = mx{f(x) x k 1 x x k },
Kertymä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.
θ 1 θ 2 γ γ = β ( n 2 α + n 2 β = l R α l s γ l s 22 LINSSIT JA LINSSIJÄRJESTELMÄT 22.1 Linssien kuvausyhtälö
22 LINSSIT JA LINSSIJÄRJSTLMÄT 22. Linssien kuvusyhtälö Trkstelln luksi vlon tittumist pllopinnll (krevuussäde R j krevuuskeskipiste C) kuvn mukisess geometriss. Tässä vlo siis tulee ineest ineeseen 2
HAVAINNOINTI JA TUTKIMINEN
ilumuoto st ksvtu luun ou perusk Tuntikehyksen os-lue: HAVAINNOINTI JA TUTKIMINEN A2 Aivomyrsky j unelmien leikkipuisto Kesto: 1 kksoistunti, 45 min + 45 min Aihe: Syvennetään jtuksi ympäristöstä liittyvästä
763333A 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
9 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,
II.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ä
Vastaa tehtäviin 1-4 ja valitse toinen tehtävistä 5 ja 6. Vastaat siis enintään viiteen tehtävään.
S-8. Sähkönsiirtoärstlmät Tntti 8..7 Vst thtäviin -4 vlits toinn thtävistä 5 6. Vstt siis nintään viitn thtävään.. Tutkitn ll piirrttyä PV-käyrää, ok kuv sllist vrkko, oss on tuotntolu kuormituslu niidn
2.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
Riemannin 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
4.7.2 Testerit. Test ok. virhe vast.ota. lähetä τ. virhe. virhe. vast.ota. τ τ. vast.ota. lähetä. lähetä. lähetä ok
OHJ-2600 Tilkoneet 204 6. Tämän tehtävän tvoite on kuvn LTS:ää vstesimerkkinä käyttäen osoitt, että nnetun LTS:n knss minimlinen CFFD-smnlinen LTS ei in ole yksikäsitteinen. P Q AG(P) = AG(Q) f, {{}} f,
Sarjaratkaisun 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.
Matematiikan 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 := {(, ), (, ), (, ), (, ), (, ), (, ), (, ),
Laskennan 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
Esimerkki 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
11. MÄÄRÄTTY INTEGRAALI JA TILAVUUS
11. MÄÄRÄTTY INTEGRAALI JA TILAVUUS Tilvuus on sen verrn rkielämässä viljelty käsite, että useimmiten sen syvemmin edes miettimättä ymmärretään, mitä juomlsin ti pikkuvuvn kylpymmeen tilvuudell trkoitetn.
MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 9: Integroimismenetelmät
MS-A010{3,4} (ELEC*) Differentili- j integrlilskent 1 Luento 9: Integroimismenetelmät Pekk Alestlo, Jrmo Mlinen Alto-yliopisto, Mtemtiikn j systeeminlyysin litos 10.10.2016 Pekk Alestlo, Jrmo Mlinen (Alto-yliopisto,
MS-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
MS-A010{2,3,4,5} (SCI,ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 9: Integroimismenetelmät
MS-A010{2,3,4,5} (SCI,ELEC*, ENG*) Differentili- j integrlilskent 1 Luento 9: Integroimismenetelmät Pekk Alestlo, Jrmo Mlinen Alto-yliopisto, Mtemtiikn j systeeminlyysin litos November 27, 2017 Pekk Alestlo,
Asennusopas. Daikin Altherma Matalan lämpötilan Monoblocin varalämmitin EKMBUHCA3V3 EKMBUHCA9W1. Asennusopas. Suomi
Dikin Altherm Mtln lämpötiln Monolocin vrlämmitin EKMBUHCAV EKMBUHCA9W Dikin Altherm Mtln lämpötiln Monolocin vrlämmitin Suomi Sisällysluettelo Sisällysluettelo Tietoj sikirjst. Tieto tästä sikirjst...
5 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
MS-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
TAMPEREEN 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
Asennus- ja käyttöohje ROBA -liukunavoille Koot 0 12 (B.1.0.FIN)
Pyydämme lukemn käyttöohjeen huolellisesti läpi j noudttmn sitä! Ohjeiden liminlyönti voi joht kytkimen toiminthäiriöihin j siitä johtuviin vurioihin. Nämä käyttöohjeet (B.1.0.FIN) ovt os kytkintoimitust.
Sinilause 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,
LINSSI- JA PEILITYÖ TEORIAA. I Geometrisen optiikan perusaksioomat
(0) LINSSI- JA PEILITYÖ MOTIVOINTI Tutustutn linsseihin j peileihin geometrisen optiikn mittuksiss Tutkitn vlon käyttäytymistä linsseissä j peileissä Määritetään linssien j peilien polttopisteet Optiset
OSA 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
ANALYYSI 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
Ristitulo 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
Kognitiivinen 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 = {, }
ArcGIS for Server. Luo, jaa ja hallitse paikkatietoa
ArcGIS Server ArcGIS for Server Luo, j j hllitse pikktieto ArcGIS Serverin vull voidn luod plveluit keskitetysti, hllinnoid näitä plveluit j jk niitä orgnistion sisällä sekä verkoss. Plveluj voidn helposti
Määritelmä Olkoon C R m yksinkertainen kaari ja γ : [a, b] R m sen yksinkertainen parametriesitys, joka on paloittain C 1 -polku.
![Määritelmä Olkoon C R m yksinkertainen kaari ja γ : [a, b] R m sen yksinkertainen parametriesitys, joka on paloittain C 1 -polku.](/thumbs/69/59950302.jpg "Mää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
Kieli, 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
Syksyn 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.
Analyysi 2. Harjoituksia lukuihin 1 3 / Kevät Anna sellainen välillä ] 2, 2[ jatkuva ja rajoitettu funktio f, että
![Analyysi 2. Harjoituksia lukuihin 1 3 / Kevät Anna sellainen välillä ] 2, 2[ jatkuva ja rajoitettu funktio f, että](/thumbs/58/42210707.jpg "Analyysi 2. Harjoituksia lukuihin 1 3 / Kevät Anna sellainen välillä ] 2, 2[ jatkuva ja rajoitettu funktio f, että")
Anlyysi Hrjoituksi lukuihin 3 / Kevät 5. Ann sellinen välillä ], [ jtkuv j rjoitettu funktio f, että () sup A m A j inf A min A, (b) sup A m A j inf A = min A, (c) sup A = m A j inf A min A, (d) sup A
Pythagoraan 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
Paraabelikin on sellainen pistejoukko, joka määritellään urakäsitteen avulla. Paraabelin jokainen piste toteuttaa erään etäisyysehdon.
5. Prbeli Prbelikin on sellinen pistejoukko, jok määritellään urkäsitteen vull. Prbelin jokinen piste toteutt erään etäissehdon. ********************************************** MÄÄRITELMÄ : Prbeli on tson
2.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
5. 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
// Tulostetaan liukulukutyyppinen muuttuja riviä vaihtamatta // yhden desimaalin tarkkuudella. System.out.printf("%.
Nämä tehtävät on trkoitettu inostn opiskelijoille, jotk pystyvät svuttmn 40 % rjn (21 pistettä) tekemällä 1 8 kpl ll olevist lisätehtävistä. Ole huolellinen j tee kikki pyydetty. Puutteellisi rtkisuj ei
Reaalinen 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 =.
TIEA241 Automaatit ja kieliopit
TIEA241 Automtit j kieliopit Antti Vlmri Jyväskylän yliopisto Informtioteknologin tiedekunt Symoleit 1 1 Johdnto 4 2 Äärelliset utomtit j säännölliset kielet 10 3 Yhteysriippumttomt kieliopit 87 4 Lskettvuus
Laskennan perusmallit (LAP)
Lskennn perusmllit (LAP) Kimmo Fredrikssonin j Mtti Nykäsen luentomonisteest krsien muoknnut Pekk Kilpeläinen Tietojenkäsittelytieteen litos, Itä-Suomen yliopisto sähköposti: pekk.t.kilpelinen@uef.fi Lukuvuoden
Viittomakielten fonologisista prosesseista
Viittomkielten fonologisist prosesseist Tommi Jntunen Helsingin yliopisto Yleisen kielitieteen litos tjjntun@ling.helsinki.fi Seurvss esitellään joitkin tyypillisimpiä fonologisi prosessej viitotuiss kielissä.
6 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
Asennusopas. Daikin Altherma - Matalan lämpötilan Monoblocin varalämmitin EKMBUHCA3V3 EKMBUHCA9W1. Asennusopas. Suomi
Dikin Altherm - Mtln lämpötiln Monolocin vrlämmitin EKMBUHCAV EKMBUHCA9W Suomi Sisällysluettelo Sisällysluettelo Tietoj sikirjst. Tieto tästä sikirjst... Tietoj pkkuksest. Vrlämmitin..... Vrusteiden poistminen
Suorat, käyrät ja kaarevuus
Suort, käyrät j krevuus Jukk Tuomel Professori Mtemtiikn litos, Joensuun yliopisto Suor? Tämä kirjoitus on eräänlinen jtko Timo Tossvisen suorn määritelmää koskevn kirjoitukseen Solmun numeross 2/2002.
Matematiikan 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
Mutta 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,
SUORAKULMAINEN KOLMIO
Clulus Lukion Täydentävä ineisto 45 0 45 60 ( - ) + SUORKULMINEN KOLMIO Pvo Jäppinen lpo Kupiinen Mtti Räsänen Suorkulminen kolmio Suorkulminen kolmio Käsillä olev Lukion Clulus -srjn täydennysmterili
Diskreetin 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.
4 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
Kä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
Laskennan perusmallit (LAP)
Lskennn perusmllit (LAP) Kimmo Fredrikssonin j Mtti Nykäsen mterileist muoknnut Pekk Kilpeläinen Tietojenkäsittelytieteen litos, Itä-Suomen yliopisto sähköposti: pekk.t.kilpelinen@uef.fi Lukuvuoden 2014
VEKTOREILLA LASKEMINEN
..07 VEKTOREILL LSKEMINEN YHTEENLSKU VEKTORIT, M4 Vektoreiden j summ on vektori +. Tämän summvektorin + lkupiste on vektorin lkupiste j loppupiste vektorin loppupiste, kun vektorin lkupisteenä on vektorin
Johdatus L A TEXiin. 6. Omat komennot ja lauseympäristöt Markus Harju. Matemaattiset tieteet
Johdtus L A TEXiin 6. Omt komennot j luseympäristöt Mrkus Hrju Mtemttiset tieteet 6. Omt komennot j luseympäristöt Johdtus LTeXiin (2/10) Omt komennot I L A TEXin vlmiiden komentojen lisäksi kirjoittj
Neliö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
Q on automaatin tilojen äärellinen joukko; Σ on automaatin syöteaakkosto; δ : Q Σ Q on automaatin siirtymäfunktio; q 0 Q on automaatin alkutila;
Q on utomtin tilojen äärellinen joukko; Σ on utomtin syötekkosto; δ : Q Σ Q on utomtin siirtymäfunktio; q Q on utomtin lkutil; F Q on utomtin hyväksyvien tilojen joukko. Siirtymäfunktio δ on määritelmän
Kirjallinen teoriakoe
11 Kirjllinen teorikoe Päivämäärä: Osllistujn nimi: Kirjllinen teorikoe Arviointi koostuu khdest osst: "yleiset kysymykset "j lskutehtävät" Kokeen hyväksytty rj on 51% molemmist osioist erikseen. St 1
7.lk matematiikka. Geometria 1
7.lk mtemtiikk 1 Htnpään koulu 7B j 7C Kevät 2017 2 Sisällys 1. Koordintisto... 4 2. Kulmien nimeäminen j luokittelu... 8 3. Kulmien mittminen j piirtäminen... 10 4. Ristikulmt j vieruskulmt... 14 5. Suort,
x 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 ) ( ),
T Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (Predikaattilogiikka )
T-79.3001 Kevät 2009 Logiikk tietotekniikss: perusteet Lskuhrjoitus 7 (Predikttilogiikk 9.1 10.2) 19.3. 23.3. 2009 Rtkisuj demotehtäviin Tehtävä 9.1 Rtkisuss on käytetty usen otteeseen rjoitettuj universli-
VEKTOREILLA LASKEMINEN
3..07 VEKTOREILLA LASKEMINEN YHTEENLASKU VEKTORIT, MAA Vektoreiden j summ on vektori +. Tämän summvektorin + lkupiste on vektorin lkupiste j loppupiste vektorin loppupiste, kun vektorin lkupisteenä on
Numeeriset 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 ()
Ohjelmistotekniikan matemaattiset menetelmät tentin kysymykset, vastaukset ja arvosteluperiaatteita
Ohjelmistotekniikn mtemttiset menetelmät tentin 2.1.200 kysymykset, vstukset j rvosteluperitteit Antti Vlmri TT / Ohj 1. helmikuut 200 Tässä tekstissä käyn läpi opintojkson 100500 Ohjelmistotekniikn mtemttiset
1.3 Toispuoleiset ja epäoleelliset raja-arvot
. Toisuoleiset j eäoleelliset rj-rvot Rj-rvo lim f () A olemssolo edellyttää että muuttuj täytyy void lähestyä rvo kummst suust hyväsä. Jos > ii sot että lähestyy rvo oikelt ositiivisest suust. Jos ts
Rekursioyhtälön ratkaisutapa #1: iteratiivinen korvaus
NodeCount(v /* lskee solmun v lipuun solmujen lukumäärän */ if solmu v on null return 0 else return + NodeCount(v.left + NodeCount(v.right Rekursio: lgoritmi kutsuu itseään Usein hjot j hllitse -perite:
2 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
TEHTÄ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.
![TEHTÄ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.](/thumbs/61/45986920.jpg "TEHTÄ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.
ICS-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
A-Osio. Valitse seuraavista kolmesta tehtävästä kaksi, joihin vastaat. A-osiossa ei saa käyttää laskinta.
MAA Loppukoe 5.. Jussi Tyni Tee pisteytysruudukko konseptin yläreunn! Vstuksiin väliviheet, jotk perustelevt vstuksesi! Lue ohjeet huolellisesti! A-Osio. Vlitse seurvist kolmest tehtävästä kksi, joihin
12. Merkkijonot Merkkijonojen abstrakti tietotyyppi
12.1. Merkkijonojen strkti tietotyyppi 12. Merkkijonot Dokumenttien käsittely tietokoneiss on ksvnut vltvsti viimeisen prinkymmenen vuoden ikn. Tietokoneit käytetään dokumenttien kirjoittmiseen, muuttmiseen,
Täydentäviä muistiinpanoja epädeterministisistä äärellisistä automaateista
Täydentäviä muistiinpnoj epädeterministisistä äärellisistä utomteist Antti-Juhni Kijnho 2. mrrsuut 25 NFA Trstelln seurv NFA:t. 2 3 Sen toimint merijonoll voidn esittää päätöspuun: 3 3 2 2 3 3 TIEA24 Automtit