Mahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen KIRJALLISUUTTA 2 KIRJALLISUUTTA 1 KIRJALLISUUTTA 3 KIRJALLISUUTTA 4

Koko: px
Aloita esitys sivulta:

Download "Mahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen KIRJALLISUUTTA 2 KIRJALLISUUTTA 1 KIRJALLISUUTTA 3 KIRJALLISUUTTA 4"

Transkriptio

1 Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo S20A sh luento Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali löytyy myös internetistä osoitteesta sekä Philosophica-kirjastosta. Materiaali on pääosin pdf-muodossa. Tarvittavan ilmaisen Adobe Reader - ohjelman voi ladata osoitteesta 2 KIRJALLISUUTTA 1 Hintikka, Jaakko 1953, Distributive Normal Forms in the Calculus of Predicates, Acta Philosophica Fennica, vol. 6, Helsinki. KIRJALLISUUTTA 2 Hintikka, Jaakko 1973, Distributive Normal Forms in First-Order Logic, in Logic, Language-Games and Information. Kantian thmes in the Philosophy of Logic, Clarendon Press, Oxford KIRJALLISUUTTA 3 KIRJALLISUUTTA 4 Hintikka, Jaakko 1989, von Wright on Logical Truth and Distributive Normal Forms, in Schilpp, Paul Arthur & Lewis Edwin Hahn (eds.), 1989, The Philosophy of Georg Henrik von Wright, The Library of Living Philosophers XIX, Open Court, la Salle, Illlinois. Holm Ruurik 1993, Mahdollisuus ja välttämättömyys: Jaakko Hintikan mallijoukot ja Rudolf Carnapin tilakuvaukset Per Martin-Löfin tyyppiteoriassa, Pääaineen tutkielma teoreettisessa filosofiassa, Helsingin yliopisto

2 KIRJALLISUUTTA 5 Niiniluoto Ilkka 1980, Luentoja semanttisen informaation teoriasta, Helsingin yliopiston filosofian laitoksen julkaisuja 7/1980. Niiniluoto Ilkka 1987, Truthlikeness, D. Reidel Publishing Company, Dordrecht. Niiniluoto Ilkka 1999, Filosofia Suomessa, liite teoksessa Nordin Svante 1999, Filosofian historia, Pohjoinen, Oulu, KIRJALLISUUTTA 6 Wright, G. H. von, 1951a, Deontic Logic, Mind 60, Wright, G. H. von, 1951b, An Essay in Modal Logic, North-Holland Puhlishing Company, Amsterdam. 7 8 KIRJALLISUUTTA 7 Luento Rudolf Carnap ( ) von Wright, G. H. 1952, On the Logic of some Axiological and Epistemological Concepts, Ajatus 17. (Tuomo Aho, The Birth of General Modal Logic, MS 2003.) Wright G. H. von 2002, Elämäni niin kuin sen muistan, Otava, Helsinki. The Logical Syntax of Language (1937): syntaktinen modaliteettikäsitys, luopui seuraavissa: Artikkeli Modalities and Quantification (1946): ensimmäinen tekninen lähestymistapa mahdollisten maailmojen semantiikkaan. ks. Meaning and Necessity (1947) Tilakuvaukset 1 Tilakuvaukset 2 Rudolf Carnapin tilakuvaukset ovat lauseiden luokkia, jotka koostuvat objektikielen atomilauseista siten, että jokaiselle atomilauseelle on voimassa ehto, että joko lause itse tai sen negaatio kuuluu tilakuvaukseen. Tilakuvaukset esittävät Carnapin mukaan Leibnizin mahdollisia maailmoja tai Wittgensteinin mahdollisia asiaintiloja (possible states of affairs)'. Jos atomilause kuuluu tilakuvaukseen, sanotaan että kyseinen lause on tosi tilakuvauksessa

3 Tilakuvaukset 3 Muille kuin atomilauseille totuuden ehdot määritellään tavalliseen tapaan rekursiivisesti: lause on tosi tilakuvauksessa silloin ja vain silloin kuin lauseen negaatio ei ole tosi tilakuvauksessa, jne. Tilakuvaukset 4 (Carnap 1947: 9.) Predikaattilogiikassa toteutuvuuden käsite voidaan määritellä seuraavasti: lausejoukko k on toteutuva jos ja vain jos on olemassa tilakuvaus, jossa kaikki k:n lauseet ovat tosia. (Holm 1993, 6 7.) Universaali vaikutusala Esimerkki (Niiniluoto 1980, 58 59, 1987, Ch. 2.) Carnapin lähestymistapa erosi siitä, mitä hänen jälkeensä seurasi modernissa mahdollisten maailmojen semantiikassa: Hän tutki modaalilauseita yhdessä luokassa, kaikkien tilakuvausten luokassa jota hän kutsui universaaliksi vaikutusalaksi. (Ks. esim. Hintikka 1973.) Kieli, jossa on yksi predikaatti M ja kolme yksilövakiota a 1, a 2 ja a 3. Q-predikaatit:Q 1 = M Q 2 = ~M Yleisesti: Konjunktiot muotoa (±)M 1 x & (±)M 2 x &... & (±)M k x määrittelevät kielen Q-predikaatit Tilakuvaukset Tilakuvaukset: Kielen tilakuvaukset (state descriptions) ovat lauseita, jotka kertovat kustakin yksilöstä a 1, a 2...a N, minkä Q-predikaatin se toteuttaa. Tilakuvaukset ovat keskenään loogisesti yhteensopimattomia lauseita. s 1 = Ma 1 & Ma 2 & Ma 3 s 2 = Ma 1 & Ma 2 & ~Ma 3 s 3 = Ma 1 & ~Ma 2 & Ma 3 s 4 = Ma 1 & ~Ma 2 & ~Ma 3 s 5 = ~Ma 1 & Ma 2 & Ma 3 s 6 = ~ Ma 1 & Ma 2 & ~Ma 3 s 7 = ~ Ma 1 & ~Ma 2 & Ma 3 s 8 = ~ Ma 1 & ~Ma 2 &~Ma

