Kieli, merkitys ja logiikka, kevät 2011 HY, Kognitiotiede. Vastaukset 2.
|
|
- Maria Väänänen
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 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 utomtti kielelle n n. n > 0, n < 4. q4 q3 Luseen (1) puurkenne on:
2 c. Muodost puurkenteet myös luseille (1) j (c). 2 d. nn uudelleenkirjoitussäännöt, joiden vull voidn tuott luseet (1). 2. Kuv seurvt suomen kielen luseet käyttämällä uudelleenkirjoitussääntöjä, jotk esitellään kirjn sivull 132. (H ) ** Luseess () knntti käyttää jotin seurvn tehtävän P-säännöistä, esim: P Lisäksi mukn oli tullut yksi djektiiviluseke, P erittäin huono. iinä voi käyttää sääntöjä P dv dv erittäin huono (2). Tunisi si uuden hllituksen. P P P Tunisi si uuden hllituksen. Ilmtieteen litos kertoo että mun jokeli on erittäin huono.
3 3 P P Ilmtieteen litos * kertoo että P P P mun jokeli on erittäin huono. Kehitä kontekstittomn kieliopin sääntö, jonk vull voidn yhdistellä verilusekkeit kuten luseess (3). (3) Tutkijt uskovt keksineensä hoitokeinon tinnitukseen. ** Tässä oli tärkeää huomt, että luseess on kksi veriä, uskovt j keksineensä. eriluseke keksineensä hoitokeinon tinnitukseen on verin uskovt ojektipositioss, siis uskomisen kohde. eri siis yhdistyy verilusekkeeseen, jolloin sääntö s muodon: P P P P tutkijt P uskovt P keksineensä hoitokeinon tinnitukseen 3. Trkstelln 1. hrjoitusten tehtävän 1. lusekkeit (4)-(5).
4 (4). leikkiuto. Pekn leikkiuto c. Pekn enon leikkiuto d. Pekn enon ystävän leikkiuto 4 (5). sko ntoi leikkiuton Merjlle.. sko ntoi Pekn leikkiuton Merjlle. c. sko ntoi Pekn enon leikkiuton Merjlle.. nn kontekstiton kielioppi, jok tuott lusekkeet (4). ** Jos trkstelln lusekkeiden konstituenttirkennett trkemmin, päädytään rtkisuun, joss Pekn eno muodost lusekkeen, joss eno on pääsn j Pekn määrittää tätä pääsn. iis leikkiuton omistj on Pekn eno. dn kielioppi: P P leikkiuto, Pekn, enon, ystävän Esimerkkipuu luseest (c) P P P enon leikkiuto Pekn ** Jos trkstelln tehtävän lusekkeit vin snjonoin ottmtt huomioon merkitystä, voidn myös päätyä sääntöön: P P leikkiuto, Pekn, enon, ystävän P P Pekn enon P leikkiuto
5 ** Genetiivisij voidn ott myös mukn tähän sääntöjoukkoon: 5 P gen P gen enon, ystävän, Pekn leikkiuto ** Molemmt rtkisut tuottvt nnetut snjonot.. Ljenn kirjn s. 132 uudelleenkirjoitussääntöjä tuottmn luseet (5). **Tässä riitti lisätä uudelleenkirjoitussääntöihin jokin ylläolevist sääntöjoukoist sekä luseen derivoinniss trvittvt uudet snt. 4. Konjunktiot kuten vi voivt yhdistää djektiivej j djektiivilusekkeit: (6). vi. hyvin vi ik c. vi vi kenties keskikokoinen. nn äärellinen utomtti, jok kuv lusekonnektiivin vi kielioppi lusekkeiss (-). * Kksi vihtoehto jälleen, rjoitetumpi ti luovempi. hyvin q4 vi ik q5 q3, hyvin,ik,kenties vi,,keskikokoinen. nn vstvt uudelleenkirjoitussäännöt. P P P P dv P, vi esim:
6 P 6 P P dv vi dv hyvin ik c. oidnko sääntösi vull tuott myös luseke (c)? ** Luovll versioll äärellisestä utomtist voidn. Kontekstittomll kieliopill myös. Tässä esimerkkiderivtio skel skeleelt. ovelletn sääntöä: P P P P P P en jälkeen voidn päättää kumpi P ljenee säännöllä P P P j kumpi tvllisell P-säännöllä. Derivtio voi siis edetä khdell eri tvll. ll lopulliset puut: P P P P P vi dv vi kenties keskikokoinen
7 P 7 P vi P P P vi kenties keskikokoinen 5.. Merkitse seurviin luseisiin siirtymät (ei trvitse tehdä puurkennett). ** iirtynyt elementti on lihvoitu j pikk jost elementti on siirtynyt on merkitty. dv (7). Merj-hn Pekk meni tpmn!. Mitä Pekk oikein etsii? c. Kenelle Pekk rveli että Merj osti lhjn? d. Pekk näki sen kurjen jot Merj kuvsi. e. Ei-hän Pekk pelkää mitään! f. Mitä rkennust kohti huoltomies käveli? g. On-ko joku nähnyt mmmutin? h. Ketä uttmn Pekk lähti? ** Lisäksi voidn vähän lkuperäisestä luserkenteest riippuen hvit lusekkeiden sisäisiä siirtymiä luseiss f. j h. äitä siirtymiä ei tehtävässä vdittu, tärkeämpää oli huomt että yksittäisten snojen lisäksi myös isommt lusekkeet voivt siirtyä. Tämä onkin tärkeä os luseen rkennett: lusekkeet siirtyvät in kokonisin. (8). mitä rkennust kohti lkuperäinen luse: Huoltomies käveli kohti tuot rkennust.. ketä uttmn lkuperäinen luse: Pekk lähti uttmn Merj.. Hhmottele puurkenne j siirtymä luseille () j (c). ** Mihin siirtynyt elementti sijoittuu luserkenteess? Luseen päällä on onneksi jo vlmis positio, johon sivuluseess sijoitetn konjunktioit. Käytetään tätä positiot, j nnetn :lle lisää rvoj: prtikkeli -hn ti -ko. Lisäksi voi toisinn oll myös tyhjä ( ).
8 * että, vikk,.., -hn, -ko, 8 * -hn P P Pekk P meni P tpmn Merj * P -hn P P Merj Pekk P meni tpmn Luseen (c) derivtio etenee smn tpn, mutt ylin -positio jätetään luksi tyhjäksi. nn kenelle s sopimn rkenteeseen esimerkiksi uudelleenkirjoitussännöillä (muitkin vihtoehtoj on): P P P kenelle P ntoi P lhjn P Merjlle/kenelle
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): ()
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ä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ä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ä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ä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ä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ä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ä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ä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ä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 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ä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ä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ä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ä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ä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ä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ä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ä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ä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ä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ä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ä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ä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ätiedotθ 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
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ä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ätiedot6.2 Algoritmin määritelmä
6.2 Algoritmin määritelmä Mitä lgoritmill yleensä trkoitetn? Peritteess: Yksiselitteisesti kuvttu jono (tietojenkäsittely)opertioit, jotk voidn toteutt meknisesti. Käytännössä: luonnollist kieltä, pseudokoodi
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ä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ä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ätiedotOUML6421B3004. 3-tilaohjattu venttiilimoottori KÄYTTÖKOHTEET TEKNISET TIEDOT OMINAISUUDET SOPIVAT VENTTIILIT TUOTETIEDOT
OUML6421B3004 3-tilohjttu venttiilimoottori KÄYTTÖKOHTEET i Lämmityksen säätö i Ilmnvihtojärjestelmät TUOTETIEDOT OMINAISUUDET Helppo j nope sent Ei trvitse erillistä sennustelinettä Ei trvitse liikepituuden
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ä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ä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. Laadi regexp, jonka avulla egrep-ohjelma löytää tekstitiedostosta kaikki
Itseopiskelukurssin tehtävät lv. 2013 2014 TIEA241 Automtit j kieliopit Tehtävien tekeminen on suositeltv, j siihen knnustetn mm. trjomll rvosnn korotus kurssisivustoll kerrotull tvll. Kikki tehtäviä ei
LisätiedotOUML7421B3003. Jänniteohjattu venttiilimoottori KÄYTTÖKOHTEET TEKNISET TIEDOT OMINAISUUDET SOPIVAT VENTTIILIT TUOTETIEDOT. i OUV5049 i OUV5050
OUML7421B3003 Jänniteohjttu venttiilimoottori TUOTETIEDOT OMINAISUUDET Helppo j nope sent Ei trvitse erillistä sennustelinettä Ei trvitse liikepituuden säätöä Momenttirjkytkimet Käsikäyttömhdollisuus Mikroprosessorin
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ä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ä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ätiedot1.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
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ä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ä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ä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ätiedota = 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 },
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ä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ä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ätiedotICS-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
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ä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ätiedotLaskennan perusmallit 2013: Kertausta
Lskennn perusmllit 13: Kertust Pekk Kilpeläinen Tietojenkäsittelytieteen litos, Itä-Suomen yliopisto sähköposti: pekk.t.kilpelinen@uef.fi 8. helmikuut 13 Lähtökoht j trkstelun kohde Lskentongelmt erityisesti
LisätiedotMS-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,
LisätiedotTä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
LisätiedotMS-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,
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ä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ä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ätiedotTee B-osion konseptiin etusivulle pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Välivaiheet perustelevat vastauksesi!
MAA8 Koe 4.4.016 Jussi Tyni Tee B-osion konseptiin etusivulle pisteytysruudukko! Muist kirjt nimesi j ryhmäsi. Väliviheet perustelevt vstuksesi! A-osio. Ilmn lskint. MAOLi s käyttää. Mksimissn 1h ik. Lske
LisätiedotTehtävä 1. Jatka loogisesti oheisia jonoja kahdella seuraavaksi tulevalla termillä. Perustele vastauksesi
Tehtävä. Jtk loogisesti oheisi jonoj khdell seurvksi tulevll termillä. Perustele vstuksesi lyhyesti. ), c, e, g, b),,, 7,, Rtkisut: ) i j k - oike perustelu j oiket kirjimet, nnetn p - oike perustelu,
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ä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ätiedotT 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-
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ätiedotSALAINEN KIRJASTO. Harjoitusvihkon. Eija Lehtiniemi OPETTAJAN OHJEET. Erityisopetus
E i j L e h t i n i e m i M e r v i Wä r e S L I N E N P I N E N H R J O I T U S V I H K O SLINEN KIRJSTO Hrjoitusvihkon Eij Lehtiniemi OPETTJN OHJEET Erityisopetus HRJOITUSVIHKON SISÄLTÖ Vlmiushrjoitukset
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ätiedot// 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
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ätiedotDifferentiaali- ja integraalilaskenta 1 (CHEM) Laskuharjoitus 4 / vko 47, mallivastaukset
Differentili- j integrlilskent (CHEM) Lskuhrjoitus / vko 7, mllivstukset Johdntotehtävä x dx = ln.693, joten rvo ln voidn pproksimoid integroimll numeerisesti funktiot x välillä [,]. Jetn väli [,] khteen
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ä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ä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ä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ätiedotMitä ovat blogit? Mitä blogit ovat. Mahdollisuuksia Verkostoitumista Viestintää Todistusta
Kirsi Myllyniemi, Blogikurssi teologeille mlikuuss 2006 Mitä blogit ovt Mhdollisuuksi Verkostoitumist Mitä ovt blogit? Mhdollisuuksi Verkostoitumist Sn blogi tulee englnnin snoist web log. Se sisältää
Lisätiedot6 Kertausosa. 6 Kertausosa
Kertusos Kertusos. ) b). ) b). ) ( ( ) : ) ( : ) b) { : [ ( ) ]} { :[ - ]} { : } -{ - } -{} c) ( ) : - ( ) ( ) ( ) ( 9) 9 9 Kertusos. ) ( ) b) ( ). ) ) ) b) / / c) : 7 7. ) ) ) b) Kertusos c) : 7 ( 9)
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ätiedotVastaa 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
LisätiedotSisältö. Integraali 10. syyskuuta 2005 sivu 1 / 20
Integrli 10. syyskuut 2005 sivu 1 / 20 Sisältö 1 Määrätty integrli j integrlifunktio 2 1.1 Integroituvist funktioit 3 1.2 Määrätyn integrlin ominisuuksi 4 1.3 Integrlifunktio 5 1.4 Integrlilskennn tärkeimmät
LisätiedotLaskennan 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
LisätiedotLYHYEN MATEMATIIKAN SIMULOITU YO-KOE 2 RATKAISUT
Lyhyt mtemtiikk YO-vlmennus 8. mliskuut 00 LYHYEN MATEMATIIKAN SIMULOITU YO-KOE RATKAISUT. Trkstelln yhtälöpri, polynomin sievennöstä j lusekkeeseen sijoittmist. ) Rtkistn jälkimmäisestä yhtälöstä x, jolle
LisätiedotViittomakielten 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ä.
Lisätiedot3.7. Rekursiivisista lukujonoista
.7 Rekursiivisist lukujooist.7. Rekursiivisist lukujooist Kerrt vielä, että lukujoo void määritellä khdell eri tvll, joko käyttämällä lyyttistä säätöä ti rekursiivist säätöä. Joo määrittelemie rekursiivisesti
LisätiedotLaskennan 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
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ätiedotAsennusopas. 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
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ätiedotSuorat, 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.
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ä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ätiedotPainopiste. josta edelleen. x i m i. (1) m L A TEX 1 ( ) x 1... x k µ x k+1... x n. m 1 g... m n g. Kuva 1. i=1. i=k+1. i=1
Pinopiste Snomme ts-ineiseksi kpplett, jonk mteriliss ei ole sisäisiä tiheyden vihteluj. Tällisen kppleen pinopisteen sijinti voidn joskus päätellä kppleen muodon perusteell. Esimerkiksi ts-ineisen pllon
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ätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Harri Lehtinen. Kongruenssista
TAMPEREEN YLIOPISTO Pro grdu -tutkielm Hrri Lehtinen Kongruenssist Mtemtiikn, tilstotieteen j filosofin litos Mtemtiikk Helmikuu 006 Tmpereen yliopisto Mtemtiikn, tilstotieteen j filosofin litos LEHTINEN,
LisätiedotTIEA241 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ä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ätiedotDoka kuljetus- ja varastointikehikot
11/2010 lkuperäinen käyttöohje 999281811 fi Säilyttäkää käyttöohje ok kuljetus- j vrstointikehikot Muottimestrit lkuperäinen käyttöohje ok kuljetus- j vrstointikehikot Tuotekuvus Tuotteen kuvus ok-kuljetus-
LisätiedotMS-A0102 Differentiaali- ja integraalilaskenta 1
MS-A0102 Differentili- j integrlilskent 1 Riikk Korte (Pekk Alestlon klvojen pohjlt) Alto-yliopisto 22.11.2016 Sisältö Pint-l Integrli 1.1 Pint-l: Suorkulmio Seurvss trkstelln umpinisten tsokäyrien rjmi
LisätiedotAsennusopas. 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...
LisätiedotKustaankartanon vanhustenkeskus Vanhainkoti Päivätoiminta Palvelukeskus
Kustnkrtnon vnhustenkeskus Vnhinkoti Päivätoimint Plvelukeskus 1 Kustnkrtnoss tärkeinä pidettyjä sioit: sukkn hyvä olo hyvä elämä hyvä yhteistyö omisten knss gerontologisen hoidon osminen työntekijöiden
Lisätiedot