Results 31 to 40 of about 113 (55)
Hukkuuko luokanopettaja syntaksin syövereihin? Kirjakuja ja Uusi Salainen kerho luokanopettajan apuna äidinkielen syntaksin opettamisessa [PDF]
, 2007 Pro gradu-tutkimuksessa selvitettiin kahden äidinkielen oppikirjan syntaktista sisältöä sekä niiden luokanopettajalle tarjoamia työkaluja äidinkielen syntaksin opettamiseen. Tutkimuksen kohteena olivat Tammen kustantama Kirjakuja 4 sekä WSOY:n kustantama
NIKULA, MARIANNE
core
Lukiokurssi matemaattisesta ohjelmoinnista Python-kielellä [PDF]
, 2010 Tässä tutkielmassa suunnitellaan lukion kolmannen vuoden opiskelijoille tarkoitettu syventävä kurssi, jossa opiskellaan ohjelmoinnin perusteita ja matemaattista ohjelmointia Python-kielellä.
Kulmala, Päivi
core
Modaalilogiikan matemaattisia ominaisuuksia
, 2016 Tässä pro gradu-tutkielmassa tutkitaan modaalilogiikkaa todistus- ja malliteoreettisesta näkökulmasta. Työssä esitetään täydellisyystulokset modaalilogiikan systeemeille K, S4 ja S5 sekä bisimulaatiota ja äärellisiä malleja koskevia tuloksia. Tutkielman
Nieminen, Janos
core
SUOMENKIELISTEN LAUSEIDEN SISÄISTÄ SIDOSTEISUUTTA KOSKEVIA KOKEELLISIA HAVAINTOJA
, 2013 Käsillä olevassa kokeellisessa tutkimuksessa käsitellään suomen kielen lauseidensanojen ja sitä kautta epäsuorasti myös lausekkeiden välistä sidosteisuutta erityisestisubjektin, verbin ja objektin sisältävissä kolmisanaisissa transitiivisissa ...
Niemi, Jussi
core
Filon ja kamalat pidot : Kirjallisuustieteellinen näkökulma Filon Aleksandrialaisen teokseen De Vita Contemplativa [PDF]
, 2019 Työn aiheena on Filon Aleksandrialaisen (n. 20 eKr.–50 jKr.) teos De Vita Contemplativa. Teos kertoo juutalaisesta askeettiryhmästä, joka elää Aleksandrian lähistöllä ja jonka jäsenet, terapeutit viettävät aikansa pohtien filosofiaa. Viikon seitsemäntenä
Purhonen, Josi
core
Kaavan pituuspeli modaalilogiikalle ja tiiviystuloksia [PDF]
, 2016 Tämän tutkielman aiheena on kaavan pituuspeli modaalilogiikalle ja sen käyttäminen tiiviystulosten osoittamiseen. Aluksi määritellään modaalilogiikan syntaksi ja semantiikka sekä modaalilogiikkaan ja predikaattilogiikkaan liittyviä perusasioita.
Vilander, Miikka
core
, 2013 Artikkelissa esitellään psykolingvistiikassa viime aikoina hyvin suosituksi tullutsuhteellisen uusi tutkimusmenetelmä, ns. visual world -menetelmä, joka yhdistäävisuaalisen havaitsemisen ja puhutun kielen kielen prosessoinnin tutkimuksessa(Cooper, 1974 ...
Pyykkönen, Pirita
core
Kotlin Javan korvaajana sovelluskehityksessä ohjelmistoyrityksessä
, 2020 Kotlin on vuonna 2016 virallisesti julkaistu ja viime aikoina paljon suosiota saanut ohjelmointikieli. Se muistuttaa paljon Javaa, mutta on syntaksiltaan tiiviimpää. Kotlinissa on olio-ohjelmointipiirteiden lisäksi funktionaalisen ohjelmoinnin piirteitä.
Väänänen, Krista
core
, 2008 Tämä tutkielma käsittelee hybridilogiikan kieltä H(@). Tutkielmassa keskitytään malliteoriaan. Käsiteltävälle kielelle annetaan syntaksi ja semantiikka, ja esitellään kaksi kielen aksiomatisointia.
SUURHASKO, TIA
core
Täsmäkielen toteutus tuotekonfiguraattoriin [PDF]
, 2019 Tässä työssä suunnitellaan ja toteutetaan täsmäkieli kaupalliseen tuotekonfiguraattoriin. Täsmäkieli on tietylle sovellusalueelle erikoistunut ohjelmointikieli, joka helpottaa ja tehostaa toimintaa kohdeympäristössä riippumatta tuotemallista ja sen ...
Niemelä, Simo
core