Kieli merkitys ja logiikka
|
|
- Viljo Honkanen
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 Luento 7 Kieli merkitys ja logiikka Luennot 7 ja 8: sivut Luento 7: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Kompositionaalisuus Propositiologiikka Kieli ja tulkinta Predikaattilogiikka Kysymykset Merkityksen luonne Miten ihminen hahmottaa maailman: käsitteet/ajatukset/ideat? Mitä näistä pystytään formalisoimaan siten että muodostuu eksplisiittinen ja ennustava teoria Merkityksen yhteys kieleen Merkityksen yhteys maailmaan Miten ihmisen hahmottama merkitys liittyy maailmaan? Miten ei? Miten merkitys lokalisoituu aivoihin? Miten merkityksen oppiminen tapahtuu Miten kielen ja merkityksen yhteys opitaan? Kuinka paljon on synnynnäistä? Maailman hahmottaminen ja evoluutio Saara Huhmarniemi 1
2 Merkitys ja kieli Merkityksen osat Musiikki ja kieli: rytmi, sävelkorkeus, fraasit primitiiviset elementit laajemmat kokonaisuudet sama hermojärjestelmä liike Musiikilla on yleensä kuulijalleen jokin merkitys yhdistyy kokemuksiin, muistoihin, ajatuksiin, mielikuviin, tunteisiin.. Tällaisten kokemusten ja vaikutelmien tuottaminen on usein myös kielen tavoitteena Musiikin ja kielen ero: Kielelliset ilmaukset voivat viitata kielen itsensä ulkopuoliseen todellisuuteen, kuten maailman olioihin Pekkaan ja Merjaan. Lauseen kirjaimellinen merkitys tai perusmerkitys kertoo, mihin asiaan, ilmiöön tai tapahtumaan lause viittaa. lauseen perusmerkitys voidaan päätellä yksiselitteisesti riippumatta puhujasta ja olosuhteista, joissa ko. ilmaus lausutaan Puhujan merkitys: Voitko ojentaa tuon kynän? Konteksti Koirani ajoi kissan talon alle. kenen koira? onko kyseessä tietty kissa tai tietty talo ym. ajanhetki johon mennyt aikamuoto suhteutetaan Merkityksen osat Semantiikka leksikon ja kieliopin yhteys perusmerkitykseen Pragmatiikka perusmerkityksen yhteys lauseen käyttöön ja puhujan merkitys Perusmerkitys Merkitysteoria jakaantuu kahteen komponenttiin: primitiivisten ilmausten merkitys sanat tai oikeastaan morfeemit monimutkaisten ilmausten merkitys lauseet ja lausekeet Koirani ajoi kissan talon alle. Primitiiviset ilmaisut koira, -ni, ajaa, (imperfekti), kissa, -n, talo, -n, alla, (-e) Tapa, jolla primitiiviset ilmaisut yhdistetään Koirani ajoi kissan talon alle. Kissani ajoi talon koiran alle. Saara Huhmarniemi 2
3 Sanat ja viittaaminen Nimeäminen Sana Pekka viittaa suoraan maailmassa olevaan olioon Pekka. Lisäksi voimme kategorisoida olioita luokkiin, tämä perustuu käsitteiden käytölle. Pekka on ihminen. Sana ihminen viittaa kaikkien ihmisten joukkoon. Pekka on ihminen tarkoittaa, että Pekka kuuluu joukkoon, joka muodostuu kaikista ihmisistä. Kompositionaalisuus Esimerkiksi termin "ruskea lehmä" merkitys määräytyy termien "ruskea" ja "lehmä" merkitysten perusteella: RUSKEA_LEHMÄ(x) jos ja vain jos LEHMÄ(x) ja RUSKEA(x) Isolla kirjoitettu LEHMÄ tarkoittaa sanan lehmä merkitystä. Predikaattilogiikassa LEHMÄ(x) tarkoittaa, että x kuuluu käsitteen LEHMÄ ilmaisemaan joukkoon. Säännöllä voidaan tuottaa merkitys äärettömälle ilmaisujoukolle. Kompositionaalisuus Kompositionaalisuus "ruskea lehmä" syntaktinen sääntö, joka yhdistää AP:n nominipääsanaansa (yksinkertaisesti: [A N]) semanttinen sääntö, joka vastaa loogista ja funktiota. Tässä esimerkissä syntaktinen ja semanttinen sääntö yhdistyvät. Tämä ominaisuus, että kielellä ja maailmalla on hyvin samanlainen rakenne on muotoiltu kompositionaalisuus-periaatteeksi. Kompositionaalisuus Monimutkaisen (kompleksisen) ilmauksen merkitys on sen osien merkitysten ja niiden yhdistämiseen käytetyn syntaktisen säännön funktio. (Frege) Gottlob Frege ( ), Alfred Tarski (1901/2-83), Richard Montague ( ).. Lisäksi: merkitykseen ei vaikuta mikään muu seikka. Esimerkiksi konnektiivien (ja, tai, jos-niin, että, jotta,..) semantiikka voidaan kuvata kompositionaalisesti. Saara Huhmarniemi 3
4 Tehtävä Yhdyssanat Tarkastele ilmaisuja, miten kompositionaalisuus näkyy niissä? punainen pyörä kerrostalo talossa talon edessä Pekan auto Yhdyssanojen merkitys on tyypillisesti eronnut osien merkityksestä: kuorma-auto, puutarhakeinu, roudarinteippi, mäkihyppy,... Uusien yhdyssanojen muodostaminen on kuitenkin kompositionaalinen prosessi: kahvikuppi, murokuppi, posliinikuppi, lasikuppi, juomakuppi,.. karhukuppi, televisiokuppi, surukuppi, lautaskuppi, aineettomuuskuppi, uimiskuppi Idiomit Kompositionaalisuus ja syntaksi Idiomit ovat kielen ilmaisuja, joiden merkitystä ei voi suoraan johtaa osien merkityksistä. potkaista tyhjää käydä täysillä Jotkut idiomeista vakiintuvat kieleen, toiset ovat jopa kertakäyttöisiä. ei ole kaikki kotona ei ole kaikki inkkarit kanootissa ei ole kaikki murot kulhossa Idiomit ovat sanankaltaisia yksiköitä eivätkä hajoa lauseessa Uusia lauseita voidaan muodostaa produktiivisesti mutta miten nämä kaikki uudet lauseet ymmärretään? semantiikan ja syntaksin sääntöjen suhde vanha kissa, Pekan äiti, juosta hiljaa, ajaa autoa, mennä uimaan Voimme vaihtaa sanoja ylläolevissa lausekkeissa ja silti ymmärtää lausekkeen merkityksen. Montaguen mukaan syntaksi ja semantiikka ovat homomorfisessa suhteessa keskenään. Jokaista syntaktista operaatiota vastaa jokin semanttinen operaatio. Kielioppi on merkityksen "peilikuva". Saara Huhmarniemi 4
5 Lause ja propositio Lause, lausuma ja propositio Sama merkityssisältö ilmaistaan eri kielissä eri tavoin: Pekka ei ostanut olutta. Pekka didn t buy beer. Пекка не купил пива. Lauseet ilmaisevat saman proposition. Lauseen propositionaalinen sisältö voi jossain tilanteessa olla esimerkiksi: PEKKA LÄHTEE KOTIIN Lauseen propositionaalinen sisältö voidaan esittää propositiologiikan avulla: Propositiot ovat merkityksiä, joiden todenmukaisuutta voidaan arvioida. Proposition ilmaisemaa asiantilaa voidaan verrata tilanteeseen maailmassa: Pekka ei lähde kotiin. Se on totta. Ei, se ei ole totta. Propositiolle voidaan antaa totuusarvo. Alfred Tarski 1930: Lause Lumi on valkoista jos ja jos vain X, missä X=lumi on valkoista. Tässä X on lauseen metakielinen kuvaus. Propositiot ovat lauseiden merkityssisältöjä. Propositiot ovat propositionaalisten asenteiden kohteita: jotakin, mitä voidaan uskoa, väittää jne. Propositiologiikka Propositiologiikka käsittelee lauseiden merkitystä. Peruslausetta kutsutaan atomilauseeksi, jota merkitään symbolilla p 0, p 1, p 2,... Monimutkaisempia lauseita voidaan rakentaa loogisten operaattoreiden eli konnektiivien avulla. luonnollisessa kielessä: ei, ja, tai, jos...niin... Propositiologiikka Konnektiivit kuvaavat kielen ilmausten välisiä suhteita. Atomilauseista voidaan niiden avulla muodostaa monimutkaisempia ilmaisuja: Pekka rakastaa Merjaa ja Merja rakastaa Juhaa. Pekka rakastaa Merjaa tai Pekka rakastaa Minnaa. Jos Pekka keittää kahvia niin kahvi valmistuu ajoissa. Saara Huhmarniemi 5
6 Propositiologiikka Propositiologiikka Merkitään: p 0 = Pekka rakastaa Merjaa p 1 = Merja rakastaa Juhaa. Merkitään: p 0 = Pekka keittää kahvia. p 1 = Kahvi valmistuu ajoissa. Pekka rakastaa Merjaa tai Pekka rakastaa Minnaa. Pekka ei keitä kahvia. Tehtävä Propositioiden totuusarvot Mitkä ovat atomilauseet seuraavissa lauseissa? Miten konnektiiveja voi käyttää niissä? Juna ei tule ajoissa. Jos juna tulee ajoissa niin minä ehdin kokoukseen. Juna tulee ajoissa tai meidät viedään linja-autoilla. Istun linja-autossa ja mietin päivän tapahtumia. Pekka ei matkusta junalla. Jos Pekka ei lähde elokuviin niin minä en lähde elokuviin. Propositioiden totuusarvot voidaan määrittää totuustaulujen avulla. P Q P Q P Q PQ Q$ Saara Huhmarniemi 6
7 Tulkintafunktio Predikaattilogiikkaa Primitiivisten ilmaisujen merkitys ei ole kompositionaalinen. Pekka on ihminen. Nimeäminen Käsitteet Primitiivisen ilmaisun merkitys yhdistetään ilmaisuun tulkintafunktion avulla. Tulkintafunktio µ yhdistää ilmaisun kielenulkoiseen olioon tai asiaan, johon se viittaa. µ(pekka) tarkoittaa siis tiettyä Pekkaa maailmassa. Käsitteitä käytetään kategorioina: µ(ihminen) tarkoittaa ihmisten kategoriaa. µ(pekka) µ(ihminen) Termiä joka ilmaisee käsitteen tai kategorian kutsutaan predikaatiksi. Pekka on ihminen. Kun tunnemme lauseen subjektin ja predikaatin voimme määrittää lauseen totuuden kompositionaalisesti. Olkoon a vakiosymboli ja P predikaatti. Lause P(a) on tosi jos ja vain jos µ(a) µ(p) Syntaktinen sääntö P a vastaa maailmassa relaatiota a P. Relaatiot Muuttujat Predikaattien lisäksi predikaattilogiikassa voidaan ilmaista relaatioita eli suhteita. Merja on lyhyempi kuin Tanja L(Merja,Tanja) Relaatioita voidaan kutsua monipaikkaisiksi predikaateiksi. Relaatio, jossa on kaksi paikkaa, kutsutaan kaksipaikkaiseksi predikaatiksi. Yleisesti n-paikkainen predikaatti tai relaatio Pekka syö leipää Relaatio syöjän ja syömisen kohteen välillä Yleisesti predikaattia tai relaatiota voidaan merkitä P(x) tai R(x,y). x on ihminen: Ihminen(x) x on lyhyempi kuin y: Lyhyempi(x,y) relaatiosymbolit: R, L, I, Lyhyempi, Ihminen, Syö yksilövakiot: a, b, Pekka, Merja muuttujat: x, y, z,.. Saara Huhmarniemi 7
8 Relaatiot Relaatiot Etsi näistä lauseista predikaatit ja relaatiot sekä niiden argumentit Pekka rakastaa Merjaa. Pekka antoi kirjan Merjalle. Merja on vaaleatukkainen. punainen polkupyörä punainen tai vihreä polkupyörä punainen polkupyörä pieni punainen talo punainen tai vihreä polkupyörä punainen(x) polkupyörä(x) pieni(x) punainen(x) talo(x) (punainen(x) vihreä(x)) polkupyörä(x) Kvanttorit Eksistentiaaliväite Aina koira ei viittaa ominaisuuteen koira. koira jahtasi kissaa a dog chased a cat Viitataan esimerkiksi yhteen olioon, joka kuuluu koirien kategoriaan. koira ei ole erisnimi, se ei viittaa suoraan. eräs koira a dog Ranskan nykyinen kuningas on kalju Russell: lauseen subjektipositiossa nominilausekkeet sisältävät eksistentiaaliväitteen: on olemassa x siten että x on Ranskan nykyinen kuningas ja x on kalju (x) ranskan_nyk_kuningas(x) kalju(x) (x) koira(x) Saara Huhmarniemi 8
9 Predikaattilogiikka Predikaattilogiikan aakkosto: konnektiivit:, kvanttorit:, relaatiosymbolit: R, L, I, Lyhyempi, Ihminen, Syö yksilövakiot: a, b, Pekka, Merja muuttujat: x, y, z,.. identiteettisymboli = funktiosymbolit: f 1, f 2, f 3 sulkeet: (, ) Saara Huhmarniemi 9
Kieli merkitys ja logiikka. Luento 6: Merkitys ja kieli
Kieli merkitys ja logiikka Luento 6: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Sanat ja käsitteet Kompositionaalisuus Propositiologiikka Kysymykset Merkityksen luonne Miten ihminen hahmottaa
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ätiedotKieli merkitys ja logiikka
Luento 7 Kieli merkitys ja logiikka Kompositionaalisuus Predikaattilogiikka Käsitteellis-intentionaaliset järjestelmät Luento 7: Merkitys ja logiikka Lause ja propositio Propositiot ja kompositionaalisuus
LisätiedotTiedon esittäminen ja päättely. Kognitiivinen mallintaminen I. Merkitys. Merkitys. Kognitiivinen mallintaminen I, kevät /13/07
Tiedon esittäminen ja päättely Kognitiivinen mallintaminen I Symbolinen mallintaminen 3. luento Tiedon esittäminen ja päättely Merkitys: kompositionaalisuus Malliteoria Loogisen päättelyn malleja Tiedon
LisätiedotKognitiiivinenmallintaminen1. Tiedon esittäminen, logiikkaa
Kognitiiivinenmallintaminen1 Tiedon esittäminen, logiikkaa Mitenihmisaivotesittävättietoa? Language of Thought (LOT) hypoteesi(fodor). Mentaaliset representaatiot ovat jotain kielen tapaista(niillä on
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ä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ä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ä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ä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ätiedotLogiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste
LisätiedotKieli merkitys ja logiikka
Kielentutkimuksen eri osa-alueet Kieli merkitys ja logiikka Luento 3 Fonetiikka äänteiden (fysikaalinen) tutkimus Fonologia kielen äännejärjestelmän tutkimus Morfologia sananmuodostus, sanojen rakenne,
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ätiedotTieteenfilosofia 2/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia
Tieteenfilosofia 2/4 Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia 1 Viisauden sanoja Aristoteleelta Aristoteles (De int. 1.): Ääneen puhutut sanat ovat sielullisten vaikutusten symboleja
LisätiedotVerbin valenssi määrää, minkälaisia argumentteja ja komplementteja verbi odottaa saavansa millaisissa lauseissa verbi voi esiintyä.
Valenssista Valenssi saksalaisessa ja venäläisessä kieliopintutkimuksessa käytetty nimitys, joka tavallisesti tarkoittaa verbin ominaisuutta: sitä, kuinka monta ja millaisia nomineja obligatorisesti ja
LisätiedotFI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan:
LOGIIKKA 1 Mitä logiikka on? päättelyn tiede o oppi muodollisesti pätevästä päättelystä 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan: sisältö, merkitys: onko jokin premissi
LisätiedotLoogiset konnektiivit
Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi... jos ja vain jos... Sulkeita ( ) käytetään selkeyden vuoksi
LisätiedotIlpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2
uonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "ogiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia
LisätiedotInsinöörimatematiikka A
Insinöörimatematiikka A Mika Hirvensalo mikhirve@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2018 Mika Hirvensalo mikhirve@utu.fi Luentoruudut 3 1 of 23 Kertausta Määritelmä Predikaattilogiikan
LisätiedotLAUSELOGIIKKA (1) Sanalliset ilmaisut ovat usein epätarkkoja. On ilmaisuja, joista voidaan sanoa, että ne ovat tosia tai epätosia, mutta eivät molempia. Ilmaisuja, joihin voidaan liittää totuusarvoja (tosi,
LisätiedotKieli 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
Äärellinen automaatti Kieli merkitys ja logiikka Luento 4: Assosiaatiot, konstituentit Edellä esitetty assosiationistinen malli kielelle on esimerkki äärellisten tilojen automaatista (finite states automaton)
LisätiedotT Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet )
T-79144 Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet 11-22) 26 29102004 1 Ilmaise seuraavat lauseet predikaattilogiikalla: a) Jokin porteista on viallinen
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2017-2018 Yhteenveto Yleistä kurssista Kurssin laajuus 5 op Luentoja 30h Harjoituksia 21h Itsenäistä työskentelyä n. 80h 811120P Diskreetit rakenteet, Yhteenveto 2 Kurssin
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2016-2017 3. Logiikka 3.1 Logiikka tietojenkäsittelyssä Pyritään formalisoimaan terveeseen järkeen perustuva päättely Sovelletaan monella alueella tietojenkäsittelyssä, esim.
LisätiedotLuonnolliset vs. muodolliset kielet
Luonnolliset vs. muodolliset kielet Luonnollisia kieliä ovat esim. 1. englanti, 2. suomi, 3. ranska. Muodollisia kieliä ovat esim. 1. lauselogiikan kieli (ilmaisut p, p q jne.), 2. C++, FORTRAN, 3. bittijonokokoelma
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ätiedotPredikaattilogiikan malli-teoreettinen semantiikka
Predikaattilogiikan malli-teoreettinen semantiikka February 4, 2013 Muistamme, että predikaattilogiikassa aakkosto L koostuu yksilövakioista c 0, c 1, c 2,... ja predikaattisymboleista P, R,... jne. Ekstensionaalisia
Lisätiedot3. Semantiikka ja pragmatiikka
3. Semantiikka ja pragmatiikka 3.1 Merkitsemisen eri "tavat Lokakuu ja talvi tulivat taas yhdessä! Onko ilmauksen (?) merkitys sanoilla? (ehkä morfeemeilla?) lauseella? teolla? 1 Merkitys ja konteksti
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ätiedotT Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )
T-79.144 Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 2 5.11.2005 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio R A
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ätiedotLogiikka 1/5 Sisältö ESITIEDOT:
Logiikka 1/5 Sisältö Formaali logiikka Luonnollinen logiikka muodostaa perustan arkielämän päättelyille. Sen käyttö on intuitiivista ja usein tiedostamatonta. Mikäli logiikka halutaan täsmällistää esimerkiksi
Lisätiedot3. Predikaattilogiikka
3. Predikaattilogiikka Muuttuja mukana lauseessa. Ei yksikäsitteistä totuusarvoa. Muuttujan kiinnittäminen määrän ilmaisulla voi antaa yksikäsitteisen totuusarvon. Esimerkki. Lauseella x 3 8 = 0 ei ole
Lisätiedot2. Minkä joukon määrittelee kaava P 0 (x 0 ) P 1 (x 0 ) mallissa M = ({0, 1, 2, 3}, P M 0, P M 1 ), kun P M 0 = {0, 1} ja P M 1 = {1, 2}?
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan II, syksy 2018 Harjoitus 4 Ratkaisuehdotukset 1. Mitkä muuttujat esiintyvät vapaina kaavassa x 2 ( x 0 R 0 (x 1, x 2 ) ( x 3 R 0 (x 3, x 0
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ätiedotLauselogiikka Tautologia
Lauselogiikka Tautologia Hannu Lehto Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden
LisätiedotKieli merkitys ja logiikka
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
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ätiedotT Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (Predikaattilogiikka )
T-79.3001 Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (Predikaattilogiikka 10.3. 11.4) 26. 30.3. 2009 Ratkaisuja demotehtäviin Tehtävä 10.5 Allaolevat kolme graafia pyrkivät selventämään
LisätiedotDiskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1
811120P 3. 5 op Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 ja laskenta tarkastelemme terveeseen järkeen perustuvaa päättelyä formaalina järjestelmänä logiikkaa sovelletaan
Lisätiedot1 Logiikkaa. 1.1 Logiikan symbolit
1 Logiikkaa Tieteessä ja jokapäiväisessä elämässä joudutaan tekemään päätelmiä. Logiikassa tutkimuskohteena on juuri päättelyt. Sen sijaan päätelmien sisältöön ei niinkäään kiinnitetä huomiota. Päätelmät
LisätiedotKieli merkitys ja logiikka
Luento 8 Kieli merkitys ja logiikka Leksikko ja kieli Taivutus Johtaminen Luento 8: Leksikko Mitä tiedämme sanasta? nukkua miten sana lausutaan sanan merkitys miten sanaa käytetään kielellisessä rakenteessa
LisätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Roosa Niemi Riippuvuuslogiikkaa Informaatiotieteiden yksikkö Matematiikka Syyskuu 2011 Tampereen yliopisto Informaatiotieteiden yksikkö ROOSA NIEMI: Riippuvuuslogiikkaa
LisätiedotLausekkeiden rakenteesta (osa 2) & omistusliitteistä
Lausekkeiden rakenteesta (osa 2) & omistusliitteistä Adjektiivi- ja adverbilausekkeet AP ja AdvP: paljon yhteistä monet AP:t voi jopa suoraan muuttaa AdvP:ksi -sti-johtimella: Ihan mahdottoman kaunis Ihan
LisätiedotFORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus
FORMAALI SYSTEEMI (in Nutshell): Formaali kieli: aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus esim. SSM:n tai EBNF:n avulla Semantiikka:
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ätiedotT Kevät 2006 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )
T-79.3001 Kevät 2006 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3 3.4) 21. 24.3.2006 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio
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ätiedotEsimerkkimodaalilogiikkoja
/ Kevät 2005 ML-4 1 Esimerkkimodaalilogiikkoja / Kevät 2005 ML-4 3 Käsitellään esimerkkeinä kehyslogiikkoja Valitaan joukko L kehyksiä S, R (tyypillisesti antamalla relaatiolle R jokin ominaisuus; esim.
LisätiedotRatkaisu: (b) A = x 0 (R(x 0 ) x 1 ( Q(x 1 ) (S(x 0, x 1 ) S(x 1, x 1 )))).
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 3 Ratkaisuehdotukset 1. Palataan Partakylään. Olkoon P partatietokanta ja M tästä saatu malli kuten Harjoitusten 1
LisätiedotRekursiiviset tyypit
Rekursiiviset tyypit TIES542 Ohjelmointikielten periaatteet, kevät 2007 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 20. helmikuuta 2007 Hiloista Kiintopisteet (Ko)rekursio Rekursiiviset
Lisätiedot815338A Ohjelmointikielten periaatteet Harjoitus 2 vastaukset
815338A Ohjelmointikielten periaatteet 2015-2016. Harjoitus 2 vastaukset Harjoituksen aiheena on BNF-merkinnän käyttö ja yhteys rekursiivisesti etenevään jäsentäjään. Tehtävä 1. Mitkä ilmaukset seuraava
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 8. syyskuuta 2016 Sisällys a https://tim.jyu.fi/view/kurssit/tie/ tiea241/2016/videoiden%20hakemisto Matemaattisen
LisätiedotKuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa
LisätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Heidi Luukkonen. Sahlqvistin kaavat
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Heidi Luukkonen Sahlqvistin kaavat Informaatiotieteiden yksikkö Matematiikka Maaliskuu 2013 Tampereen yliopisto Informaatiotieteiden yksikkö LUUKKONEN, HEIDI: Sahlqvistin
Lisätiedot-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi
-Matematiikka on aksiomaattinen järjestelmä -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei
LisätiedotKuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Vastaavuus puolestaan on erikoistapaus relaatiosta.
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ätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2018-2019 Kertausta toiseen välikokeeseen Yhteenveto Kurssin sisältö 1. Algoritmin käsite 2. Lukujärjestelmät ja niiden muunnokset; lukujen esittäminen tietokoneessa 3. Logiikka
Lisätiedot815338A Ohjelmointikielten periaatteet
815338A Ohjelmointikielten periaatteet 2015-2016 VII Logiikkaohjelmointi Sisältö 1. Johdanto 2. Predikaattilogiikan käsitteistöä 3. Prolog 815338A Ohjelmointikielten periaatteet, Logiikkaohjelmointi 2
LisätiedotYhdyssana suomen kielessä ja puheessa
Yhdyssana suomen kielessä ja puheessa Tommi Nieminen Jyväskylän yliopisto Anna Lantee Tampereen yliopisto 37. Kielitieteen päivät Helsingissä 20. 22.5.2010 Yhdyssanan ortografian historia yhdyssanan käsite
LisätiedotFILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN
FILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN 27.10. Miten tietoisuus rakentuu? Husserlin fenomenologiaa 3.11. Elämänfilosofian nousu ja tuho 10.11. Mitä on inhimillinen
LisätiedotTIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 16. maaliskuuta 2011 Sisällys Sisällys Väitelauseet lause (tai virke), joka sanoo jonkin asian pitävän paikkaansa
LisätiedotPropositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.
Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Perusaksioomat: Laki 1: Kukin totuusfunktio antaa kullekin propositiolle totuusarvoksi joko toden T tai epätoden
LisätiedotT kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut
T-79.5101 kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut 1. Jokaiselle toteutuvalle lauselogiikan lauseelle voidaan etsiä malli taulumenetelmällä merkitsemällä lause taulun juureen
LisätiedotJohdatus logiikkaan 2
Johdatus logiikkaan 2 Åsa Hirvonen Kevät 2016 Sisältö 1 Mallit ja aakkostot 3 1.1 Mallit................................... 3 1.2 akkostot ja L-mallit.......................... 6 2 Kaavat 7 3 Semantiikka
LisätiedotOpintomoniste logiikan ja joukko-opin perusteista
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Kari Lammi Opintomoniste logiikan ja joukko-opin perusteista Luonnontieteiden tiedekunta Matematiikka Toukokuu 2018 2 Tampereen yliopisto Luonnontieteiden tiedekunta
LisätiedotTodistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia, niin A on rekursiivinen.
Lause: Tyhjyysongelma ei ole osittain ratkeava; ts. kieli ei ole rekursiivisesti lueteltava. L e = { w { 0, 1 } L(M w ) = } Todistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia,
LisätiedotPROPOSITIOLOGIIKAN RIITTÄMÄTTÖMYYS
67 PROPOSITIOLOGIIKAN RIITTÄMÄTTÖMYYS Jo äärimmäisen yksinkertaisessa peliesimerkissämme propositiologiikan ilmaisuvoima osoittautuu riittämättömäksi Tietämyskannan alustamiseksi pelin säännöillä meidän
LisätiedotEhrenfeuchtin ja Fraïssén peli
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Piia Nieminen Ehrenfeuchtin ja Fraïssén peli Matematiikan ja tilastotieteen laitos Matematiikka Marraskuu 2008 Tampereen yliopisto Matematiikan ja tilastotieteen
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ä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ätiedotKäyttöliittymä. Ihmisen ja tuotteen välinen rajapinta. ei rajoitu pelkästään tietokoneisiin
Käyttöliittymä Ihmisen ja tuotteen välinen rajapinta ei rajoitu pelkästään tietokoneisiin Tasot: 1. Teknis-fysiologis-ergonimen 2. Käsitteellis-havainnoillinen 3. Toiminnallis-kontekstuaalinen, käyttötilanne
LisätiedotKirjoita käyttäen propositiosymboleita, konnektiiveja ja sulkeita propositiologiikan lauseiksi:
1 Logiikan paja, kevät 2011 Ratkaisut viikolle I Thomas Vikberg Merkitään propopositiosymboleilla p i seuraavia atomilauseita: p 0 : vettä sataa p 1 : tänään on perjantai p 2 : olen myöhässä Valitaan konnektiiveiksi,
LisätiedotÄärellisten mallien teoria
Äärellisten mallien teoria Harjoituksen 7 ratkaisut (Hannu Niemistö) Tehtävä 1 Olkoot G ja H äärellisiä verkkoja, joilla kummallakin on l yhtenäistä komponenttia Olkoot G i, i {0,,l 1}, verkon G ja H i,
LisätiedotMS-A0402 Diskreetin matematiikan perusteet
MS-A0402 Diskreetin matematiikan perusteet Osa 1: Joukko-oppi ja logiikka Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Kiitokset Nämä luentokalvot perustuvat Gustaf
LisätiedotPerinnöllinen informaatio ja geneettinen koodi.
Tehtävä A1 Kirjoita essee aiheesta: Perinnöllinen informaatio ja geneettinen koodi. Vastaa esseemuotoisesti, älä käytä ranskalaisia viivoja. Piirroksia voi käyttää. Vastauksessa luetaan ansioksi selkeä
LisätiedotTässä lehdessä pääset kertaamaan Lohdutus-jakson asioita.
Tässä lehdessä pääset kertaamaan Lohdutus-jakson asioita. Turun kaupunginteatteri ja Hämeenlinnan teatteri. LOHDUTUS 2 KIELIOPIT ja TEATTERIT (virke, päälause, sivulause, päälauseiden yhdistäminen, päälauseen
LisätiedotSäännölliset kielet. Sisällys. Säännölliset kielet. Säännölliset operaattorit. Säännölliset kielet
TIEA241 Automaatit ja kieliopit, kesä 2013 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 24. toukokuuta 2013 Sisällys Formaalit kielet On tapana sanoa, että merkkijonojen joukko on (formaali) kieli. Hieman
LisätiedotAsiakaspalvelun ymmärrettävyys. Sanasto ja kieli julkisissa palveluissa Ulla Tiililä
Asiakaspalvelun ymmärrettävyys Sanasto ja kieli julkisissa palveluissa 12.3.2019 Ulla Tiililä Näkökulmia sanastoon Termistyminen: tarvitaanko? Sanat teksteissä ja teksteistä Selkeys Vakiintuneisuus Läpinäkyvyys
LisätiedotMS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I
MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetyhteenveto, 3. osahuhtikuuta
LisätiedotLausuminen kertoo sanojen määrän
Sivu 1/5 Lausuminen kertoo sanojen määrän Monta osaa Miten selvä ero Rinnasteiset ilmaisut Yhdyssana on ilmaisu, jossa yksi sana sisältää osinaan kaksi sanaa tai enemmän. Puhutussa kielessä tätä vastaa
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I
MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, 30.
LisätiedotDiskreetin matematiikan perusteet Malliratkaisut 2 / vko 38
Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38 Tuntitehtävät 11-12 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 15-16 loppuviikon harjoituksissa. Kotitehtävät 13-14 tarkastetaan loppuviikon
LisätiedotMuodolliset kieliopit
Muodolliset kieliopit Luonnollisen kielen lauseenmuodostuksessa esiintyy luonnollisia säännönmukaisuuksia. Esimerkiksi, on jokseenkin mielekästä väittää, että luonnollisen kielen lauseet koostuvat nk.
LisätiedotKonnektiivit. On myös huomattava, että vain joillakin luonnollisen kielen konnektiiveilla on vastineensa lauselogiikassa.
Johdanto Lauselogiikassa tutkitaan sekä syntaktisella että semanttisella tasolla loogisia konnektiiveja ja niiden avulla muodostettuja kaavoja sekä myös formaalia päättelyä. Tarkastelemme aluksi klassisen
LisätiedotLukualueiden laajentamisesta
Lukualueiden laajentamisesta Tuomas Korppi 1 Poleeminen johdanto Opettaja! Oletko opettanut lukualueiden laajentamista koskevat asiat väärin? Lue tämä ja päivitä tietämystäsi. Aina aika-ajoin törmää nimittäin
LisätiedotFilosofian historia: 1900-luku
Filosofian historia: 1900-luku 23.2.2010 Bertie (1) Bertrand Russell (1872-1970) Kolmas Russellin jaarli The Principles of Mathematics (1903) On Denoting (1905) Mathematical Logic as Based on the Theory
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ätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 16. marraskuuta 2015
ja ja TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho NFA:ksi TIETOTEKNIIKAN LAITOS 16. marraskuuta 2015 Sisällys ja NFA:ksi NFA:ksi Kohti säännöllisiä lausekkeita ja Nämä tiedetään:
LisätiedotKesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset
Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset 2000-08-03T10:30/12:00 Huomaa, että joihinkin kysymyksiin on useampia oikeita vastauksia, joten nämä ovat todellakin vain mallivastaukset. 1 Logiikkaa
LisätiedotMatematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista
Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Valitse seuraaville säännöille mahdollisimman laajat lähtöjoukot ja sopivat maalijoukot niin, että syntyy kahden muuttujan funktiot (ks. monisteen
Lisätiedot2. Olio-ohjelmoinnin perusteita 2.1
2. Olio-ohjelmoinnin perusteita 2.1 Sisällys Esitellään peruskäsitteitä yleisellä tasolla: Luokat ja oliot. Käsitteet, luokat ja oliot. Attribuutit, olion tila ja identiteetti. Metodit ja viestit. Olioperustainen
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ätiedot5/20: Algoritmirakenteita III
Ohjelmointi 1 / syksy 2007 5/20: Algoritmirakenteita III Paavo Nieminen nieminen@jyu.fi Tietotekniikan laitos Informaatioteknologian tiedekunta Jyväskylän yliopisto Ohjelmointi 1 / syksy 2007 p.1/17 Tämän
LisätiedotTIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 8. maaliskuuta 2012
TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 8. maaliskuuta 2012 Sisällys Ongelma-analyysiä Sisällys Ongelma-analyysiä Hypoteettinen ongelma The Elite Bugbusters
LisätiedotLUKU II HOMOLOGIA-ALGEBRAA. 1. Joukko-oppia
LUKU II HOMOLOGIA-ALGEBRAA 1. Joukko-oppia Matematiikalle on tyypillistä erilaisten objektien tarkastelu. Tarkastelu kohdistuu objektien tai näiden muodostamien joukkojen välisiin suhteisiin, mutta objektien
LisätiedotRatkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R):
Diskreetti matematiikka, sks 2010 Harjoitus 2, ratkaisuista 1. Seuraavassa on kuvattu kolme virtapiiriä, joissa on paristo, sopiva lamppu L ja katkaisimia P, Q, R, joiden läpi virta kulkee (1) tai ei kulje
Lisätiedot