4 Isomorfismi Tilakuvaukset ovat isomorfisia, jos ne saadaan toisistaan vaihtamalla yksilönimiä. Esim. Tilakuvaukset Ma 1 & ~Ma 2 ja ~Ma 1 & Ma 2 ovat isomorfisia: niiden disjunktio sanoo sanoo, että soluun M kuuluu yksi yksilö ja samoin soluun ~M. Struktuurikuvaukset: Keskenään isomorfisten tilakuvausten disjunktioita kutsutaan struktuurikuvauksiksi: S 1 = S(3,0) = s 1 S 2 = S(2,1) = s 2 v s 3 v s 5 S 3 = S(1,2) = s 4 v s 6 v s 7 S 4 = S(0,3) = s Konstituentit Konstituentit: Kielen konstituentit ovat lauseita, jotka kertovat, minkä Q-predikaatin ala on tyhjä ja ja minkä ei-tyhjä. Konstituentit ovat keskenään loogisesti yhteensopimattomia lauseita. Samaa laajuutta olevien konstituentien disjunktiota kutsutaan konstituenttistruktuuriksi. C 1 = ~( x)mx & ~( x)~mx C 2 = ( x)mx & ( x)mx = S 1 C 3 = ( x)~mx & ( x)~mx = S 4 C 4 = ( x)mx & ( x)~mx = S 2 v S 3 Konstituenttistruktuurit: G 0 = C 1 G 1 = C 2 v C 3 G 2 = C Distributiivinen normaalimuoto Jokainen kielen lause, jossa ei esiinny yksilövakioita, voidaan esittää distributiivisessa normaalimuodossa, so. konstituenttien äärellisenä disjunktiona. (Tässä kielellä tarkoitetaan monadisen predikaattilogiikan kieltä.) McKinsey, Tarski ja Jónsson Later Kripke expanded on this remark: Had they [Jónsson and Tarski] known that they were doing modal logic, they would have had the completeness problem for many of the modal propositional systems wrapped up, and some powerful theorems

5 McKinsey, Tarski ja Jónsson Mathematically they did this, but it was presented as algebrawith no mention of semantics, modal logic, or possible worlds, let alone quantifiers. When I presented my paper at the conference in Finland in 1962, I emphasised the importance of this paper. McKinsey, Tarski ja Jónsson Tarski was present, and said that he was unable to see any connection with what I was doing! In the light of Tarski s previous work with McKinsey, this remark is perhaps puzzling G. H. von Wright 1989, 28: G. H. von Wright 1989, 28: One day early in 1949, when I was walking along the bank of the Cam, the following analogy struck me: in the same manner as the quantifiers some, no, and all related to one another, so also are the modalities possible, impossible, and necessary related. A moment s reflection sufficed to make it clear that the two groups of concepts also shared their distributive features with regard to conjunction and disjunction. Thus it ought to be possible to build a logic for the modal concepts in analogy with the logic of quantifiers Georg Henrik von Wright ( ) Matkusti 1939 väitöskirjaansa valmistaessaan Cambridgen yliopistoon. Osallistui Wittgensteinin luennoille. Nimitys HY:n ruotsinkieliseksi filosofian professoriksi. von Wright 2 Vieraili uudelleen Cambridgessa, ystävystyi Wittgensteinin kanssa. Kutsuttiin Cambridgeen Wittgensteinin seuraajaksi. Palasi Suomeen hoitamaan virkaansa. von Wrightin ja Hintikan kautta suomalainen filosofia loi pysyvät kontaktit englanninkieliseen filosofiaan

6 von Wright luvun alussa alettiin toimittaa nidettä The Library of Living Philosophers sarjaan. Nide ilmestyi vuonna Sarjaan The Library of Living Philosophers pääsyä on usein pidetty Nobelin palkinnon veroisena huomionosoituksena filosofian alalla. Logiikan uudet tuulet von Wright askarteli Cambridgen kaudellaan logiikan filosofian klassisten kysymysten parissa. Merkittävin näistä oli loogisen totuuden ongelma, uutena aluevaltauksena kiinnostus modaalikäsitteisiin An Essay in Modal Logic Julkaisi 1951 kaksi tärkeää julkaisua modaalilogiikan tiimoilta: 1. Suppean monografian An Essay in Modal Logic (North-Holland Puhlishing Company, Amsterdam). 2. Mind-lehdessä artikkelin Deontic Logic, jonka ansiosta häntä pidetään modernin deonttisen logiikan perustajana. (Lisää deonttisesta logiikasta myöhemmin.) One should, however, not fail to observe that there are essential similarities between alethic, epistemic, and deontic modalities on the one hand and quantifiers on the other hand.... The logic of the words possible, impossible, and necessary, in other words, is very much similar to the logic of the words some, no, and all An Essay in Modal Logic Seuraavaksi It is indeed not surprising that this should be the case. For, popularly speaking, the possible is that which is true under some circumstances, the impossible that which is true under no circumstances, and the necessary that which is true under all circumstances. (1951b, 2, 19) Arthur N. Prior ( ): Prior appears to have been the first to use a binary relation in an explicitly modal context

Mahdollisten maailmojen semantiikan synty ja kehitys

Mahdollisten maailmojen semantiikan synty ja kehitys Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 3. luento 3.2.2005 Mottoja Wittgensteinilta 1 Lauseet osoittavat, mitä ne sanovat. Tautologia

Lisätiedot

Mahdollisten maailmojen semantiikan synty ja kehitys

Mahdollisten maailmojen semantiikan synty ja kehitys Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen, versio 2 Päivitetty 21.02.2005 Kurssin oheiskirjallisuutena käytetään mm. seuraavia artikkeleita, jotka myös tentitään

Lisätiedot

Mahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen KIRJALLISUUTTA 2 KIRJALLISUUTTA 1 KIRJALLISUUTTA 3 KIRJALLISUUTTA 4

Mahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen KIRJALLISUUTTA 2 KIRJALLISUUTTA 1 KIRJALLISUUTTA 3 KIRJALLISUUTTA 4 Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 5. luento 17.2.2005 Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali

Lisätiedot

Mahdollisten maailmojen semantiikan synty ja kehitys

