Kieli merkitys ja logiikka

Koko: px
Aloita esitys sivulta:

Download "Kieli merkitys ja logiikka"

Transkriptio

1 Luento 10 Kieli merkitys ja logiikka Predikaattilogiikka Kielen oppimisen ongelma Ärsykkeen heikkous Luento 10: Kielen oppimisen ongelma Merge Merge Kombinatorinen luovuus: symboleita yhdistelemällä voidaan luoda uusia symboleita. merkityksiä yhdistelemällä uusia merkityksiä, lauseita ja lausekkeita yhdistelemällä uusia lauseita ja lausekkeita,.. Kielen ja ajattelun produktiivisuus On mahdollista tuottaa rajaton määrä lauseita tai ajatuksia (rajatuin keinoin). Minimalistisessa ohjelmassa (Chomsky 1995, 2000, 2001,...) kombinatorinen luovuus pelkistyi yhteen syntaktiseen operaatioon: Merge. Merge-operaatio yhdistää toisiinsa kaksi konstituenttia: a = Merge(b,c) Vastaa binääristä uudelleenkirjoitussääntöä: a b c Tässä a, b ja c ovat sanoja tai monimutkaisia konstituentteja. Merge = kombinatorinen luovuus Käsitteellis-intentionaaliset järjestelmät ja toisaalta sensoris-motoriset järjestelmät säätelevät sitä, mitkä elementit voivat yhdistyä toisiinsa. Saara Huhmarniemi 1

2 Pirahã-heimo ja kieli Pirahã-heimo ja kieli Juttu YLE:n Ykkösaamussa sisältää linkkejä artikkeleihin ja lehtikirjoituksiin: Brasilian Maici-joen rannalla asuva heimo. Mahdotonta oppia laskemaan: lukujen rekursio 1, 2, 3,... Ei kvanttori-ilmaisuja: jokainen, kaikki, eräs,.. Matemaattiset kyvyt yleensä Matemaattinen rekursio voi hävitä aivovaurion yhteydessä Pienet lapset eivät ymmärrä laskemista Matemaattisen rekursion kehittyminen vaatii herkkyyskauden? Matemaattisten käsitteiden ymmärtäminen edellyttää tiettyjen aivo-alueiden toimintaa ja kypsymistä yksilönkehityksessä. Yksinkertainen laskeminen 1, 2, 3,... Jos lukukäsitteet puuttuvat kielestä ja kulttuurista, nämä aivoalueet eivät pääse kehittymään. Everett: Pirahã-heimon kielessä ei ole rekursiota On ehkä loogisesti mahdollista että Pirahã-heimolta puuttuu rekursio: Jos rekursiota ei ole ympäristössä, siitä vastaavat aivoalueet eivät kypsy normaalisti. Kieli ilman rekursiota Pekka uskoo [ että Merja nukkuu ] Pekka uskoo ja Merja nukkuu Lauseiden välinen riippuvuus pitäisi päätellä kontekstuaalisesti. Pirahãssa eri verbipäätteet sille, onko lause omaa kokemusta vai toisen käden tietoa. Tällä hetkellä Pirahã-heimon kieltä tutkitaan vielä Mitä merkitystä rekursion puuttumisella on ajattelun kannalta? Kielen ja ajattelun produktiivisuus Kombinatorinen luovuus (Fodor 1975: The Language of Thought) Tehtävä: etsi säkillinen rahaa talosta, jossa on monta huonetta. Ratkaisu: täydellinen haku käy huoneet yksitellen läpi Valitse hyvä shakkisiirto Täydellinen haku: käy läpi jokaisen yksitellen Ihminen ei ratkaise ongelmaa täydellisellä haulla Liian rasittavaa Koeasetelmissa on todettu, että ihminen ei usein punnitse edes kahta vaihtoehtoa Saara Huhmarniemi 2

3 Etsi säkillinen rahaa talosta, jonka jokaisesta huoneesta johtaa ovi kolmeen uuteen huoneeseen, joista edelleen kolmeen uuteen. Kymmenen oven läpi kulkeminen = huonetta 20 ovea = yli 3 miljardia Kombinatoriset ongelmat: sääennustukset, bussiaikataulujen optimointi, shakkipeli,... täydellisen haun tekeminen aiheuttaa kombinatorisen räjähdyksen Kielen oppiminen on kombinatorinen ongelma Syötteenä joukko havaintoja: suomen kielen lauseet Hypoteesi siitä, mitä sääntöjä suomen kieli noudattaa Oletetaan että suomen kielessä on 1000 sääntöä (todellisuudessa paljon enemmän) Miten oppija valitsee oikeat säännöt? Hakuavaruuden rajaaminen Oletetaan että jokainen sääntö valitaan kymmenestä vaihtoehdosta. Huoneessa on 10 ovea, joista yksi on oikea. Oppiakseen kielen täydellisen haun avulla, läpikäytyjen ovien lukumäärä on = Induktiivinen päättely: jokaisessa huoneessa on todellisuudessa äärettömän monta ovea Oppiminen ei voi perustua täydelliseen hakuun Ongelma ratkaistaan rajaamalla hakuavaruutta etukäteen Rajaaminen voidaan tehdä lukitsemalla ovia, joista tiedämme että ne eivät johda ratkaisuun Ehkä kyse ei olekaan vaikeasta ongelmasta Huoneet voivat myös sisältää vihjeitä oikeasta hakupolusta Usein todellisissa ongelmissa ei ole tarpeeksi vihjeitä. Saara Huhmarniemi 3

4 Ärsykkeen heikkous Universaalikielioppi Lapsi ei voi päätellä, onko hänen omaksumansa kielen sääntö oikea Universaalikielioppi rajoittaa kielen hakuavaruutta niin että kielen omaksuminen on mahdollista Kognitiotieteen perusoletus: päättely ei ole induktiivista ei perustu sääntöjen vapaaseen yleistämiseen havainnoista päättely on abduktiivista hypoteesijoukko on ennalta rajattu havaintoja käytetään hypoteesien testaamiseen Periaatteet ja parametrit Periaatteet ja parametrit Periaatteet & Parametrit teoria (principles & parameters) Kielen säännöt eivät ole yksittäisiä vaan seurausta laajemmista periaatteista Kielten välillä on pieniä eroja siinä, miten periaatteet toimivat Erot ovat vaihtoehtoja: parametrit Yksittäinen kieli: tietyt universaalikieliopin parametrit Esimerkiksi kysymyssanan siirtymä voisi olla parametri: 1 kysymyssana siirtyy / kaikki siirtyy / ei mitään siirry Oletetaan että kielessä on esimerkiksi 10 periaatetta, johon jokaiseen liittyy 3 parametria. (Luvut eivät perustu mihinkään arvioon parametrien ja periaatteiden todellisesta määrästä) Erilaisia mahdollisia kieliä olisi 3 10 eli Hakuavaruutta voi näin pienentää. Saara Huhmarniemi 4

