Kieli merkitys ja logiikka
|
|
- Hilkka Myllymäki
- 8 vuotta sitten
- Katselukertoja:
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
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ätiedotKieli 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ätiedotKieli 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ätiedotKieli 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ätiedotKieli 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ätiedotKieli 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ätiedotKieli 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ätiedotSuomen 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ätiedotKieli 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ätiedotKieli 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ätiedotAlkukartoitus 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ätiedotKieli 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ätiedotPikapaketti 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ätiedotLuova 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ätiedotRajoittamattomat 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ätiedotKieli 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ätiedotTEKOÄ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ätiedotYhtä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ätiedotInjektio (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ätiedotKieli 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ätiedotItsetunto. 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ätiedotKieli 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ätiedotM =(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ätiedot1. 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ätiedotVINKKEJÄ 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ätiedotOppimistavoitematriisi
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ätiedotPredikaattilogiikkaa
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ätiedot8. 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ätiedotTietotekniikan 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ätiedotLOGIIKKA 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ätiedotNimitys 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ätiedotFakta- 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ätiedot11.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ätiedotOppimistavoitematriisi
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ätiedotMTTTA1 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ätiedot9.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ätiedotPuhumaan 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ätiedotLapsen 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ätiedotMatematiikan 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ätiedotVasen 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ätiedotpitkittä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ätiedotMTTTA1 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ätiedotEi-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ätiedotTehtä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 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ätiedotAlgoritmit 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ätiedotAutomaatit. 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ätiedotS 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ätiedotHahmon 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ätiedotLisää 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ätiedotAlgoritmit 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ätiedotKieli 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 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ätiedotLuottamisvä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ätiedotT 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ätiedotApprobatur 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 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ätiedotuv 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ätiedotArviointikriteerit lukuvuositodistuksessa luokilla
Arviointikriteerit lukuvuositodistuksessa 1. 6. luokilla Sisällysluettelo Suomen kielen ja kirjallisuuden arviointi lukuvuositodistuksessa... 1 Ruotsin arviointi lukuvuositodistuksessa... 2 Englannin arviointi
LisätiedotLUKUVUOSITODISTUKSEN 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ätiedotTIETOINEN 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ätiedotTä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ätiedotAlgoritmit 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ätiedotTutkimusongelmia 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ätiedotDatatä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ätiedotReaalilukuvä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ätiedotKieli 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ätiedotTuringin 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ätiedotTarkastelemme 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ätiedotLapsen 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ätiedotAlgoritmit 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ätiedotKIELENOPPIJOITA 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ätiedotKieli 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ätiedotToinen 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ätiedotLuku 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ätiedotLuottamisvä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ätiedotPelin 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ätiedotHY / 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ätiedotValttikortit 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ätiedotJohdatus 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ätiedot1 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ätiedotRatkaisu: 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ätiedotEvä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ätiedot4 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ätiedotLuottamisvä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ätiedotpitkittä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ätiedotLuennon 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ätiedotPysä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ätiedot13. 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ätiedotItseorganisoituvat 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ätiedotoppimisella 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ätiedotja λ 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ätiedotl (φ; 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ätiedotLaskut 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ätiedot8. 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ätiedotMatemaattisten 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ätiedotSELECT-lauseen perusmuoto
SQL: Tiedonhaku SELECT-lauseen perusmuoto SELECT FROM WHERE ; määrittää ne sarakkeet, joiden halutaan näkyvän kyselyn vastauksessa sisältää
LisätiedotKieli 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ätiedotSuomen 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ätiedotTodistamisessa 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