Mahdollisten maailmojen semantiikan synty ja kehitys Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen KIRJALLISUUTTA, versio 3 Päivitetty 18.04.2005 KIRJALLISUUTTA 1 Kurssin oheiskirjallisuutena käytetään mm. seuraavia

Lisätiedot

Mahdollisten maailmojen. semantiikan synty ja kehitys. Aikataulu: Propositionaalisten asenteiden logiikasta 1. Mahdollisten maailmojen

Mahdollisten maailmojen. semantiikan synty ja kehitys. Aikataulu: Propositionaalisten asenteiden logiikasta 1. Mahdollisten maailmojen Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 9. luento 7.4.2005 Aikataulu: VIIMEINEN LUENTO 14.4. Sovelluksista ja viimeaikaisesta

Lisätiedot

Mahdollisten maailmojen. semantiikan synty ja kehitys

Mahdollisten maailmojen. semantiikan synty ja kehitys Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 8. luento 17.3.2005 Aikataulu: SEURAAVAT LUENNOT 7.4. ja 14.4. Propositionaalisista asenteista

Lisätiedot

Mahdollisten maailmojen. semantiikan synty ja kehitys. ((p q) r) (r ( p q)) is written CCApqNrCrKNpNq. Mahdollisten maailmojen. Puolalainen notaatio 2

Mahdollisten maailmojen. semantiikan synty ja kehitys. ((p q) r) (r ( p q)) is written CCApqNrCrKNpNq. Mahdollisten maailmojen. Puolalainen notaatio 2 Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 6. luento 24.2.2005 Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali

Lisätiedot

Mahdollisten maailmojen. semantiikan synty ja kehitys. ((p q) r) (r ( p q)) is written CCApqNrCrKNpNq. Aikataulu: Mahdollisten maailmojen

Mahdollisten maailmojen. semantiikan synty ja kehitys. ((p q) r) (r ( p q)) is written CCApqNrCrKNpNq. Aikataulu: Mahdollisten maailmojen Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 7. luento 3.3.2005 Aikataulu: SEURAAVAT LUENNOT 17.3., 7.4. ja 14.4. Deonttisesta logiikasta,

Lisätiedot

Mahdollisten maailmojen semantiikan synty ja kehitys

Mahdollisten maailmojen semantiikan synty ja kehitys Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 2. luento 27.1.2005 Aikataulu (luennot: 10 x 2 t) (aiheet alustavia) 20.1. Luento 1 (johdanto)

Lisätiedot

anna minun kertoa let me tell you

anna minun kertoa let me tell you anna minun kertoa let me tell you anna minun kertoa I OSA 1. Anna minun kertoa sinulle mitä oli. Tiedän että osaan. Kykenen siihen. Teen nyt niin. Minulla on oikeus. Sanani voivat olla puutteellisia mutta

Lisätiedot

1. Liikkuvat määreet

1. Liikkuvat määreet 1. Liikkuvat määreet Väitelauseen perussanajärjestys: SPOTPA (subj. + pred. + obj. + tapa + paikka + aika) Suora sanajärjestys = subjekti on ennen predikaattia tekijä tekeminen Alasääntö 1: Liikkuvat määreet

Lisätiedot

On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)

On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs

Lisätiedot

On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)

On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs

Lisätiedot

Results on the new polydrug use questions in the Finnish TDI data

Results on the new polydrug use questions in the Finnish TDI data Results on the new polydrug use questions in the Finnish TDI data Multi-drug use, polydrug use and problematic polydrug use Martta Forsell, Finnish Focal Point 28/09/2015 Martta Forsell 1 28/09/2015 Esityksen

Lisätiedot

T kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut

T 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ätiedot

Capacity Utilization

Capacity Utilization Capacity Utilization Tim Schöneberg 28th November Agenda Introduction Fixed and variable input ressources Technical capacity utilization Price based capacity utilization measure Long run and short run

Lisätiedot

5.1 Semanttisten puiden muodostaminen

5.1 Semanttisten puiden muodostaminen Luku 5 SEMNTTISET PUUT 51 Semanttisten puiden muodostaminen Esimerkki 80 Tarkastellaan kysymystä, onko kaava = (( p 0 p 1 ) (p 1 p 2 )) toteutuva Tätä voidaan tutkia päättelemällä semanttisesti seuraavaan

Lisätiedot

Mahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen. Suorittaminen 1. Suorittaminen 2

Mahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen. Suorittaminen 1. Suorittaminen 2 Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 10. luento 14.4.2005 Mahdollisten maailmojen semantiikan synty ja kehitys Kurssimateriaali

Lisätiedot

T Kevät 2005 Logiikka tietotekniikassa: erityiskysymyksiä I Kertausta Ratkaisut

T Kevät 2005 Logiikka tietotekniikassa: erityiskysymyksiä I Kertausta Ratkaisut T-79.146 Kevät 2005 Logiikka tietotekniikassa: erityiskysymyksiä I Kertausta Ratkaisut 1. Jokaiselle toteutuvalle lauselogiikan lauseelle voidaan etsiä malli taulumenetelmällä merkitsemällä lause taulun

Lisätiedot

On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)

On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs

Lisätiedot

VAASAN YLIOPISTO Humanististen tieteiden kandidaatin tutkinto / Filosofian maisterin tutkinto

VAASAN YLIOPISTO Humanististen tieteiden kandidaatin tutkinto / Filosofian maisterin tutkinto VAASAN YLIOPISTO Humanististen tieteiden kandidaatin tutkinto / Filosofian maisterin tutkinto Tämän viestinnän, nykysuomen ja englannin kandidaattiohjelman valintakokeen avulla Arvioidaan viestintävalmiuksia,

Lisätiedot

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2

Ilpo 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ätiedot

EUROOPAN PARLAMENTTI

EUROOPAN PARLAMENTTI EUROOPAN PARLAMENTTI 2004 2009 Kansalaisvapauksien sekä oikeus- ja sisäasioiden valiokunta 2008/0101(CNS) 2.9.2008 TARKISTUKSET 9-12 Mietintöluonnos Luca Romagnoli (PE409.790v01-00) ehdotuksesta neuvoston

Lisätiedot

Suomalaisen Tiedeakatemian kunniajäsen,