5 Ärsykkeen heikkous (Poverty of Stimulus) Rakenteesta lineaariseen muotoon Hakuavaruutta voidaan rajata vihjeillä. Jos lapsi omaksuu kielen säännön joka on väärä, hän voi saamansa palautteen perusteella heti hylätä sen. Näin jokin hakuavaruuden haara voidaan sulkea pois. Ongelma Jos lapsi kuulee lauseen L ja ymmärtää sen merkityksen M, hän osaa jo säännön. Kun lapsi kuulee lauseen L eikä ymmärrä sitä, hän arvaa merkityksen M. Jos lapsi arvaa merkityksen aina oikein, hakuavaruuden rajaus onnistuu. Jos lapsi arvaa lauserakenteen L merkityksen M väärin, virheen korjaaminen myöhemmin on vaikeaa. Kielessä on hahmoja, joita ei ole mahdollista oppia nojaamalla pelkästään havaintoihin. Tarkastellaan pääverbin siirtymää Puheessa ja kirjoitetussa tekstissä sanat, samoin kuin äänteet, seuraavat toisiaan lineaarisesti. Prosessia, jossa syntaktinen rakenne muutetaan lineaariseen muotoon, kutsutaan linearisaatioksi. Kun rakenne muutetaan lineaariseen muotoon (2- ulotteisesta 1-ulotteiseksi) informaatiota katoaa. Moniselitteiset lauseet Kielen rakenne Kielen rakenne Kyllä-ei -kysymyslauseet Sinä olet iloinen. Oletko sinä iloinen? Hypoteesit: 1. ensimmäinen apuverbi siirtyy lauseen eteen 2. päälauseen apuverbi siirtyy lauseen eteen. 3. O:lla alkava sana siirtyy lauseen eteen 4. lauseen ensimmäinen sana siirtyy toisen taakse 5. ääretön määrä muita hypoteeseja Mikä hypoteesi on oikea seuraavassa? Jokainen, joka on kiinnostunut, on tervetullut tapaamaan minua. Jokainen, joka on kiinnostunut, on tervetullut tapaamaan minua. 1. *Onko jokainen joka kiinnostunut, on tervetullut tapaamaan minua 2. Onko jokainen, joka on kiinnostunut, tervetullut tapaamaan minua Lapsen kannalta ongelma on, että esimerkkilauseessa on sen verran monimutkainen rakenne, että hän kuulee sitä harvoin. Niinpä hän voi yhtä todennäköisesti päätyä hypoteesiin 1, joka johtaa epäkieliopilliseen lauseeseen. Lapset eivät kuitenkaan tee tällaisia virheitä. Saara Huhmarniemi 5

6 Kielen rakenne Vaihtoehto 1. Pekka ei koskaan vastannut kun häneltä kysyttiin jotain. 2. Kun häneltä kysyttiin jotain, Pekka ei koskaan vastannut. 3. Hän ei koskaan vastannut kun Pekalta kysyttiin jotain. Jos lauseet luetaan vasemmalta oikealle sanajonona, jää avoimeksi, miksi lauseessa 2. pronomini hän voi viitata Pekkaan kun taas lauseessa 3. tämä ei ole mahdollista. Tomasello, M. (2003). Constructing a language: A Usage-Based Theory of Language Acquisition. Cambridge, MA.: Harvard University Press. Väite: lapsi ei koskaan kuule sääntöä 1 noudattavaa lausetta ja päätyy siksi sääntöön 2. Ongelmat Hakuavaruus rajataan heti kahteen vaihtoehtoon Sääntö 2 (päälauseen apuverbi siirtyy lauseen eteen) sisältää jo tietoa kielestä: päälause, elementti, lauseen etuosa Tämä tieto on vain kielelle ominaista Lisäksi sääntö ei ole näin yksinkertainen, vaan sen soveltaminen vaatii runsaasti muuta tietoa kielestä. Vaihtoehto Tieto kielestä: On tunnettava negaation vaikutus: *onko Pekka ei syönyt leipää muut partikkelit: *Merjapas onko nukkunut. että apuverbia etsitään lähimmästä päälauseesta *Onko Pekka ajattelee, että Merja nukkunut? että tämäkään ei pidä paikkaansa: *Onko se että Merja nukkunut koko ajan, harmittanut Pekkaa? että taivutus tapahtuu ennen siirtoa: *Olla-ko minä nukkunut? Jotkut rakenteet esiintyvät puheessa niin harvoin, että niiden oppimista ei vaikea selittää pelkästään havaintoihin perustuen. Onko se että Merja on nukkunut koko ajan harmittanut Pekkaa? Saara Huhmarniemi 6

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat Luento 2. Kieli merkitys ja logiikka 2: Helpot ja monimutkaiset Helpot ja monimutkaiset ongelmat Tehtävä: etsi säkillinen rahaa talosta, jossa on monta huonetta. Ratkaisu: täydellinen haku käy huoneet

Lisätiedot

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Tieto kielestä. Tieto kielestä. Kieli, merkitys ja logiikka, HY, kevät 2010

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Tieto kielestä. Tieto kielestä. Kieli, merkitys ja logiikka, HY, kevät 2010 Luento 2. Kieli merkitys ja logiikka 2: Helpot ja monimutkaiset Helpot ja monimutkaiset ongelmat Kielen oppimisen ongelma Kieltä koskeva tietomme on "hiljaista" tietoa (Tacit Knowledge). Voimme arvioida

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Luento 5 Kieli merkitys ja logiikka Luento 6: Konstituentit, Lauseen derivaatio Luento 6: 107-115, Aivot ja luovuus 134-137 Lauserakennekielioppi, kontekstiton kielioppi Transformaatiot Kontekstiton kielioppi

Lisätiedot

Kieli merkitys ja logiikka. Johdanto. Kurssin sisältö. Luento 1: Johdanto. Kirjasta. Kieli, merkitys ja logiikka, HY, kevät Saara Huhmarniemi 1

