Mahdollisten maailmojen. semantiikan synty ja kehitys. Mahdollisten maailmojen KIRJALLISUUTTA 2 KIRJALLISUUTTA 1 KIRJALLISUUTTA 3 KIRJALLISUUTTA 4
|
|
- Kari Laaksonen
- 7 vuotta sitten
- Katselukertoja:
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 (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ätiedotMahdollisten 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ätiedotMahdollisten 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ätiedotMahdollisten 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ätiedotMahdollisten 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ätiedotMahdollisten 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ätiedotMahdollisten 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ätiedotMahdollisten 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ätiedotMahdollisten 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ätiedotanna 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ätiedot1. 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ätiedotOn 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ätiedotOn 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ätiedotResults 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ä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ätiedotCapacity 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ätiedot5.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ätiedotMahdollisten 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ätiedotT 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ätiedotOn 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ätiedotVAASAN 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ä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ätiedotEUROOPAN 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ätiedotSuomalaisen 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ätiedotTIETEEN 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ätiedotMEETING 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ätiedotKaivostoiminnan 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ätiedotmake 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ätiedotUusi 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ätiedotAkateemiset 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ätiedot16. 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ätiedotTietä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ätiedotECVETin 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ätiedot1. 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ätiedotMiksi 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ätiedotKä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ätiedotEfficiency 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ä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ätiedotThe 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ä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ätiedotInformation 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ätiedot812336A 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ätiedotInformation 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ä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ätiedotNetwork 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ätiedotC++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ätiedotChoose 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ätiedotMahdollisten 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ätiedotTravel 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ätiedotSalasanan 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ätiedotOpiskelijat 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ätiedot1.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ätiedotOther 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ä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ätiedotLaskennallisen 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ätiedotDigitalisoituminen, 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ätiedotChalmers, 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ätiedotLogiikka. Kurt Gödel ( )
Logiikka Tutustumme seuraavaksi propositio- eli lauselogiikkaan, jossa tarkastellaan formaalien lauseiden ominaisuuksia, ennenkaikkea niiden totuusarvoja. Formalisoimalla luonnollisen kielen lauseet propositiologiikan
LisätiedotOsallistujaraportit 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ä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ätiedotThe 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ätiedotInfrastruktuurin 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ätiedotKorkeakoulujen 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ätiedotInformation 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ätiedotIlpo 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ätiedotVoice 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ätiedotAjettavat 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ätiedotLapin 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ätiedotEVALUATION 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ätiedotBounds 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ätiedotSuunnittelumallit (design patterns)
Suunnittelumallit (design patterns) Ohjelmoinnissa Rakennusarkkitehtuurissa Käyttöliittymäsuunnittelussa Sear ch Ohjelmointi Suunnittelumallit Usein toistuvia ohjelmointiongelmia ja niiden ratkaisuja:
LisätiedotMatkustaminen 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ätiedotGroup 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ätiedotMatkustaminen 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ätiedotInformation 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ätiedotHankkeiden 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ä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ätiedotLaskennallisen 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ätiedotALOITUSKESKUSTELU / 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ätiedotAlueen 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ätiedotUusi 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ätiedot1.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ätiedotKysymys 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ätiedotBasic 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ätiedotGuidebook 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ätiedot1. 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ätiedotLataa 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ätiedotHankkeen 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ätiedotBDD (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ätiedotTarua 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ätiedotIlpo 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ätiedotSELL 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ätiedotE 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ätiedotETELÄ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ätiedotSisä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ätiedotKauppatieteiden 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ätiedotTyö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ätiedotElä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ätiedotKä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ätiedotOhjelmistoarkkitehtuurit 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