Suomalaisen Tiedeakatemian kunniajäsen, Jaakko Hintikka *12.1.1929 12.8.2015 Suomalaisen Tiedeakatemian kunniajäsen, filosofisen logiikan kansainvälinen uranuurtaja Kaarlo Jaakko Juhani Hintikka kuoli 86-vuotiaana lyhyen sairauden jälkeen Porvoossa

Lisätiedot

TIETEEN PÄIVÄT OULUSSA 1.-2.9.2015

TIETEEN PÄIVÄT OULUSSA 1.-2.9.2015 1 TIETEEN PÄIVÄT OULUSSA 1.-2.9.2015 Oulun Yliopisto / Tieteen päivät 2015 2 TIETEEN PÄIVÄT Järjestetään Oulussa osana yliopiston avajaisviikon ohjelmaa Tieteen päivät järjestetään saman konseptin mukaisesti

Lisätiedot

MEETING PEOPLE COMMUNICATIVE QUESTIONS

MEETING PEOPLE COMMUNICATIVE QUESTIONS Tiistilän koulu English Grades 7-9 Heikki Raevaara MEETING PEOPLE COMMUNICATIVE QUESTIONS Meeting People Hello! Hi! Good morning! Good afternoon! How do you do? Nice to meet you. / Pleased to meet you.

Lisätiedot

Kaivostoiminnan eri vaiheiden kumulatiivisten vaikutusten huomioimisen kehittäminen suomalaisessa luonnonsuojelulainsäädännössä

Kaivostoiminnan eri vaiheiden kumulatiivisten vaikutusten huomioimisen kehittäminen suomalaisessa luonnonsuojelulainsäädännössä M a t t i K a t t a i n e n O T M 1 1. 0 9. 2 0 1 9 Kaivostoiminnan eri vaiheiden kumulatiivisten vaikutusten huomioimisen kehittäminen suomalaisessa luonnonsuojelulainsäädännössä Ympäristöoikeustieteen

Lisätiedot

make and make and make ThinkMath 2017

make and make and make ThinkMath 2017 Adding quantities Lukumäärienup yhdistäminen. Laske yhteensä?. Countkuinka howmonta manypalloja ballson there are altogether. and ja make and make and ja make on and ja make ThinkMath 7 on ja on on Vaihdannaisuus

Lisätiedot

Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition)

Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition) Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition) Esko Jalkanen Click here if your download doesn"t start automatically Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition) Esko Jalkanen

Lisätiedot

Akateemiset fraasit Tekstiosa

Akateemiset fraasit Tekstiosa - Väitteen hyväksyminen Broadly speaking, I agree with because Samaa mieltä jostakin näkökulmasta One is very much inclined to agree with because Samaa mieltä jostakin näkökulmasta Yleisesti ottaen olen

Lisätiedot

16. Allocation Models

16. Allocation Models 16. Allocation Models Juha Saloheimo 17.1.27 S steemianalsin Optimointiopin seminaari - Sks 27 Content Introduction Overall Efficienc with common prices and costs Cost Efficienc S steemianalsin Revenue

Lisätiedot

Tietämisestä ja uskomisesta

Tietämisestä ja uskomisesta Tietämisestä ja uskomisesta MS-E2142 Optimointiopin seminaari: Peliteoria ja tekoäly 23112016 Kasper Apajalahti Sisältö Johdanto Tietämys Arvoitus: mutaiset lapset Partitiomalli (partition model) Mutaiset

Lisätiedot

ECVETin soveltuvuus suomalaisiin tutkinnon perusteisiin. Case:Yrittäjyyskurssi matkailualan opiskelijoille englantilaisen opettajan toteuttamana

ECVETin soveltuvuus suomalaisiin tutkinnon perusteisiin. Case:Yrittäjyyskurssi matkailualan opiskelijoille englantilaisen opettajan toteuttamana ECVETin soveltuvuus suomalaisiin tutkinnon perusteisiin Case:Yrittäjyyskurssi matkailualan opiskelijoille englantilaisen opettajan toteuttamana Taustaa KAO mukana FINECVET-hankeessa, jossa pilotoimme ECVETiä

Lisätiedot

1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward.

1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward. START START SIT 1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward. This is a static exercise. SIT STAND 2. SIT STAND. The

Lisätiedot

Miksi Suomi on Suomi (Finnish Edition)

Miksi Suomi on Suomi (Finnish Edition) Miksi Suomi on Suomi (Finnish Edition) Tommi Uschanov Click here if your download doesn"t start automatically Miksi Suomi on Suomi (Finnish Edition) Tommi Uschanov Miksi Suomi on Suomi (Finnish Edition)

Lisätiedot

Käyttöliittymät II. Käyttöliittymät I Kertaus peruskurssilta. Keskeisin kälikurssilla opittu asia?

Käyttöliittymät II. Käyttöliittymät I Kertaus peruskurssilta. Keskeisin kälikurssilla opittu asia? Käyttöliittymät II Sari A. Laakso Käyttöliittymät I Kertaus peruskurssilta Keskeisin kälikurssilla opittu asia? 1 Käyttöliittymät II Kurssin sisältö Käli I Käyttötilanteita Käli II Käyttötilanteet selvitetään

Lisätiedot

Efficiency change over time

Efficiency change over time Efficiency change over time Heikki Tikanmäki Optimointiopin seminaari 14.11.2007 Contents Introduction (11.1) Window analysis (11.2) Example, application, analysis Malmquist index (11.3) Dealing with panel

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

The CCR Model and Production Correspondence

The CCR Model and Production Correspondence The CCR Model and Production Correspondence Tim Schöneberg The 19th of September Agenda Introduction Definitions Production Possiblity Set CCR Model and the Dual Problem Input excesses and output shortfalls

Lisätiedot

FI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan:

FI3 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ätiedot

Information on Finnish Language Courses Spring Semester 2018 Päivi Paukku & Jenni Laine Centre for Language and Communication Studies

Information on Finnish Language Courses Spring Semester 2018 Päivi Paukku & Jenni Laine Centre for Language and Communication Studies Information on Finnish Language Courses Spring Semester 2018 Päivi Paukku & Jenni Laine 4.1.2018 Centre for Language and Communication Studies Puhutko suomea? -Hei! -Hei hei! -Moi! -Moi moi! -Terve! -Terve