Kieli merkitys ja logiikka. Johdanto. Kurssin sisältö. Luento 1: Johdanto. Kirjasta. Kieli, merkitys ja logiikka, HY, kevät Saara Huhmarniemi 1 Kurssin sisältö Kieli merkitys ja logiikka Johdanto Biolingvistiikka: universaalikieliopin näkökulma kieleen ja kielen omaksumiseen Pauli Brattico, Biolingvistiikka. Luvut 1-6 ja luvusta 10 ja 11 osia.

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Assosiaatiot, konstituentit Kieli merkitys ja logiikka Luento 5: Assosiaatiot, konstituentit Luento 5 125-134,, Konstituentit 104-107, Turingin kone Huom! Lukua 5.2, Assosiationismin teoriaa, ja siihen

Lisätiedot

Kieli merkitys ja logiikka. 4: Luovuus, assosiationismi. Luovuus ja assosiationismi. Kielen luovuus. Descartes ja dualismi

Kieli merkitys ja logiikka. 4: Luovuus, assosiationismi. Luovuus ja assosiationismi. Kielen luovuus. Descartes ja dualismi Luovuus ja assosiationismi Kieli merkitys ja logiikka 4: Luovuus, assosiationismi Käsittelemme ensin assosiationismin kokonaan, sen jälkeen siirrymme kombinatoriseen luovuuteen ja konstituenttimalleihin

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Assosiationismin rajoituksia Kieli merkitys ja logiikka Luento 3! Kuinka kauas riippuvuussuhde voi ulottua? *Huomenna sataa, niin maa kastuu Jos huomenna sataa, niin maa kastuu.! Tässä automaatti ei saa

Lisätiedot

Suomen A'-siirtymä. Reunat ja saarekkeet. lektiot. Saara Huhmarniemi. Väitöksenalkajaisesitelmä Helsingin yliopistossa 10.

Suomen A'-siirtymä. Reunat ja saarekkeet. lektiot. Saara Huhmarniemi. Väitöksenalkajaisesitelmä Helsingin yliopistossa 10. lektiot Suomen A'-siirtymä Reunat ja saarekkeet Saara Huhmarniemi Väitöksenalkajaisesitelmä Helsingin yliopistossa 10. maaliskuuta 2012 Työssäni kieliteknologiaprojektien ohjelmoijana kiinnitin huomiota

Lisätiedot

Kieli merkitys ja logiikka. Johdanto. Materiaali. Kurssin sisältö. Kirjasta. Kieli, merkitys ja logiikka, kevät 2009. Saara Huhmarniemi 1

Kieli merkitys ja logiikka. Johdanto. Materiaali. Kurssin sisältö. Kirjasta. Kieli, merkitys ja logiikka, kevät 2009. Saara Huhmarniemi 1 Materiaali Kieli merkitys ja logiikka Johdanto Pauli Brattico, Biolingvistiikka. Luvut 1, 2, 4-6 ja luvusta 10 ja 11 osia. mahd. myös muita lukuja Kurssin sisältö Kirjasta 1. Biolingvistiikka: universaalikieliopin

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Sanajärjestyksen muutokset Kieli merkitys ja logiikka Luento 7! Kysymyssanat ja kyllä-ei kysymyslauseet ovat esimerkki sanajärjestyksen muutoksesta, joka ei vaikuta lauseen muuhun syntaksiin tai elementtien

Lisätiedot

Alkukartoitus Opiskeluvalmiudet

Alkukartoitus Opiskeluvalmiudet Alkukartoitus Opiskeluvalmiudet Päivämäärä.. Oppilaitos.. Nimi.. Tehtävä 1 Millainen kielenoppija sinä olet? Merkitse rastilla (x) lauseet, jotka kertovat sinun tyylistäsi oppia ja käyttää kieltä. 1. Muistan

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Äärellinen automaatti Kieli merkitys ja logiikka Luento 4: Assosiaatiot, konstituentit Edellä esitetty assosiationistinen malli kielelle on esimerkki äärellisten tilojen automaatista (finite states automaton)

Lisätiedot

Pikapaketti logiikkaan

Pikapaketti logiikkaan Pikapaketti logiikkaan Tämän oppimateriaalin tarkoituksena on tutustua pikaisesti matemaattiseen logiikkaan. Oppimateriaalin asioita tarvitaan projektin tekemisessä. Kiinnostuneet voivat lukea lisää myös

Lisätiedot

Luova opettaja, luova oppilas matematiikan tunneilla

Luova opettaja, luova oppilas matematiikan tunneilla Luova opettaja, luova oppilas matematiikan tunneilla ASKELEITA LUOVUUTEEN - Euroopan luovuuden ja innovoinnin teemavuoden 2009 päätösseminaari Anni Lampinen konsultoiva opettaja, Espoon Matikkamaa www.espoonmatikkamaa.fi

Lisätiedot

Rajoittamattomat kieliopit (Unrestricted Grammars)

Rajoittamattomat kieliopit (Unrestricted Grammars) Rajoittamattomat kieliopit (Unrestricted Grammars) Laura Pesola Laskennanteorian opintopiiri 13.2.2013 Formaalit kieliopit Sisältävät aina Säännöt (esim. A -> B C abc) Muuttujat (A, B, C, S) Aloitussymboli

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Luento 8 Kieli merkitys ja logiikka Luento 8: Merkitys ja logiikka Luku 10: Luennon 7 kertaus: propositiologiikka predikaattilogiikka Kvanttorit ja looginen muoto Määritelmät, analyyttisyys ja synteettisyys

Lisätiedot

TEKOÄLY JA TIETOISET KONEET

TEKOÄLY JA TIETOISET KONEET ITU:n Kansainvälinen Telepäivä 17.5.2018 TEKOÄLY JA TIETOISET KONEET Pentti O A Haikonen, TkT JOHTAAKO TEKOÄLY KONETIETOISUUDEN SYNTYYN? TULEEKO INTERNET TIETOISEKSI? ALUSSA OLI ENIAC SÄHKÖAIVOT Ensimmäiset

Lisätiedot

Yhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014

Yhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014 Yhtälönratkaisusta Johanna Rämö, Helsingin yliopisto 22. syyskuuta 2014 Yhtälönratkaisu on koulusta tuttua, mutta usein sitä tehdään mekaanisesti sen kummempia ajattelematta. Jotta pystytään ratkaisemaan

Lisätiedot

Injektio (1/3) Funktio f on injektio, joss. f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f )

Injektio (1/3) Funktio f on injektio, joss. f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f ) Injektio (1/3) Määritelmä Funktio f on injektio, joss f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f ) Seurauksia: Jatkuva injektio on siis aina joko aidosti kasvava tai aidosti vähenevä Injektiolla on enintään

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Luento 9 Kieli merkitys ja logiikka Luento 9: Merkitys ja logiikka, kertaus Luku 10 loppuun (ei kausatiiveja) Ekstensio, intensio ja käsitteet Primitiivisten ilmaisujen merkitys Käsitteellis-intentionaaliset