Lisätiedot

812336A C++ -kielen perusteet, 21.8.2010

812336A C++ -kielen perusteet, 21.8.2010 812336A C++ -kielen perusteet, 21.8.2010 1. Vastaa lyhyesti seuraaviin kysymyksiin (1p kaikista): a) Mitä tarkoittaa funktion ylikuormittaminen (overloading)? b) Mitä tarkoittaa jäsenfunktion ylimääritys

Lisätiedot

Information on preparing Presentation

Information on preparing Presentation Information on preparing Presentation Seminar on big data management Lecturer: Spring 2017 20.1.2017 1 Agenda Hints and tips on giving a good presentation Watch two videos and discussion 22.1.2017 2 Goals

Lisätiedot

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Heidi Luukkonen. Sahlqvistin kaavat

TAMPEREEN 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

Network to Get Work. Tehtäviä opiskelijoille Assignments for students. www.laurea.fi

Network to Get Work. Tehtäviä opiskelijoille Assignments for students. www.laurea.fi Network to Get Work Tehtäviä opiskelijoille Assignments for students www.laurea.fi Ohje henkilöstölle Instructions for Staff Seuraavassa on esitetty joukko tehtäviä, joista voit valita opiskelijaryhmällesi

Lisätiedot

C++11 seminaari, kevät Johannes Koskinen

C++11 seminaari, kevät Johannes Koskinen C++11 seminaari, kevät 2012 Johannes Koskinen Sisältö Mikä onkaan ongelma? Standardidraftin luku 29: Atomiset tyypit Muistimalli Rinnakkaisuus On multicore systems, when a thread writes a value to memory,

Lisätiedot

Choose Finland-Helsinki Valitse Finland-Helsinki

Choose Finland-Helsinki Valitse Finland-Helsinki Write down the Temporary Application ID. If you do not manage to complete the form you can continue where you stopped with this ID no. Muista Temporary Application ID. Jos et onnistu täyttää lomake loppuun

Lisätiedot

Mahdollisten maailmojen semantiikan synty ja kehitys

Mahdollisten maailmojen semantiikan synty ja kehitys Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 1. luento 20.1.2005 Luento 1 20.1.2005 Motto 1 Voimmeko aina lähestyä aktuaalista maailmaamme

Lisätiedot

Travel Getting Around

Travel Getting Around - Location Olen eksyksissä. Not knowing where you are Voisitko näyttää kartalta missä sen on? Asking for a specific location on a map Mistä täällä on? Asking for a specific...wc?...pankki / rahanvaihtopiste?...hotelli?...huoltoasema?...sairaala?...apteekki?...tavaratalo?...ruokakauppa?...bussipysäkki?

Lisätiedot

Salasanan vaihto uuteen / How to change password

Salasanan vaihto uuteen / How to change password Salasanan vaihto uuteen / How to change password Sisällys Salasanakäytäntö / Password policy... 2 Salasanan vaihto verkkosivulla / Change password on website... 3 Salasanan vaihto matkapuhelimella / Change

Lisätiedot

Opiskelijat valtaan! TOPIC MASTER menetelmä lukion englannin opetuksessa. Tuija Kae, englannin kielen lehtori Sotungin lukio ja etälukio

Opiskelijat valtaan! TOPIC MASTER menetelmä lukion englannin opetuksessa. Tuija Kae, englannin kielen lehtori Sotungin lukio ja etälukio Opiskelijat valtaan! TOPIC MASTER menetelmä lukion englannin opetuksessa Tuija Kae, englannin kielen lehtori Sotungin lukio ja etälukio Päättääkö opettaja ohjelmasta? Vai voisivatko opiskelijat itse suunnitella

Lisätiedot

1.3Lohkorakenne muodostetaan käyttämällä a) puolipistettä b) aaltosulkeita c) BEGIN ja END lausekkeita d) sisennystä

1.3Lohkorakenne muodostetaan käyttämällä a) puolipistettä b) aaltosulkeita c) BEGIN ja END lausekkeita d) sisennystä OULUN YLIOPISTO Tietojenkäsittelytieteiden laitos Johdatus ohjelmointiin 81122P (4 ov.) 30.5.2005 Ohjelmointikieli on Java. Tentissä saa olla materiaali mukana. Tenttitulokset julkaistaan aikaisintaan

Lisätiedot

Other approaches to restrict multipliers

Other approaches to restrict multipliers Other approaches to restrict multipliers Heikki Tikanmäki Optimointiopin seminaari 10.10.2007 Contents Short revision (6.2) Another Assurance Region Model (6.3) Cone-Ratio Method (6.4) An Application of

Lisätiedot

Esimerkkimodaalilogiikkoja

Esimerkkimodaalilogiikkoja / 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ätiedot

Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto

Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto Julian Voss, Quantum man, 2006 (City of Moses Lake, Washington, USA) Kolme näkökulmaa

Lisätiedot

Digitalisoituminen, verkottuminen ja koulutuksen tulevaisuus. Teemu Leinonen teemu.leinonen@taik.fi Medialaboratorio Taideteollinen korkeakoulu

Digitalisoituminen, verkottuminen ja koulutuksen tulevaisuus. Teemu Leinonen teemu.leinonen@taik.fi Medialaboratorio Taideteollinen korkeakoulu Digitalisoituminen, verkottuminen ja koulutuksen tulevaisuus Teemu Leinonen teemu.leinonen@taik.fi Medialaboratorio Taideteollinen korkeakoulu The future is already here - it is just unevenly distributed.

Lisätiedot

Chalmers, semantiikka ja välttämättömyys

Chalmers, semantiikka ja välttämättömyys Ilmestynyt teoksessa: Niiniluoto, Tuomas & Toppinen (toim.) Mahdollisuus, 2016. Chalmers, semantiikka ja välttämättömyys Panu Raatikainen Tampereen yliopisto Kielifilosofiassa on 2000-luvulla saanut paljon

Lisätiedot

Logiikka. Kurt Gödel ( )

Logiikka. Kurt Gödel ( ) Logiikka Tutustumme seuraavaksi propositio- eli lauselogiikkaan, jossa tarkastellaan formaalien lauseiden ominaisuuksia, ennenkaikkea niiden totuusarvoja. Formalisoimalla luonnollisen kielen lauseet propositiologiikan

Lisätiedot

Osallistujaraportit Erasmus+ ammatillinen koulutus

Osallistujaraportit Erasmus+ ammatillinen koulutus Osallistujaraportit 2016 Erasmus+ ammatillinen koulutus Suomesta lähteneiden ja Suomeen tulleiden vertailu V. 2016 osallistujaraporttien osalta saatavilla myös Suomeen tulleet opiskelijat ja henkilöstö

Lisätiedot

LAUSELOGIIKKA (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ätiedot

The Viking Battle - Part Version: Finnish

The Viking Battle - Part Version: Finnish The Viking Battle - Part 1 015 Version: Finnish Tehtävä 1 Olkoon kokonaisluku, ja olkoon A n joukko A n = { n k k Z, 0 k < n}. Selvitä suurin kokonaisluku M n, jota ei voi kirjoittaa yhden tai useamman

Lisätiedot

Infrastruktuurin asemoituminen kansalliseen ja kansainväliseen kenttään Outi Ala-Honkola Tiedeasiantuntija

Infrastruktuurin asemoituminen kansalliseen ja kansainväliseen kenttään Outi Ala-Honkola Tiedeasiantuntija Infrastruktuurin asemoituminen kansalliseen ja kansainväliseen kenttään Outi Ala-Honkola Tiedeasiantuntija 1 Asemoitumisen kuvaus Hakemukset parantuneet viime vuodesta, mutta paneeli toivoi edelleen asemoitumisen

Lisätiedot

Korkeakoulujen tietohallinto ja tutkimus: kumpi ohjaa kumpaa?

Korkeakoulujen tietohallinto ja tutkimus: kumpi ohjaa kumpaa? Korkeakoulujen tietohallinto ja tutkimus: kumpi ohjaa kumpaa? Kerro meille datastasi työpaja 10.4.2013 Antti Auer Tietohallintopäällikkö Jyväskylän yliopisto Strateginen kehittäminen Johtamista, tutkimushallintoa

Lisätiedot

Information on Finnish Language Courses Spring Semester 2017 Jenni Laine

Information on Finnish Language Courses Spring Semester 2017 Jenni Laine Information on Finnish Language Courses Spring Semester 2017 Jenni Laine 4.1.2017 KIELIKESKUS LANGUAGE CENTRE Puhutko suomea? Do you speak Finnish? -Hei! -Moi! -Mitä kuuluu? -Kiitos, hyvää. -Entä sinulle?

Lisätiedot

Ilpo Halonen Luonnehdintoja logiikasta 12 KIRJALLISUUTTA. Loppukurssin ohjelma. Luonnehdintoja logiikasta 1. Johdatus logiikkaan

Ilpo Halonen Luonnehdintoja logiikasta 12 KIRJALLISUUTTA. Loppukurssin ohjelma. Luonnehdintoja logiikasta 1. Johdatus logiikkaan Luonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "Logiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia

Lisätiedot

Voice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto

Voice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto Voice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto If you are searched for a book by Miikka Poikselkä;Harri Holma;Jukka Hongisto Voice over LTE (VoLTE) in pdf form, then you have come

Lisätiedot

Ajettavat luokat: SM: S1 (25 aika-ajon nopeinta)

Ajettavat luokat: SM: S1 (25 aika-ajon nopeinta) SUPERMOTO SM 2013 OULU Lisämääräys ja ohje Oulun Moottorikerho ry ja Oulun Formula K-125ry toivottaa SuperMoto kuljettajat osallistumaan SuperMoto SM 2013 Oulu osakilpailuun. Kilpailu ajetaan karting radalla

Lisätiedot

Lapin Rovaniemen moduuli 2 verkko-opiskelijoiden kysymyksiä tetoimiston virkailijoiden tapaamiseen AC-huoneessa:

Lapin Rovaniemen moduuli 2 verkko-opiskelijoiden kysymyksiä tetoimiston virkailijoiden tapaamiseen AC-huoneessa: Lapin Rovaniemen moduuli 2 verkko-opiskelijoiden kysymyksiä tetoimiston virkailijoiden tapaamiseen AC-huoneessa: Koulutukseen ja Te-toimiston rooliin liittyviä kysymykset: 1. Olen yli 30-vuotias mutta

Lisätiedot

EVALUATION FOR THE ERASMUS+-PROJECT, STUDENTSE

EVALUATION FOR THE ERASMUS+-PROJECT, STUDENTSE #1 Aloitettu: 6. marraskuuta 2015 9:03:38 Muokattu viimeksi: 6. marraskuuta 2015 9:05:26 Käytetty aika: 00:01:47 IP-osoite: 83.245.241.86 K1: Nationality Finnish K2: The program of the week has been very

Lisätiedot

Bounds on non-surjective cellular automata

Bounds on non-surjective cellular automata Bounds on non-surjective cellular automata Jarkko Kari Pascal Vanier Thomas Zeume University of Turku LIF Marseille Universität Hannover 27 august 2009 J. Kari, P. Vanier, T. Zeume (UTU) Bounds on non-surjective

Lisätiedot

Suunnittelumallit (design patterns)

Suunnittelumallit (design patterns) Suunnittelumallit (design patterns) Ohjelmoinnissa Rakennusarkkitehtuurissa Käyttöliittymäsuunnittelussa Sear ch Ohjelmointi Suunnittelumallit Usein toistuvia ohjelmointiongelmia ja niiden ratkaisuja:

Lisätiedot

Matkustaminen Majoittuminen

Matkustaminen Majoittuminen - Majoituspaikan löytäminen Where can I find? Ohjeiden kysyminen majoituspaikan löytämiseksi Where can I find?... a room to rent?... a room to rent?... a hostel?... a hostel?... a hotel?... a hotel?...

Lisätiedot

Group 2 - Dentego PTH Korvake. Peer Testing Report

Group 2 - Dentego PTH Korvake. Peer Testing Report Group 2 - Dentego PTH Korvake Peer Testing Report Revisions Version Date Author Description 1.0 Henrik Klinkmann First version Table of Contents Contents Revisions... 2 Table of Contents... 2 Testing...

Lisätiedot

Matkustaminen Majoittuminen

Matkustaminen Majoittuminen - Majoituspaikan löytäminen Where can I find? Ohjeiden kysyminen majoituspaikan löytämiseksi... a room to rent?... a hostel?... a hotel?... a bed and breakfast?... a camping site? What are the prices like

Lisätiedot

Information on Finnish Courses Autumn Semester 2017 Jenni Laine & Päivi Paukku Centre for Language and Communication Studies

Information on Finnish Courses Autumn Semester 2017 Jenni Laine & Päivi Paukku Centre for Language and Communication Studies Information on Finnish Courses Autumn Semester 2017 Jenni Laine & Päivi Paukku 24.8.2017 Centre for Language and Communication Studies Puhutko suomea? -Hei! -Hei hei! -Moi! -Moi moi! -Terve! -Terve terve!

Lisätiedot

Hankkeiden vaikuttavuus: Työkaluja hankesuunnittelun tueksi

Hankkeiden vaikuttavuus: Työkaluja hankesuunnittelun tueksi Ideasta projektiksi - kumppanuushankkeen suunnittelun lähtökohdat Hankkeiden vaikuttavuus: Työkaluja hankesuunnittelun tueksi Erasmus+ -ohjelman hakuneuvonta ammatillisen koulutuksen kumppanuushanketta

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

Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto

Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto Julian Voss, Quantum man, 2006 (City of Moses Lake, Washington, USA) Kolme näkökulmaa

Lisätiedot

ALOITUSKESKUSTELU / FIRST CONVERSATION

ALOITUSKESKUSTELU / FIRST CONVERSATION ALOITUSKESKUSTELU / FIRST CONVERSATION Lapsen nimi / Name of the child Lapsen ikä / Age of the child yrs months HYVINKÄÄN KAUPUNKI Varhaiskasvatuspalvelut Lapsen päivähoito daycare center / esiopetusyksikkö

Lisätiedot

Alueen asukkaiden käsitykset kampuksesta

Alueen asukkaiden käsitykset kampuksesta Alueen asukkaiden käsitykset kampuksesta Myllypuron alueen asukkaiden keskuudessa kerättävien aineistojen kerääminen ja jäsentely. Mielenkiinnon kohteina myllypurolaisten käsitykset kampuksesta ja sen

Lisätiedot

Uusi Ajatus Löytyy Luonnosta 3 (Finnish Edition)

Uusi Ajatus Löytyy Luonnosta 3 (Finnish Edition) Uusi Ajatus Löytyy Luonnosta 3 (Finnish Edition) Esko Jalkanen Click here if your download doesn"t start automatically Uusi Ajatus Löytyy Luonnosta 3 (Finnish Edition) Esko Jalkanen Uusi Ajatus Löytyy

Lisätiedot

1.3 Lohkorakenne muodostetaan käyttämällä a) puolipistettä b) aaltosulkeita c) BEGIN ja END lausekkeita d) sisennystä