Lisätiedot

Itsetunto. Itsetunto tarkoittaa ihmisen tunteita ja ajatuksia itsestään sekä sitä miten hän kunnioittaa ja arvostaa itseään.

Itsetunto. Itsetunto tarkoittaa ihmisen tunteita ja ajatuksia itsestään sekä sitä miten hän kunnioittaa ja arvostaa itseään. Itsetunto Itsetunto tarkoittaa ihmisen tunteita ja ajatuksia itsestään sekä sitä miten hän kunnioittaa ja arvostaa itseään. Kaikista tärkein vaihe itsetunnon kehittymisessä on lapsuus ja nuoruus. Olen

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Lause Kieli merkitys ja logiikka Asiakas tilaa ruuan. Luento 6 Asiakas on [tilannut juoman ennen ateriaa]. Aikamuoto Aikamuoto! Suomessa aikamudolla (T, tempus) on kaksi erillistä verbimuotoa, preesens

Lisätiedot

M =(K, Σ, Γ,, s, F ) Σ ={a, b} Γ ={c, d} = {( (s, a, e), (s, cd) ), ( (s, e, e), (f, e) ), (f, e, d), (f, e)

M =(K, Σ, Γ,, s, F ) Σ ={a, b} Γ ={c, d} = {( (s, a, e), (s, cd) ), ( (s, e, e), (f, e) ), (f, e, d), (f, e) Tik-79.148 Kevät 2001 Tietojenkäsittelyteorian perusteet Laskuharjoitus 7 Demonstraatiotehtävien ratkaisut 1. Pinoautomaatti M = K Σ Γ s F missä K Σ s ja F on määritelty samalla tavalla kuin tilakoneellekin.

Lisätiedot

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B. HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 3 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan muun muassa kahden joukon osoittamista samaksi sekä joukon

Lisätiedot

VINKKEJÄ OPISKELUUN. Tampereen teknillinen lukio

VINKKEJÄ OPISKELUUN. Tampereen teknillinen lukio VINKKEJÄ OPISKELUUN Tampereen teknillinen lukio ÄIDINKIELENOPISKELUN KULTAISET KONSTIT Asenne. Ei äikästä voi reputtaa., Mitä väliä oikeinkirjoituksella? Kyllä kaikki tajuavat, mitä tarkoitan, vaikka teksti

Lisätiedot

Oppimistavoitematriisi

Oppimistavoitematriisi Oppimistavoitematriisi Lineaarialgebra ja matriisilaskenta I Esitiedot Arvosanaan 1 2 riittävät Arvosanaan 3 4 riittävät Arvosanaan 5 riittävät Yhtälöryhmät (YR) Osaan ratkaista ensimmäisen asteen yhtälöitä

Lisätiedot

Predikaattilogiikkaa

Predikaattilogiikkaa Predikaattilogiikkaa UKUTEORIA JA TO- DISTAMINEN, MAA11 Kertausta ogiikan tehtävä: ogiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat

Lisätiedot

8. Kieliopit ja kielet

8. Kieliopit ja kielet 8. Kieliopit ja kielet Suomen kielen sanoja voidaan yhdistellä monella eri tavalla. Kielioppi määrää sen, milloin sanojen yhdistely antaa oikein muodostetun lauseen. "Mies räpyttää siipiään" on kieliopillisesti

Lisätiedot

Tietotekniikan valintakoe

Tietotekniikan valintakoe Jyväskylän yliopisto Tietotekniikan laitos Tietotekniikan valintakoe 2..22 Vastaa kahteen seuraavista kolmesta tehtävästä. Kukin tehtävä arvostellaan kokonaislukuasteikolla - 25. Jos vastaat useampaan

Lisätiedot

LOGIIKKA johdantoa

LOGIIKKA johdantoa LOGIIKKA johdantoa LUKUTEORIA JA TO- DISTAMINEN, MAA11 Logiikan tehtävä: Logiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat päättelyt

Lisätiedot

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos... 2 Logiikkaa Tässä luvussa tutustutaan joihinkin logiikan käsitteisiin ja merkintöihin. Lisätietoja ja tarkennuksia löytyy esimerkiksi Jouko Väänäsen kirjasta Logiikka I 2.1 Loogiset konnektiivit Väitelauseen

Lisätiedot

Fakta- ja näytenäkökulmat. Pertti Alasuutari Tampereen yliopisto

Fakta- ja näytenäkökulmat. Pertti Alasuutari Tampereen yliopisto Fakta- ja näytenäkökulmat Pertti Alasuutari Tampereen yliopisto Mikä on faktanäkökulma? sosiaalitutkimuksen historia: väestötilastot, kuolleisuus- ja syntyvyystaulut. Myöhemmin kysyttiin ihmisiltä tietoa

Lisätiedot

11.4. Context-free kielet 1 / 17

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

Lisätiedot

Oppimistavoitematriisi

Oppimistavoitematriisi Oppimistavoitematriisi Lineaarialgebra ja matriisilaskenta I Arvosanaan 1 2 riittävät Arvosanaan 5 riittävät Yhtälöryhmät (YR) Osaan ratkaista ensimmäisen asteen yhtälöitä ja yhtälöpareja Osaan muokata

Lisätiedot

MTTTA1 Tilastomenetelmien perusteet 5 op Luento Kokonaisuudet johon opintojakso kuuluu

MTTTA1 Tilastomenetelmien perusteet 5 op Luento Kokonaisuudet johon opintojakso kuuluu 10.1.2019/1 MTTTA1 Tilastomenetelmien perusteet 5 op Luento 10.1.2019 1 Kokonaisuudet johon opintojakso kuuluu https://www10.uta.fi/opas/opintojakso.htm?rid=14600 &idx=1&uilang=fi&lang=fi&lvv=2018 10.1.2019/2

Lisätiedot

9.5. Turingin kone. Turingin koneen ohjeet. Turingin kone on järjestetty seitsikko

9.5. Turingin kone. Turingin koneen ohjeet. Turingin kone on järjestetty seitsikko 9.5. Turingin kone Turingin kone on järjestetty seitsikko TM = (S, I, Γ, O, B, s 0, H), missä S on tilojen joukko, I on syöttöaakkosto, Γ on nauha-aakkosto, I Γ, O on äärellinen ohjeiden joukko, O S Γ

Lisätiedot

Puhumaan oppii vain puhumalla.

Puhumaan oppii vain puhumalla. Puhumaan oppii vain puhumalla. Maisa Martin Jyväskylän yliopisto suomenkielisanootervetuloa.fi Toisto-menetelmän periaatteet ja selkopuhe oppijoiden tukena Luetaan yhdessä -verkoston syysseminaari Paasitorni

Lisätiedot

Lapsen esiopetuksen oppimissuunnitelma

Lapsen esiopetuksen oppimissuunnitelma Lapsen esiopetuksen oppimissuunnitelma 1 Kurikka lapsen nimi Kansilehteen lapsen oma piirros Lapsen ajatuksia ja odotuksia esiopetuksesta (vanhemmat keskustelevat kotona lapsen kanssa ja kirjaavat) 2 Eskarissa

Lisätiedot

Matematiikan didaktiikka, osa II Algebra

Matematiikan didaktiikka, osa II Algebra Matematiikan didaktiikka, osa II Algebra Sarenius Kasvatustieteiden tiedekunta, Oulun yksikkö Mitä on algebra? Algebra on aritmetiikan yleistys. Algebrassa siirrytään operoimaan lukujen sijaan niiden ominaisuuksilla.

Lisätiedot

Vasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen:

Vasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen: Vasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen: S A S B Samaan jäsennyspuuhun päästään myös johdolla S AB Ab ab: S A S B Yhteen jäsennyspuuhun liittyy aina tasan yksi vasen

Lisätiedot

pitkittäisaineistoissa

pitkittäisaineistoissa Puuttuvan tiedon käsittelystä p. 1/18 Puuttuvan tiedon käsittelystä pitkittäisaineistoissa Tapio Nummi tan@uta.fi Matematiikan, tilastotieteen ja filosofian laitos Tampereen yliopisto Puuttuvan tiedon

Lisätiedot

MTTTA1 Tilastomenetelmien perusteet 5 op Luento , osa 1. 1 Kokonaisuudet johon opintojakso kuuluu

MTTTA1 Tilastomenetelmien perusteet 5 op Luento , osa 1. 1 Kokonaisuudet johon opintojakso kuuluu 5.3.2018/1 MTTTA1 Tilastomenetelmien perusteet 5 op Luento 5.3.2018, osa 1 1 Kokonaisuudet johon opintojakso kuuluu https://www10.uta.fi/opas/opintojakso.htm?rid=14600 &idx=1&uilang=fi&lang=fi&lvv=2017

Lisätiedot

Ei-yhteydettömät kielet [Sipser luku 2.3]

Ei-yhteydettömät kielet [Sipser luku 2.3] Ei-yhteydettömät kielet [Sipser luku 2.3] Yhteydettömille kielille pätee samantapainen pumppauslemma kuin säännöllisille kielille. Siinä kuitenkin pumpataan kahta osamerkkijonoa samaan tahtiin. Lause 2.25

Lisätiedot

Tehtävä 2: Säännölliset lausekkeet

Tehtävä 2: Säännölliset lausekkeet Tehtävä 2: Säännölliset lausekkeet Kun tietokoneohjelmalla luetaan käyttäjän syötettä, olisi syöte aina syytä tarkistaa. Syötteessä voi olla vääriä merkkejä tai merkkejä väärillä paikoilla (syntaktinen

Lisätiedot

Äi 10 Tunti 3. Pilkkusäännöt

Äi 10 Tunti 3. Pilkkusäännöt Äi 10 Tunti 3 Pilkkusäännöt Perussääntö Virkkeen lauseet erotetaan toisistaan pilkulla. Tähän sääntöön ovat tarkennuksia kaikki seuraavat pilkkusäännöt. Eli pilkku tulee lauseiden väliin aina, jos mikään

Lisätiedot

Algoritmit 2. Luento 13 Ti Timo Männikkö

Algoritmit 2. Luento 13 Ti Timo Männikkö Algoritmit 2 Luento 13 Ti 2.5.2017 Timo Männikkö Luento 13 Merkkijonon sovitus Horspoolin algoritmi Laskennallinen vaativuus Päätösongelmat Epädeterministinen algoritmi Vaativuusluokat NP-täydellisyys

Lisätiedot

Automaatit. Muodolliset kielet

Automaatit. Muodolliset kielet Automaatit Automaatit ovat teoreettisia koneita, jotka käsittelevät muodollisia sanoja. Automaatti lukee muodollisen sanan kirjain kerrallaan, vasemmalta oikealle, ja joko hyväksyy tai hylkää sanan. Täten

Lisätiedot

S BAB ABA A aas bba B bbs c

S BAB ABA A aas bba B bbs c T-79.148 Kevät 2003 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut 4. Tehtävä: Laadi algoritmi, joka testaa onko annetun yhteydettömän kieliopin G = V, Σ, P, S) tuottama

Lisätiedot

Hahmon etsiminen syotteesta (johdatteleva esimerkki)

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

Lisätiedot

Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi

Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi LUKUTEORIA JA TODISTAMINEN, MAA11 Esimerkki a) Lauseen Kaikki johtajat ovat miehiä negaatio ei

Lisätiedot

Algoritmit 2. Luento 6 To Timo Männikkö

Algoritmit 2. Luento 6 To Timo Männikkö Algoritmit 2 Luento 6 To 28.3.2019 Timo Männikkö Luento 6 B-puun operaatiot Nelipuu Trie-rakenteet Standarditrie Pakattu trie Algoritmit 2 Kevät 2019 Luento 6 To 28.3.2019 2/30 B-puu 40 60 80 130 90 100

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Tieto kielestä Kieli merkitys ja logiikka! Kielen biologinen olemus! Kielen kulttuurinen olemus! Kielen normatiivinen olemus Luento 2! Kognitiotieteen tutkimuskohteena on kielen biologinen olemus: " Kielen

Lisätiedot

Äärellisten automaattien ja säännöllisten kielten ekvivalenssi

Äärellisten automaattien ja säännöllisten kielten ekvivalenssi Äärellisten automaattien ja säännöllisten kielten ekvivalenssi Osoitamme seuraavan keskeisen tuloksen: Lause 1.8: [Sipser Thm. 1.54] Kieli on säännöllinen, jos ja vain jos jokin säännöllinen lauseke esittää

Lisätiedot

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. 6.10.2016/1 MTTTP1, luento 6.10.2016 KERTAUSTA JA TÄYDENNYSTÄ Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. Muodostetaan väli, joka peittää parametrin etukäteen valitulla

Lisätiedot

T Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut

T Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut T-79.148 Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut 4. Tehtävä: Laadi algoritmi, joka testaa onko annetun yhteydettömän kieliopin G = V, Σ, P, S tuottama

Lisätiedot

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat. Approbatur 3, demo 1, ratkaisut 1.1. A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat. Käydään kaikki vaihtoehdot läpi. Jos A on rehti, niin B on retku, koska muuten

Lisätiedot

Äi 8 tunti 6. Tekstin rakenne, sitaattitekniikka

Äi 8 tunti 6. Tekstin rakenne, sitaattitekniikka Äi 8 tunti 6 Tekstin rakenne, sitaattitekniikka Tekstin kirjoittaminen on prosessi Ensimmäinen versio sisältää ne asiat, mitä tekstissäsi haluat sanoa. Siinä ei vielä tarvitse kiinnittää niin paljon huomiota

Lisätiedot

uv n, v 1, ja uv i w A kaikilla

uv n, v 1, ja uv i w A kaikilla 2.8 Säännöllisten kielten rajoituksista Kardinaliteettisyistä on oltava olemassa (paljon) ei-säännöllisiä kieliä: kieliä on ylinumeroituva määrä, säännöllisiä lausekkeita vain numeroituvasti. Voidaanko

Lisätiedot

Arviointikriteerit lukuvuositodistuksessa luokilla

Arviointikriteerit lukuvuositodistuksessa luokilla Arviointikriteerit lukuvuositodistuksessa 1. 6. luokilla Sisällysluettelo Suomen kielen ja kirjallisuuden arviointi lukuvuositodistuksessa... 1 Ruotsin arviointi lukuvuositodistuksessa... 2 Englannin arviointi

Lisätiedot

LUKUVUOSITODISTUKSEN ARVIOINTILAUSEET VUOSILUOKILLE 1 4

LUKUVUOSITODISTUKSEN ARVIOINTILAUSEET VUOSILUOKILLE 1 4 LUKUVUOSITODISTUKSEN ARVIOINTILAUSEET VUOSILUOKILLE 1 4 tuetusti / vaihtelevasti / hyvin / erinomaisesti vuosiluokka 1 2 3 4 käyttäytyminen Otat muut huomioon ja luot toiminnallasi myönteistä ilmapiiriä.

Lisätiedot

TIETOINEN HAVAINTO, TIETOINEN HAVAINNOINTI JA TULKINTA SEKÄ HAVAINNOLLISTAMINEN

TIETOINEN HAVAINTO, TIETOINEN HAVAINNOINTI JA TULKINTA SEKÄ HAVAINNOLLISTAMINEN TIETOINEN HAVAINTO, TIETOINEN HAVAINNOINTI JA TULKINTA SEKÄ HAVAINNOLLISTAMINEN Hanna Vilkka Mikä on havainto? - merkki (sana, lause, ajatus, ominaisuus, toiminta, teko, suhde) + sen merkitys (huom. myös

Lisätiedot

Täydentäviä muistiinpanoja laskennan rajoista

Täydentäviä muistiinpanoja laskennan rajoista Täydentäviä muistiinpanoja laskennan rajoista Antti-Juhani Kaijanaho 10. joulukuuta 2015 1 Diagonaalikieli Diagonaalikieli on D = { k {0, 1} k L(M k ) }. Lause 1. Päätösongelma Onko k {0, 1} sellaisen

Lisätiedot

Algoritmit 2. Luento 13 Ti Timo Männikkö

Algoritmit 2. Luento 13 Ti Timo Männikkö Algoritmit 2 Luento 13 Ti 30.4.2019 Timo Männikkö Luento 13 Simuloitu jäähdytys Merkkijonon sovitus Horspoolin algoritmi Ositus ja rekursio Rekursion toteutus Algoritmit 2 Kevät 2019 Luento 13 Ti 30.4.2019

Lisätiedot

Tutkimusongelmia ja tilastollisia hypoteeseja: Perunalastupussien keskimääräinen paino? Nollahypoteesi Vaihtoehtoinen hypoteesi (yksisuuntainen)

Tutkimusongelmia ja tilastollisia hypoteeseja: Perunalastupussien keskimääräinen paino? Nollahypoteesi Vaihtoehtoinen hypoteesi (yksisuuntainen) 1 MTTTP3 Luento 29.1.2015 Luku 6 Hypoteesien testaus Tutkimusongelmia ja tilastollisia hypoteeseja: Perunalastupussien keskimääräinen paino? H 0 : µ = µ 0 H 1 : µ < µ 0 Nollahypoteesi Vaihtoehtoinen hypoteesi

Lisätiedot

Datatähti 2019 alku. task type time limit memory limit. A Kolikot standard 1.00 s 512 MB. B Leimasin standard 1.00 s 512 MB

Datatähti 2019 alku. task type time limit memory limit. A Kolikot standard 1.00 s 512 MB. B Leimasin standard 1.00 s 512 MB Datatähti 2019 alku task type time limit memory limit A Kolikot standard 1.00 s 512 MB B Leimasin standard 1.00 s 512 MB C Taulukko standard 1.00 s 512 MB D Ruudukko standard 1.00 s 512 MB E Sanalista

Lisätiedot

Reaalilukuvälit, leikkaus ja unioni (1/2)

Reaalilukuvälit, leikkaus ja unioni (1/2) Luvut Luonnolliset luvut N = {0, 1, 2, 3,... } Kokonaisluvut Z = {..., 2, 1, 0, 1, 2,... } Rationaaliluvut (jaksolliset desimaaliluvut) Q = {m/n m, n Z, n 0} Irrationaaliluvut eli jaksottomat desimaaliluvut

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Luento 7 Kieli merkitys ja logiikka Luennot 7 ja 8: sivut 237-274 Luento 7: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Kompositionaalisuus Propositiologiikka Kieli ja tulkinta Predikaattilogiikka

Lisätiedot

Turingin koneet. Sisällys. Aluksi. Turingin koneet. Turingin teesi. Aluksi. Turingin koneet. Turingin teesi

Turingin koneet. Sisällys. Aluksi. Turingin koneet. Turingin teesi. Aluksi. Turingin koneet. Turingin teesi TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 17. kesäkuuta 2013 Sisällys Chomskyn hierarkia (ja vähän muutakin) kieli säännöllinen LL(k) LR(1) kontekstiton kontekstinen

Lisätiedot

Tarkastelemme ensin konkreettista esimerkkiä ja johdamme sitten yleisen säännön, joilla voidaan tietyissä tapauksissa todeta kielen ei-säännöllisyys.

Tarkastelemme ensin konkreettista esimerkkiä ja johdamme sitten yleisen säännön, joilla voidaan tietyissä tapauksissa todeta kielen ei-säännöllisyys. Ei-säännöllisiä kieliä [Sipser luku 1.4] Osoitamme, että joitain kieliä ei voi tunnistaa äärellisellä automaatilla. Tulos ei sinänsä ole erityisen yllättävä, koska äärellinen automaatti on äärimmäisen

Lisätiedot

Lapsen esiopetuksen oppimissuunnitelma

Lapsen esiopetuksen oppimissuunnitelma Liite 1 Lapsen esiopetuksen oppimissuunnitelma HENKILÖSTÖN JA HUOLTAJAN YHDESSÄ LAATIMA ESIOPETUKSEN OPPIMISSUUNNITELMA Perustiedot Lapsen nimi: Syntymäaika: Osoite: Huoltajien yhteystiedot: Päiväkoti

Lisätiedot

Algoritmit 1. Luento 3 Ti Timo Männikkö

Algoritmit 1. Luento 3 Ti Timo Männikkö Algoritmit 1 Luento 3 Ti 17.1.2017 Timo Männikkö Luento 3 Algoritmin analysointi Rekursio Lomituslajittelu Aikavaativuus Tietorakenteet Pino Algoritmit 1 Kevät 2017 Luento 3 Ti 17.1.2017 2/27 Algoritmien

Lisätiedot

KIELENOPPIJOITA TIEDONHANKINTA KESKIÖSSÄ KUUNTELEMALLA OPPIJA (AUDITIIVINEN) KIELEN KÄYTTÖ, VUOROVAIKUTUS NÄKEMÄLLÄ

KIELENOPPIJOITA TIEDONHANKINTA KESKIÖSSÄ KUUNTELEMALLA OPPIJA (AUDITIIVINEN) KIELEN KÄYTTÖ, VUOROVAIKUTUS NÄKEMÄLLÄ KIELENOPPIJOITA KIELEN KÄYTTÖ, VUOROVAIKUTUS TIEDONHANKINTA KESKIÖSSÄ KUUNTELEMALLA OPPIJA (AUDITIIVINEN) TEKEMÄLLÄ OPPIJA (KINESTEETTINEN) LUOVA KIELENKÄYTTÄJÄ HOLISTINEN OPPIJA (KOKONAISUUDET TÄRKEITÄ)

Lisätiedot

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka Luento 5 Kieli merkitys ja logiikka Lauserakennekielioppi, kontekstiton kielioppi Transformaatiot Temaattiset roolit X -teoria (ei tenttiin) Luento 5: Lauseen derivaatio, X -teoria Lauseke ja lausekkeen

Lisätiedot

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun {A 1,A 2,...,A n,b } 0, jatkoa jatkoa 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin

Lisätiedot

Luku 5 Kertaus. Tehtävä 1 Kerratkaa oppimanne asiat yhdessä keskustellen.

Luku 5 Kertaus. Tehtävä 1 Kerratkaa oppimanne asiat yhdessä keskustellen. Luku Kertaus Tehtävä 1 Kerratkaa oppimanne asiat yhdessä keskustellen. - Samanmuotoiset termit - Lausekkeen ja yhtälön ero - Yhtälön totuusarvon tutkiminen - Yhtälön ratkaisun etsiminen - Yhtälön ratkaisun

Lisätiedot

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. 5.10.2017/1 MTTTP1, luento 5.10.2017 KERTAUSTA Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. Muodostetaan väli, joka peittää parametrin etukäteen valitulla todennäköisyydellä,

Lisätiedot

Pelin kautta opettaminen

Pelin kautta opettaminen Pelin kautta opettaminen Pelin kautta opettaminen Pelaamaan oppii vain pelaamalla?? Totta, mutta myös harjoittelemalla pelinomaisissa tilanteissa havainnoimista, päätöksentekoa ja toimintaa. Pelikäsitystä

Lisätiedot

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset 1. Etsi lauseen (p 0 (p 1 p 0 )) p 1 kanssa loogisesti ekvivalentti lause joka on (a) disjunktiivisessa

Lisätiedot

Valttikortit 100 -ohjelman sanasto on peruskoulun opetussuunnitelman ytimestä.

Valttikortit 100 -ohjelman sanasto on peruskoulun opetussuunnitelman ytimestä. Valttikortit 100 on uusi avaus sanaston ja kuullunymmärtämisen oppimiseen. Digitaaliset oppimateriaalit ovat aiemminkin lisänneet yksilöllistä työskentelyä ja välittömiä palautteita harjoitteluun, mutta

Lisätiedot

Johdatus matematiikkaan

Johdatus matematiikkaan Johdatus matematiikkaan Luento 3 Mikko Salo 1.9.2017 Sisältö 1. Logiikasta 2. Suora ja epäsuora todistus 3. Jaollisuus ja alkuluvut Todistus Tähän asti esitetyt todistukset ovat olleet esimerkinomaisia.

Lisätiedot

1 Kannat ja kannanvaihto

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

Lisätiedot

Ratkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan

Ratkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 2 Ratkaisuehdotukset 1. Olkoon totuusjakauma v sellainen että v(p i ) = 1 kaikilla i N ja A propositiolause, jossa

Lisätiedot

Eväitä yhteistoimintaan. Kari Valtanen Lastenpsykiatri, VE-perheterapeutti Lapin Perheklinikka Oy

Eväitä yhteistoimintaan. Kari Valtanen Lastenpsykiatri, VE-perheterapeutti Lapin Perheklinikka Oy Eväitä yhteistoimintaan Kari Valtanen Lastenpsykiatri, VE-perheterapeutti Lapin Perheklinikka Oy 3.10.2008 Modernistinen haave Arvovapaa, objektiivinen tieto - luonnonlaki Tarkkailla,tutkia ja löytää syy-seuraussuhteet

Lisätiedot

4 Matemaattinen induktio

4 Matemaattinen induktio 4 Matemaattinen induktio Joidenkin väitteiden todistamiseksi pitää näyttää, että kaikilla luonnollisilla luvuilla on jokin ominaisuus P. Esimerkkejä tällaisista väitteistä ovat vaikkapa seuraavat: kaikilla

Lisätiedot

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria.

Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. 6.10.2015/1 MTTTP1, luento 6.10.2015 KERTAUSTA JA TÄYDENNYSTÄ Luottamisvälin avulla voidaan arvioida populaation tuntematonta parametria. Muodostetaan väli, joka peittää parametrin etukäteen valitulla

Lisätiedot

pitkittäisaineistoissa

pitkittäisaineistoissa Puuttuvan tiedon ongelma p. 1/18 Puuttuvan tiedon ongelma pitkittäisaineistoissa Tapio Nummi tan@uta.fi Matematiikan, tilastotieteen ja filosofian laitos Tampereen yliopisto mtl.uta.fi/tilasto/sekamallit/puupitkit.pdf

Lisätiedot

Luennon rakenne: Lapsen kielen kehitys 4/24/08

Luennon rakenne: Lapsen kielen kehitys 4/24/08 Luennon rakenne: Tapaustutkimus englannin menneen ajan verbimuodon yliyleistämisestä Suomen kielen rakenne Mitä on tutkittu kielen omaksumisesta? Graduni: suomen kielen negaation omaksuminen 1-6-vuotiailla

Lisätiedot

Pysähtymisongelman ratkeavuus [Sipser luku 4.2]

Pysähtymisongelman ratkeavuus [Sipser luku 4.2] Pysähtymisongelman ratkeavuus [Sipser luku 4.2] Osoitamme nyt vihdoin, että jotkin Turing-tunnistettavat kielet ovat ratkeamattomia ja jotkin kielet eivät ole edes Turing-tunnistettavia. Lisäksi toteamme,

Lisätiedot

13. Loogiset operaatiot 13.1

13. Loogiset operaatiot 13.1 13. Loogiset operaatiot 13.1 Sisällys Loogiset operaatiot AND, OR, XOR ja NOT. Operaatioiden ehdollisuus. Bittioperaatiot. Loogiset operaatiot ohjausrakenteissa. Loogiset operaatiot ja laskentajärjestys.

Lisätiedot

Itseorganisoituvat hermoverkot: Viitekehys mielen ja kielen, aivokuoren ja käsitteiden tarkasteluun

Itseorganisoituvat hermoverkot: Viitekehys mielen ja kielen, aivokuoren ja käsitteiden tarkasteluun Itseorganisoituvat hermoverkot: Viitekehys mielen ja kielen, aivokuoren ja käsitteiden tarkasteluun Timo Honkela Kognitiivisten järjestelmien tutkimusryhmä Adaptiivisen informatiikan tutkimuskeskus Tietojenkäsittelytieteen

Lisätiedot

oppimisella ja opiskelemisella

oppimisella ja opiskelemisella MITÄ ON OPPIMINEN? Miten, milloin ja missä ihminen oppii esim. suomen kieltä? Miten huomaat, että olet oppinut jotain? Mikä ero on oppimisella ja opiskelemisella? Mikä on PASSIIVISTA OPPIMISTA AKTIIVISTA

Lisätiedot

ja λ 2 = 2x 1r 0 x 2 + 2x 1r 0 x 2

ja λ 2 = 2x 1r 0 x 2 + 2x 1r 0 x 2 Johdatus diskreettiin matematiikkaan Harjoitus 4, 7.10.2015 1. Olkoot c 0, c 1 R siten, että polynomilla r 2 c 1 r c 0 on kaksinkertainen juuri. Määritä rekursioyhtälön x n+2 = c 1 x n+1 + c 0 x n, n N,

Lisätiedot

l (φ; y) = l(θ(φ); y) Toinen derivaatta saadaan tulon derivaatan laskusäännöllä Uudelleenparametroidun mallin Fisherin informaatio on

l (φ; y) = l(θ(φ); y) Toinen derivaatta saadaan tulon derivaatan laskusäännöllä Uudelleenparametroidun mallin Fisherin informaatio on HY, MTO / Matemaattisten tieteiden kandiohjelma Tilastollinen päättely II, kevät 018 Harjoitus B Ratkaisuehdotuksia Tehtäväsarja I 1 (Monisteen tehtävä 14) Olkoon f Y (y; θ) tilastollinen malli, jonka

Lisätiedot

Laskut käyvät hermoille

Laskut käyvät hermoille Laskut käyvät hermoille - Miten ja miksi aivoissa lasketaan todennäköisyyksiä Aapo Hyvärinen Matematiikan ja tilastotieteen laitos & Tietojenkäsittelytieteen laitos Helsingin Yliopisto Tieteen päivät 13.1.2011

Lisätiedot

8. Kieliopit ja kielet 1 / 22

8. Kieliopit ja kielet 1 / 22 8. Kieliopit ja kielet 1 / 22 Luonnollinen kieli Suomen kielen sanoja voidaan yhdistellä monella eri tavalla. Kielioppi määrää sen, milloin sanojen yhdistely antaa oikein muodostetun lauseen. "Mies räpyttää

Lisätiedot

Matemaattisten työvälineiden täydentäviä muistiinpanoja

Matemaattisten työvälineiden täydentäviä muistiinpanoja Matemaattisten työvälineiden täydentäviä muistiinpanoja Antti-Juhani Kaijanaho 7 maaliskuuta 0 Deduktiivinen ja induktiivinen päättely Deduktiivisessa päättelyssä johtopäätös seuraa aukottomasti premisseistä

Lisätiedot

SELECT-lauseen perusmuoto

SELECT-lauseen perusmuoto SQL: Tiedonhaku SELECT-lauseen perusmuoto SELECT FROM WHERE ; määrittää ne sarakkeet, joiden halutaan näkyvän kyselyn vastauksessa sisältää

Lisätiedot

Kieli merkitys ja logiikka. 2: Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta

Kieli merkitys ja logiikka. 2: Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta Kielen biologinen perusta Kieli merkitys ja logiikka 2: Kielen biologinen perusta Onko olemassa kielellinen systeemi, jota puhujat tiedostamattaa noudattavat? merkkien, rakenteiden ja sääntöjen psykologinen

Lisätiedot

Suomen kieli Suomalais-ugrilaiset kielet ja kulttuurit

Suomen kieli Suomalais-ugrilaiset kielet ja kulttuurit Sukunimi Kaikki etunimet Henkilötunnus Puhelinnumero Valintatoimiston merkintöjä SZU A (D) Sähköpostiosoite Helsingin yliopisto Humanistinen tiedekunta Suomen kieli Suomalais-ugrilaiset kielet ja kulttuurit

Lisätiedot

Todistamisessa on tärkeää erottaa tapaukset, kun sääntö pätee joillakin tai kun sääntö pätee kaikilla. Esim. On olemassa reaaliluku x, jolle x = 5.

Todistamisessa on tärkeää erottaa tapaukset, kun sääntö pätee joillakin tai kun sääntö pätee kaikilla. Esim. On olemassa reaaliluku x, jolle x = 5. 3.4 Kvanttorit Todistamisessa on tärkeää erottaa tapaukset, kun sääntö pätee joillakin tai kun sääntö pätee kaikilla. Esim. On olemassa reaaliluku x, jolle x = 5. Kaikilla reaaliluvuilla x pätee x+1 >

Lisätiedot