1.3 Lohkorakenne muodostetaan käyttämällä a) puolipistettä b) aaltosulkeita c) BEGIN ja END lausekkeita d) sisennystä OULUN YLIOPISTO Tietojenkäsittelytieteiden laitos Johdatus ohjelmointiin 811122P (5 op.) 12.12.2005 Ohjelmointikieli on Java. Tentissä saa olla materiaali mukana. Tenttitulokset julkaistaan aikaisintaan

Lisätiedot

Kysymys 5 Compared to the workload, the number of credits awarded was (1 credits equals 27 working hours): (4)

Kysymys 5 Compared to the workload, the number of credits awarded was (1 credits equals 27 working hours): (4) Tilasto T1106120-s2012palaute Kyselyn T1106120+T1106120-s2012palaute yhteenveto: vastauksia (4) Kysymys 1 Degree programme: (4) TIK: TIK 1 25% ************** INF: INF 0 0% EST: EST 0 0% TLT: TLT 0 0% BIO:

Lisätiedot

Basic Flute Technique

Basic Flute Technique Herbert Lindholm Basic Flute Technique Peruskuviot huilulle op. 26 Helin & Sons, Helsinki Basic Flute Technique Foreword This book has the same goal as a teacher should have; to make himself unnecessary.

Lisätiedot

Guidebook for Multicultural TUT Users

Guidebook for Multicultural TUT Users 1 Guidebook for Multicultural TUT Users WORKPLACE PIRKANMAA-hankkeen KESKUSTELUTILAISUUS 16.12.2010 Hyvää käytäntöä kehittämässä - vuorovaikutusopas kansainvälisille opiskelijoille TTY Teknis-taloudellinen

Lisätiedot

1. Laitoksen tutkimusstrategia: mitä painotetaan (luettelo, ei yli viisi eri asiaa)

1. Laitoksen tutkimusstrategia: mitä painotetaan (luettelo, ei yli viisi eri asiaa) Tutkimuksen laadunvarmistus laitostasolla: Itsearviointi Tutkimuksen laadunvarmistukseen ja laadun arviointiin liittyvä kysely on tarkoitettu vastattavaksi perusyksiköittäin (laitokset, osastot / laboratoriot,

Lisätiedot

Lataa SETI Revisited - Risto Isomäki. Lataa

Lataa SETI Revisited - Risto Isomäki. Lataa Lataa SETI Revisited - Risto Isomäki Lataa Kirjailija: Risto Isomäki ISBN: 9789522648457 Sivumäärä: 100 Formaatti: PDF Tiedoston koko: 20.51 Mb In his newest book Risto Isomäki argues that instead of only

Lisätiedot

Hankkeen toiminnot työsuunnitelman laatiminen

Hankkeen toiminnot työsuunnitelman laatiminen Hankkeen toiminnot työsuunnitelman laatiminen Hanketyöpaja LLP-ohjelman keskitettyjä hankkeita (Leonardo & Poikittaisohjelma) valmisteleville11.11.2011 Työsuunnitelma Vastaa kysymykseen mitä projektissa

Lisätiedot

BDD (behavior-driven development) suunnittelumenetelmän käyttö open source projektissa, case: SpecFlow/.NET.

BDD (behavior-driven development) suunnittelumenetelmän käyttö open source projektissa, case: SpecFlow/.NET. BDD (behavior-driven development) suunnittelumenetelmän käyttö open source projektissa, case: SpecFlow/.NET. Pekka Ollikainen Open Source Microsoft CodePlex bio Verkkosivustovastaava Suomen Sarjakuvaseura

Lisätiedot

Tarua vai totta: sähkön vähittäismarkkina ei toimi? 11.2.2015 Satu Viljainen Professori, sähkömarkkinat

Tarua vai totta: sähkön vähittäismarkkina ei toimi? 11.2.2015 Satu Viljainen Professori, sähkömarkkinat Tarua vai totta: sähkön vähittäismarkkina ei toimi? 11.2.2015 Satu Viljainen Professori, sähkömarkkinat Esityksen sisältö: 1. EU:n energiapolitiikka on se, joka ei toimi 2. Mihin perustuu väite, etteivät

Lisätiedot

Ilpo Halonen 2005. Luonnehdintoja logiikasta 11. Poikkeavista logiikoista. Poikkeavista logiikoista 2. Poikkeavista logiikoista 3. Johdatus logiikkaan

Ilpo Halonen 2005. Luonnehdintoja logiikasta 11. Poikkeavista logiikoista. Poikkeavista logiikoista 2. Poikkeavista logiikoista 3. Johdatus logiikkaan Luonnehdintoja logiikasta 11 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta Modaalilogiikan renessanssi ja sille sukua olevien loogisten

Lisätiedot

SELL Student Games kansainvälinen opiskelijaurheilutapahtuma

SELL Student Games kansainvälinen opiskelijaurheilutapahtuma SELL Student Games kansainvälinen opiskelijaurheilutapahtuma Painonnosto 13.5.2016 (kansallinen, CUP) Below in English Paikka: Nääshalli Näsijärvenkatu 8 33210 Tampere Alustava aikataulu: Punnitus 12:00-13:00

Lisätiedot

E U R O O P P A L A I N E N

E U R O O P P A L A I N E N E U R O O P P A L A I N E N A N S I O L U E T T E L O M A L L I HENKILÖTIEDOT Nimi SERGEI AZAROV Osoite K. KÄRBERI 4-129, TALLINN 13812, ESTONIA Puhelin 0037255999964 Faksi Sähköposti serjoga79a@mail.ru

Lisätiedot

ETELÄESPLANADI 2 00130 HELSINKI

ETELÄESPLANADI 2 00130 HELSINKI 00130 HELSINKI MODERNIA TOIMISTOTILAA Noin VUOKRATAAN Ainutlaatuinen tilaisuus vuokrata huipputason Helsingin näköalapaikalta Toimi pian! Lisätietoja KALLE JASKARA Myyntijohtaja +358 50 324 0404 kalle.jaskara@tkoy.fi

Lisätiedot

Sisällysluettelo Table of contents

Sisällysluettelo Table of contents Sisällysluettelo Table of contents OTC:n Moodlen käyttöohje suomeksi... 1 Kirjautuminen Moodleen... 2 Ensimmäinen kirjautuminen Moodleen... 2 Salasanan vaihto... 2 Oma käyttäjäprofiili... 3 Työskentely

Lisätiedot

Kauppatieteiden maisteri. Taloustiede. Pääaineinfo Oulun yliopisto

Kauppatieteiden maisteri. Taloustiede. Pääaineinfo Oulun yliopisto Kauppatieteiden maisteri Taloustiede Pääaineinfo 12.4.2019 Sinustako ekonomisti? Ekonomistiksi kouluttaudutaan opiskelemalla taloustiedettä pääaineena esim. Oulun kauppakorkeakoulun Taloustieteen maisteriohjelmassa.

Lisätiedot

Työsuojelurahaston Tutkimus tutuksi - PalveluPulssi 11.3.2016. Peter Michelsson Wallstreet Asset Management Oy

Työsuojelurahaston Tutkimus tutuksi - PalveluPulssi 11.3.2016. Peter Michelsson Wallstreet Asset Management Oy Työsuojelurahaston Tutkimus tutuksi - PalveluPulssi 11.3.2016 Peter Michelsson Wallstreet Asset Management Oy Wallstreet lyhyesti Perustettu vuonna 2006, SiPa toimilupa myönnetty 3/2014 Täysin kotimainen,

Lisätiedot

Elämä on enemmän kuin yksi ilta (Finnish Edition)

Elämä on enemmän kuin yksi ilta (Finnish Edition) Elämä on enemmän kuin yksi ilta (Finnish Edition) Maria Calabria Click here if your download doesn"t start automatically Elämä on enemmän kuin yksi ilta (Finnish Edition) Maria Calabria Elämä on enemmän

Lisätiedot

Käytettävyys ja käyttäjätutkimus. Yhteisöt ja kommunikaatiosuunnittelu 2012 / Tero Köpsi

Käytettävyys ja käyttäjätutkimus. Yhteisöt ja kommunikaatiosuunnittelu 2012 / Tero Köpsi Käytettävyys ja käyttäjätutkimus Yhteisöt ja kommunikaatiosuunnittelu 2012 / Tero Köpsi Teron luennot Ke 15.2 miniluento Ti 28.2 viikkotehtävän anto (T,M) To 1.3 Tero paikalla (tehtävien tekoa) Ti 6.3

Lisätiedot

Ohjelmistoarkkitehtuurit Kevät 2016 Johdantoa

Ohjelmistoarkkitehtuurit Kevät 2016 Johdantoa Ohjelmistoarkkitehtuurit Kevät 2016 Johdantoa Samuel Lahtinen http://www.cs.tut.fi/~ohar/ 8.1.2014 1 1 Johdanto 1.1 Mikä on ohjelmistoarkkitehtuuri? 1.2 Ohjelmistoarkkitehtuuri ja laatuvaatimukset 1.3

Lisätiedot