Lambda - Kasutaja kaastöö [et]

Veebiteenused ja Interneti-lahenduste arhitektuur

2010-02-01T19:53:58Z

Potter:

Ainekood: IDU0080 
Link: http://www.lambda.ee/index/Veebiteenused_ja_Interneti-lahenduste_arhitektuur ehk http://www.lambda.ee/index/idu0080
 
 
 
Kursuse koduleht ei jõudnudki siia õieti tekkida, vaid kolis esimesel päeval ära [http://cloud.ld.ttu.ee/idu0080/ siia].

[[Category:Kursus]]

Veebiteenused ja Interneti-lahenduste arhitektuur

2010-02-01T19:53:35Z

Potter:

Ainekood: IDU0080 
Link: http://www.lambda.ee/index/Veebiteenused_ja_Interneti-lahenduste_arhitektuur ehk http://www.lambda.ee/index/idu0080

Kursuse koduleht ei jõudnudki siia õieti tekkida, vaid kolis esimesel päeval ära [http://cloud.ld.ttu.ee/idu0080/ siia].

[[Category:Kursus]]

Veebiteenused ja Interneti-lahenduste arhitektuur

2010-02-01T14:17:33Z

Potter:

Ainekood: IDU0080 
Link: http://www.lambda.ee/index/Veebiteenused_ja_Interneti-lahenduste_arhitektuur ehk http://www.lambda.ee/index/idu0080

==Kontaktandmed==
Lektorid: prof. Enn Õunapuu (TTÜ), Priit Potter (Webmedia), Ivo Mägi (Webmedia) 
Praktikatunnid:
* K12: Allar Tammik
* N12: Kristjan Kuhi
* N16: Tarmo Veskioja
* R8 ja R12: Arni-Shoel Leibovitš
Kontakt: idu0080 ''ät'' webmedia ee; enn ''ät'' cc ttu ee 

==Aine eesmärk==
Kuigi aine pealkiri vihjab veebiteenustele, räägime eelkõige hajussüsteemidest üleüldse. Mis on hajussüsteemid, kuidas panna erinevad süsteemi osad omavahel suhtlema, millised on sellise arhitektuuri ohud ja võimalused? 
Aine eesmärk: ''õpetada ja harjutada infosüsteemide arendamisel mõtlemist hajussüsteemide "võtmes"'':
* õpime tundma hajussüsteemide poolt pakutavaid võimalusi
* õpime arvestama ohtude ja piirangutega
* harjutame hajussüsteemide arendamist praktikas
* tutvume olemasolevate võimalustega Eestis ja mujal

==Ainekorraldus, hinde saamine==
Eksamihinde määrab praktiliste tööde ning eksamitöö eest saadud punktide summa: 
6 praktilist ülesannet a '''10''' punkti, kokku '''60''' punkti 
Eksamitöö '''40''' punkti 
Kokku 60+40='''100''' punkti 

Praktiliste ülesannete kaitsmine toimub 3-4 liikmelistes gruppides. 
'''Kaitsmiseks peavad grupid olema registreeritud, selleks pange enda grupp kirja siin: [https://spreadsheets.google.com/viewform?hl=en&formkey=dEdRd3RMa0pUbFBNLTRPVWl4Zm9VTnc6MA grupi registreerimine]''' 
Loengute ja praktikumitundide toimumisajad ja -kohad [https://ois.ttu.ee/portal/page?_pageid=35,435155&_dad=portal&_schema=PORTAL&k=&e=61&q=5&i=2&a=2&b=1&c=-1&d=-1&sc_type=1&sc=IDU0080&sd_type=1&sd=&sb_type=1&sb=&sa_type=1&sa=&se_type=1 ÕIS tunniplaanis].

==Loengute materjalid==
;1. Sissejuhatus (Enn Õunapuu, Priit Potter)
:Loengu sisu:
:* Mis on hajussüsteemid?
:* Aine eesmärk
:* Hindamiskord, tähtajad
:* Loengute ja praktikatundide plaan
:* Järgmise loengu sisu tutvustus
:Loengumaterjal: [[Media:IDU0080_loeng01_sissejuhatus.pdf|IDU0080_loeng01_sissejuhatus.pdf]] (lisandub peatselt)

;2. Arendusvahendid praktikas. (Külalislektor Toomas Römer / Webmedia)

;3. Vahendid ja viisid ärirakenduste integreerimiseks. (Ivo Mägi)
;4. Vahendid ja viisid ärirakenduste integreerimiseks, II osa. (Ivo Mägi)
;5. Andmete säilitamine. (Ivo Mägi)
;6. Andmete terviklikkuse tagamine. (Ivo Mägi)
;7. Business dynamics. BPMs and rule engines. (Enn Õunapuu)
;8. Äriprotsesside modelleerimine ja automatiseerimine. (Enn Õunapuu)
;9. Erindite haldus. (Priit Potter)
;10. Cloud computing. (Enn Õunapuu)
;11. Autentimine ja autoriseerimine. (Priit Potter)
;12. Äriprotsesside läbipaistvus ja jälgitavus. (Priit Potter)
;13. Business process measurement - data mining. (Enn Õunapuu)
;14. Eesti riigi infoteenused. (Priit Potter)
;15. Cloud solutions - Amazon, Google, Azure (Enn Õunapuu)
;16. Aine kokkuvõte, eksamikorralduse tutvustus, kordamine, küsimused-vastused. (Enn Õunapuu, Priit Potter)

==Harjutustundide materjalid==

==Eelmiste aastate materjalid==
2009. aasta praktikaülesanded asusid SVN serveris, mida tänaseks enam ei eksisteeri 
2008. aasta materjalid: http://www.tud.ttu.ee/material/enn/IDU0080/IDU00802008/ 

[[Category:Kursus]]

Veebiteenused ja Interneti-lahenduste arhitektuur

2010-02-01T14:17:14Z

Potter:

Ainekood: IDU0080
Link: http://www.lambda.ee/index/Veebiteenused_ja_Interneti-lahenduste_arhitektuur ehk http://www.lambda.ee/index/idu0080

==Kontaktandmed==
Lektorid: prof. Enn Õunapuu (TTÜ), Priit Potter (Webmedia), Ivo Mägi (Webmedia) 
Praktikatunnid:
* K12: Allar Tammik
* N12: Kristjan Kuhi
* N16: Tarmo Veskioja
* R8 ja R12: Arni-Shoel Leibovitš
Kontakt: idu0080 ''ät'' webmedia ee; enn ''ät'' cc ttu ee 

==Aine eesmärk==
Kuigi aine pealkiri vihjab veebiteenustele, räägime eelkõige hajussüsteemidest üleüldse. Mis on hajussüsteemid, kuidas panna erinevad süsteemi osad omavahel suhtlema, millised on sellise arhitektuuri ohud ja võimalused? 
Aine eesmärk: ''õpetada ja harjutada infosüsteemide arendamisel mõtlemist hajussüsteemide "võtmes"'':
* õpime tundma hajussüsteemide poolt pakutavaid võimalusi
* õpime arvestama ohtude ja piirangutega
* harjutame hajussüsteemide arendamist praktikas
* tutvume olemasolevate võimalustega Eestis ja mujal

==Ainekorraldus, hinde saamine==
Eksamihinde määrab praktiliste tööde ning eksamitöö eest saadud punktide summa: 
6 praktilist ülesannet a '''10''' punkti, kokku '''60''' punkti 
Eksamitöö '''40''' punkti 
Kokku 60+40='''100''' punkti 

Praktiliste ülesannete kaitsmine toimub 3-4 liikmelistes gruppides. 
'''Kaitsmiseks peavad grupid olema registreeritud, selleks pange enda grupp kirja siin: [https://spreadsheets.google.com/viewform?hl=en&formkey=dEdRd3RMa0pUbFBNLTRPVWl4Zm9VTnc6MA grupi registreerimine]''' 
Loengute ja praktikumitundide toimumisajad ja -kohad [https://ois.ttu.ee/portal/page?_pageid=35,435155&_dad=portal&_schema=PORTAL&k=&e=61&q=5&i=2&a=2&b=1&c=-1&d=-1&sc_type=1&sc=IDU0080&sd_type=1&sd=&sb_type=1&sb=&sa_type=1&sa=&se_type=1 ÕIS tunniplaanis].

==Loengute materjalid==
;1. Sissejuhatus (Enn Õunapuu, Priit Potter)
:Loengu sisu:
:* Mis on hajussüsteemid?
:* Aine eesmärk
:* Hindamiskord, tähtajad
:* Loengute ja praktikatundide plaan
:* Järgmise loengu sisu tutvustus
:Loengumaterjal: [[Media:IDU0080_loeng01_sissejuhatus.pdf|IDU0080_loeng01_sissejuhatus.pdf]] (lisandub peatselt)

;2. Arendusvahendid praktikas. (Külalislektor Toomas Römer / Webmedia)

;3. Vahendid ja viisid ärirakenduste integreerimiseks. (Ivo Mägi)
;4. Vahendid ja viisid ärirakenduste integreerimiseks, II osa. (Ivo Mägi)
;5. Andmete säilitamine. (Ivo Mägi)
;6. Andmete terviklikkuse tagamine. (Ivo Mägi)
;7. Business dynamics. BPMs and rule engines. (Enn Õunapuu)
;8. Äriprotsesside modelleerimine ja automatiseerimine. (Enn Õunapuu)
;9. Erindite haldus. (Priit Potter)
;10. Cloud computing. (Enn Õunapuu)
;11. Autentimine ja autoriseerimine. (Priit Potter)
;12. Äriprotsesside läbipaistvus ja jälgitavus. (Priit Potter)
;13. Business process measurement - data mining. (Enn Õunapuu)
;14. Eesti riigi infoteenused. (Priit Potter)
;15. Cloud solutions - Amazon, Google, Azure (Enn Õunapuu)
;16. Aine kokkuvõte, eksamikorralduse tutvustus, kordamine, küsimused-vastused. (Enn Õunapuu, Priit Potter)

==Harjutustundide materjalid==

==Eelmiste aastate materjalid==
2009. aasta praktikaülesanded asusid SVN serveris, mida tänaseks enam ei eksisteeri 
2008. aasta materjalid: http://www.tud.ttu.ee/material/enn/IDU0080/IDU00802008/ 

[[Category:Kursus]]

Veebiteenused ja Interneti-lahenduste arhitektuur

2010-02-01T14:15:43Z

Potter:

Ainekood: IDU0080
Link: http://www.lambda.ee/index/Veebiteenused_ja_Interneti-lahenduste_arhitektuur ehk http://www.lambda.ee/index/idu0080

==Kontaktandmed==
Lektorid: prof. Enn Õunapuu (TTÜ), Priit Potter (Webmedia), Ivo Mägi (Webmedia) 
Praktikatunnid:
* K12: Allar Tammik
* N12: Kristjan Kuhi
* N16: Tarmo Veskioja
* R8 ja R12: Arni-Shoel Leibovitš
Kontakt: idu0080 ''ät'' webmedia ee; enn ''ät'' cc ttu ee 

==Aine eesmärk==
Kuigi aine pealkiri vihjab veebiteenustele, räägime eelkõige hajussüsteemidest üleüldse. Mis on hajussüsteemid, kuidas panna erinevad süsteemi osad omavahel suhtlema, millised on sellise arhitektuuri ohud ja võimalused? 
Aine eesmärk: ''õpetada ja harjutada infosüsteemide arendamisel mõtlemist hajussüsteemide "võtmes"'':
* õpime tundma hajussüsteemide poolt pakutavaid võimalusi
* õpime arvestama ohtude ja piirangutega
* harjutame hajussüsteemide arendamist praktikas
* tutvume olemasolevate võimalustega Eestis ja mujal

==Ainekorraldus, hinde saamine==
Eksamihinde määrab praktiliste tööde ning eksamitöö eest saadud punktide summa: 
6 praktilist ülesannet a '''10''' punkti, kokku '''60''' punkti 
Eksamitöö '''40''' punkti 
Kokku 60+40='''100''' punkti 

Praktiliste ülesannete kaitsmine toimub 3-4 liikmelistes gruppides. 
'''Kaitsmiseks peavad grupid olema registreeritud, selleks pange enda grupp kirja siin: [https://spreadsheets.google.com/viewform?hl=en&formkey=dEdRd3RMa0pUbFBNLTRPVWl4Zm9VTnc6MA grupi registreerimine]''' 
Loengute ja praktikumitundide toimumisajad ja -kohad [https://ois.ttu.ee/portal/page?_pageid=35,435155&_dad=portal&_schema=PORTAL&k=&e=61&q=5&i=2&a=2&b=1&c=-1&d=-1&sc_type=1&sc=IDU0080&sd_type=1&sd=&sb_type=1&sb=&sa_type=1&sa=&se_type=1 ÕIS tunniplaanis].

==Loengute materjalid==
;1. Sissejuhatus (Enn Õunapuu, Priit Potter)
:Loengu sisu:
:* Mis on hajussüsteemid?
:* Aine eesmärk
:* Hindamiskord, tähtajad
:* Loengute ja praktikatundide plaan
:* Järgmise loengu sisu tutvustus
:Loengumaterjal: [[Media:IDU0080_loeng01_sissejuhatus.pdf|IDU0080_loeng01_sissejuhatus.pdf]]

;2. Arendusvahendid praktikas. (Külalislektor Toomas Römer / Webmedia)

;3. Vahendid ja viisid ärirakenduste integreerimiseks. (Ivo Mägi)
;4. Vahendid ja viisid ärirakenduste integreerimiseks, II osa. (Ivo Mägi)
;5. Andmete säilitamine. (Ivo Mägi)
;6. Andmete terviklikkuse tagamine. (Ivo Mägi)
;7. Business dynamics. BPMs and rule engines. (Enn Õunapuu)
;8. Äriprotsesside modelleerimine ja automatiseerimine. (Enn Õunapuu)
;9. Erindite haldus. (Priit Potter)
;10. Cloud computing. (Enn Õunapuu)
;11. Autentimine ja autoriseerimine. (Priit Potter)
;12. Äriprotsesside läbipaistvus ja jälgitavus. (Priit Potter)
;13. Business process measurement - data mining. (Enn Õunapuu)
;14. Eesti riigi infoteenused. (Priit Potter)
;15. Cloud solutions - Amazon, Google, Azure (Enn Õunapuu)
;16. Aine kokkuvõte, eksamikorralduse tutvustus, kordamine, küsimused-vastused. (Enn Õunapuu, Priit Potter)

==Harjutustundide materjalid==

==Eelmiste aastate materjalid==
2009. aasta praktikaülesanded asusid SVN serveris, mida tänaseks enam ei eksisteeri 
2008. aasta materjalid: http://www.tud.ttu.ee/material/enn/IDU0080/IDU00802008/ 

[[Category:Kursus]]

Veebiteenused ja Interneti-lahenduste arhitektuur

2010-02-01T13:54:42Z

Potter:

Ainekood: IDU0080
Link: http://www.lambda.ee/index/Veebiteenused_ja_Interneti-lahenduste_arhitektuur ehk http://www.lambda.ee/index/idu0080

==Kontaktandmed==
Lektorid: prof. Enn Õunapuu (TTÜ), Priit Potter (Webmedia), Ivo Mägi (Webmedia) 
Praktikatunnid:
* K12: Allar Tammik
* N12: Kristjan Kuhi
* N16: Tarmo Veskioja
* R8 ja R12: Arni-Shoel Leibovitš
Kontakt: idu0080 ''ät'' webmedia ee; enn ''ät'' cc ttu ee 

==Aine eesmärk==
Kuigi aine pealkiri vihjab veebiteenustele, räägime eelkõige hajussüsteemidest üleüldse. Mis on hajussüsteemid, kuidas panna erinevad süsteemi osad omavahel suhtlema, millised on sellise arhitektuuri ohud ja võimalused? 
Aine eesmärk: ''õpetada ja harjutada infosüsteemide arendamisel mõtlemist hajussüsteemide "võtmes"'':
* õpime tundma hajussüsteemide poolt pakutavaid võimalusi
* õpime arvestama ohtude ja piirangutega
* harjutame hajussüsteemide arendamist praktikas
* tutvume olemasolevate võimalustega Eestis ja mujal

==Ainekorraldus, hinde saamine==
Eksamihinde määrab praktiliste tööde ning eksamitöö eest saadud punktide summa: 
6 praktilist ülesannet a '''10''' punkti, kokku '''60''' punkti 
Eksamitöö '''40''' punkti 
Kokku 60+40='''100''' punkti 

Praktiliste ülesannete kaitsmine toimub 3-4 liikmelistes gruppides. 
'''Kaitsmiseks peavad grupid olema registreeritud, selleks pange enda grupp kirja siin: [https://spreadsheets.google.com/viewform?hl=en&formkey=dEdRd3RMa0pUbFBNLTRPVWl4Zm9VTnc6MA grupi registreerimine]''' 
Loengute ja praktikumitundide toimumisajad ja -kohad [https://ois.ttu.ee/portal/page?_pageid=35,435155&_dad=portal&_schema=PORTAL&k=&e=61&q=5&i=2&a=2&b=1&c=-1&d=-1&sc_type=1&sc=IDU0080&sd_type=1&sd=&sb_type=1&sb=&sa_type=1&sa=&se_type=1 ÕIS tunniplaanis].

==Loengute materjalid==
;1. Sissejuhatus (Enn Õunapuu, Priit Potter)
:Loengu sisu:
:* Mis on hajussüsteemid?
:* Aine eesmärk
:* Hindamiskord, tähtajad
:* Loengute ja praktikatundide plaan
:* Järgmise loengu sisu tutvustus
:Loengumaterjal: IDU0080_loeng1_sissejuhatus.pdf

;2. Arendusvahendid praktikas. (Külalislektor Toomas Römer / Webmedia)

;3. Vahendid ja viisid ärirakenduste integreerimiseks. (Ivo Mägi)
;4. Vahendid ja viisid ärirakenduste integreerimiseks, II osa. (Ivo Mägi)
;5. Andmete säilitamine. (Ivo Mägi)
;6. Andmete terviklikkuse tagamine. (Ivo Mägi)
;7. Business dynamics. BPMs and rule engines. (Enn Õunapuu)
;8. Äriprotsesside modelleerimine ja automatiseerimine. (Enn Õunapuu)
;9. Erindite haldus. (Priit Potter)
;10. Cloud computing. (Enn Õunapuu)
;11. Autentimine ja autoriseerimine. (Priit Potter)
;12. Äriprotsesside läbipaistvus ja jälgitavus. (Priit Potter)
;13. Business process measurement - data mining. (Enn Õunapuu)
;14. Eesti riigi infoteenused. (Priit Potter)
;15. Cloud solutions - Amazon, Google, Azure (Enn Õunapuu)
;16. Aine kokkuvõte, eksamikorralduse tutvustus, kordamine, küsimused-vastused. (Enn Õunapuu, Priit Potter)

==Harjutustundide materjalid==

==Eelmiste aastate materjalid==
2009. aasta praktikaülesanded asusid SVN serveris, mida tänaseks enam ei eksisteeri 
2008. aasta materjalid: http://www.tud.ttu.ee/material/enn/IDU0080/IDU00802008/ 

[[Category:Kursus]]

Veebiteenused ja Interneti-lahenduste arhitektuur

2010-02-01T13:24:36Z

Potter:

Hajussüsteemid.

Ainekood: IDU0080
Link: http://www.lambda.ee/index/Veebiteenused_ja_Interneti-lahenduste_arhitektuur ehk http://www.lambda.ee/index/idu0080

=Kontaktandmed=
Lektorid: prof. Enn Õunapuu (TTÜ), Priit Potter (Webmedia), Ivo Mägi (Webmedia) 
Praktikatunnid:
* K12: Allar Tammik
* N12: Kristjan Kuhi
* N16: Tarmo Veskioja
* R8 ja R12: Arni-Shoel Leibovitš
Kontakt: idu0080@webmedia.ee, enn@cc.ttu.ee 

=Ainekorraldus=
Eksamihinde määrab praktiliste tööde ning eksamitöö eest saadud punktide summa: 
6 praktilist ülesannet a '''10''' punkti, kokku '''60''' punkti 
Eksamitöö '''40''' punkti 
Kokku 60+40='''100''' punkti 

Praktiliste ülesannete kaitsmine toimub 3-4 liikmelistes gruppides. Kaitsmiseks peavad grupid olema registreeritud, selleks pange enda grupp kirja siin: '''[https://spreadsheets.google.com/viewform?hl=en&formkey=dEdRd3RMa0pUbFBNLTRPVWl4Zm9VTnc6MA grupi registreerimine]'''

=Eelmiste aastate materjalid=
2008. aasta materjalid: http://www.tud.ttu.ee/material/enn/IDU0080/IDU00802008/ 
2009. aasta praktikaülesanded asusid SVN serveris, mida tänaseks enam ei eksisteeri 

[[Category:Kursus]]

Idu0080

2010-02-01T13:08:35Z

Potter:

#REDIRECT [[Veebiteenused ja Interneti-lahenduste arhitektuur]]

Semantika ja analüütiline filosoofia

2010-02-01T12:36:59Z

Potter: /* Loengute esialgne plaan, teemad ja materjalid */

<table>
<tr>
<td>
[[Pilt:sign2.jpg| left|märgid]]
</td>
<td>
Ainekood: ITV0070 
Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0070 
Võid vaadata ka [[ITV0070_2007|2007 arhiivi]]. 
Lektor: [http://tanel.tammet.googlepages.com Tanel Tammet] [http://pirrejaraak.blogspot.com blog] 
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223 

"A sign is anything that can be used to tell a lie."
--Umberto Eco

“I’m writing a book on magic,” I explain, and I’m asked, “Real magic?”
By real magic people mean miracles, thaumaturgical acts, and supernatural powers.
“No,” I answer: “Conjuring tricks, not real magic.” Real magic, in other words,
refers to the magic that is not real, while the magic that is real, that can actually be done,
is not real magic.
--Lee Siegel
</td>
</tr>
</table>

== Maht, aeg, tulemus ==

Punkte: 2.5 
Loenguid nädalas: 1 kord a 2 tundi pluss 1 tund harjutust. Kui pole teisiti märgitud, toimuvad kõik loengud
esmaspäeviti kell 12.00-13.30 ruumis IT-137a. Kohe peale loengut kuni 14.30 toimub samas ruumis seminar: ettekannete aeg!

Kursus lõpeb kirjaliku eksamiga., oluliselt arvestatakse sooritatud praktilisi töid (tehtud/ei).
Praktilised tööd: ettekanded etteantud teemal, iga tudeng kaks ettekannet semestris.



== Loengute esialgne plaan, teemad ja materjalid ==

Kursus jaguneb mitmeks omavahel seotud allteemaks, järjekorras üldisematelt tehnilisematele.
Teemasid läbitakse üldiselt järjest, kuid ekskurssidega eelmistesse/järgmistesse teemadesse.
Seni läbimata teemade materjalid on lehel puudu või lünklikud.

Loengute põhieesmärk on anda ülevaade mõistetest, ideedest jms: kõik selleks,
et paremini viidatud tekste lugeda ja neist aru saada.

Järgmised materjalid on tutvumiseks, nende kõigi süstemaatiline
läbilugemine ei ole kohustuslik.

== Sissejuhatus, semiootika, filosoofia ==

* [http://www.aber.ac.uk/media/Documents/S4B/semiotic.html Semiotics for beginners]. D. Chandler. Võrguraamat. KOHUSTUSLIK LUGEMINE.
* [http://www.cs.ucsd.edu/users/goguen/ps/as.ps.gz An Introduction to Algebraic Semiotics, with Applications to User Interface Design.] J. Goguen. VEIDI LUGEDA.
* [http://www.cs.ucsd.edu/users/goguen/projs/semio.html Algebraic semiotic]. Portaal. J .Goguen.
* [http://carbon.cudenver.edu/~mryder/itc_data/semiotics.html Semiootikaportaal]. OTSIDA ISE NATUKE HUVITAVAT LUGEMIST.
* [http://www.gutenberg.org/dirs/etext04/tloph10.txt Tractatus] ja [http://www.kfs.org/~jonathan/witt/ten.html Tractatus: struktureeritud täistekst]. L. Wittgenstein. VEIDI LUGEDA.
* [http://www.voidspace.org.uk/psychology/wittgenstein/one.shtml Philosophical Investigations koos kommentaaridega]: kndlasti lugeda esimesed 100 aforismi, terve raamatu saab osta poest eestikeelsena.

== Aju, mõistuse ja kultuuri areng ==

Sotsiobioloogia ning evolutsioonipsühholoogia.

Sissejuhatus:

* [[Media:Evolutsioon.PPT | Evolutsioon.PPT]] ja teises formaadis [[Media:Evolutsioon.pdf | Evolutsioon.pdf]]
* http://en.wikipedia.org/wiki/Sociobiology
* http://en.wikipedia.org/wiki/Evolutionary_psychology ja [http://www.psych.ucsb.edu/research/cep/primer.html primer] ja [http://www.psych.ucsb.edu/research/cep/papers/bussconceptual05.pdf conceptual grounds]
* http://en.wikipedia.org/wiki/Memetics

Olulisi artikleid:

* [http://www.bbsonline.org/documents/a/00/00/04/61/bbs00000461-00/bbs.wilkins.html BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS]
* [http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS]
* [http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition]

Lisaks artiklikogumikke ja muud:

* [http://homepage.psy.utexas.edu/homepage/Group/BussLAB/publications.htm Buss lab publications]
* [http://www.geocities.com/changizi/changizi_lab.html Changizi publications: vt allpool peatükk ARTICLES AND BOOKS] ntx [http://www.geocities.com/changizi/dictionary.pdf Economically organized hierarchies in WordNet and the Oxford English Dictionary], [http://www.geocities.com/changizi/citybrain.pdf citybrain], [http://www.geocities.com/changizi/colorface.pdf colorface], [http://www.geocities.com/changizi/xray.pdf xray vision]
* [http://books.google.ee/books?id=qxJsO4KsCQEC&dq=mark+a+changizi%5D&printsec=frontcover&source=bl&ots=fr-itMXDZn&sig=SgAN9f3-ZTSgPdJ46mSQrZ0oTP4&hl=et&ei=aRO7SsezCNHb-Qa737zRCw&sa=X&oi=book_result&ct=result&resnum=3#v=onepage&q=&f=false the brain from 25000 feet]

== Mõtlemine ja tehismõtlemine, lõpmatus ja piiratus. ==

Mõtlemine ja tehismõtlemine.
* [http://en.wikipedia.org/wiki/Functionalism_(philosophy_of_mind) Functionalism]
* [http://en.wikipedia.org/wiki/Chinese_Room chinese room]
* [[symbol grounding]]

Lõpmatus ja lahenduvus: sissejuhatus

[[Media:itsissejuhatus13o.PPT|itsissejuhatus13o.PPT]],

Loomulik keel reaalsetes süsteemides:

* [http://www.inform-fiction.org/I7Downloads/Documents/WhitePaper.pdf Natural Language, semantic analysis and interactive fiction]
* [http://www.inform-fiction.org/I7/Manual.html Inform 7 manuaal]
* [http://groups.google.com/group/rec.arts.int-fiction/msg/ac0577fe70c636bc?&q=inform-7 Inform 7 kasutaja kommentaare]
* [http://eblong.com/zarf/if7/HandyKit/source.html Inform 7 mängunäide]
* [http://www.ainewsletter.com/downloads/if_docs/tutorial.htm Amzi tutorial]

Olulised probleemid:

* [http://www-formal.stanford.edu/jmc/mcchay69.pdf Some Philosophical Problems from the Standpoint of Artificial Intelligence, McCarthy and Hayes.]
* [http://www-formal.stanford.edu/leora/fp.ps The Problem with Solutions to the Frame Problem. L. Morgenstein]
* [http://www.engin.umd.umich.edu/CIS/course.des/cis479/projects/frame/a2.html Frame problem 2]
* [http://ase.tufts.edu/cogstud/pubpage.htm Dennetti artiklid]. Võrgus (osaliselt) vabalt.
* [http://www.dca.fee.unicamp.br/~gudwin/semiotics/semiotics.html Semiootika ja intelligentsed süsteemid]

== Semantika ja loogika. ==

* Klassikalise loogika klassikaline semantika: domeenid, funktsioonid jms.
* Klassikalise loogika semantika blocks worldi näitel
* Mitteklassikaliste loogikate semantika - blocks world ja seosed loomuliku keele ja mõtlemisega.

Materjale klassikalise loogika kohta:

*[http://www.cs.miami.edu/%7Egeoff/Courses/CSC648-F04/Content/index.html Geoffi kursuse materjale]

Materjale mitteklassikaliste loogikate kohta:

* [[Media:erinevad_loogikad_kiirylevaade.ppt|loengus tehtud ülevaade]],
* [http://www.csc.liv.ac.uk/~katie/ Katie Atkinsioni] modaalse loogika materjalid:
** http://www.csc.liv.ac.uk/~katie/304-Lecture7.ppt (sissejuhatus: süntaks)
** http://www.csc.liv.ac.uk/~katie/304-Lecture8.ppt (Kripke semantika: possible worlds)
** http://www.csc.liv.ac.uk/~katie/304-Lecture12.ppt (aksioom K, deduktsioon)
** http://www.csc.liv.ac.uk/~katie/304-Lecture13.ppt (eri sorti modaalsed loogikad)
** http://www.csc.liv.ac.uk/~katie/304-Lecture14.ppt (eri sorti modaalsed loogikad)

== Semantika semantilises veebis ==

* XML ja semantika suhted
* Namespaced, URI-d, URN-d jms
* RDF(S) ja OWL
* ontoloogiad

Hakatuseks baasmaterjale XML-st
:* [[Media:Xmlbaas1.PPT]],[[Media:Xmlbaas2.PPT]],[[Media:Xmlbaas3.PPT]]
:* [http://www.w3.org/TR/2004/REC-xml-20040204/ XML 1.0 standard].
:* [http://www.w3.org/TR/REC-xml-names/ XML namespaces]
:* [http://www.w3schools.com/xml/default.asp XML õpetus (w3schools)]

URI, URN, URL. Loe selles järjekorras:

:*[http://dme.uma.pt/jcardoso/Books/IDEA-SWTTA/Chap01-Sample.pdf mõistlik sissejuhatus sem web teemasse: loe juhul, kui sa ei ole kursis]
:*[http://www.ietf.org/rfc/rfc2396.txt ametlik dokument uride kohta: vaata algust ja viska korraks järgnevale pilk peale]
:*[http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm URL: four uses and identity crisis. Parim artikkel probleemi kohta.]
:*[http://dc2008.de/wp-content/uploads/2008/09/dc2008_id_all_slides.pdf Pikk presentatsioon eri liiki identifikaatori-skeemidest]
:*[http://larry.masinter.net/duri.html idee ja ettepanek kahte liiki uri-nimeruumideks]
:*[http://www.ontopia.net/topicmaps/materials/identitycrisis.html ideid probleemi leevendamiseks, eeskätt topic maps kontekstis]
:*[http://journal.info.unlp.edu.ar/journal/journal23/papers/JCST-Jul08-5.pdf]
:*[http://www.instruct.langara.bc.ca/~bkoehler/term/200530/CPSC/2261/notes/002_http.pdf]

Lisaks:
:* http://www.somebits.com/weblog/tech/bad/whySoapSucks.html
:* http://wanderingbarque.com/nonintersecting/2006/11/15/the-s-stands-for-simple/

Tutorialid:

* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial]






== Õpikud ja materjalid (see on esialgne list!) ==

Kursusel on üks põhiõpik, üks lisaõpik ja
hulk kohustuslikke ja soovitavaid lisamaterjale.

NB! Osa materjale (esmajoones lingid) on viidatud eelmises lõigus vastavate
teemade all, mitte aga allpool.

Põhiõpik ja lisaõpik. Põhiõpiku läbilugemine
kohustuslik, samuti kui lisaõpiku
viidatud peatüki läbilugemine.

* Tähendus, tõde, meetod: tekste analüütilisest filosoofiast. Koostanud ja toimetanud J. Kangilaski ja M.Laasberg.Tartu Ülikooli Kirjastus 1999.
* Peatükk III "mitteklassikaline loogika" raamatust Loogika: mõtlemisest tõestamiseni. T.Tammet, T.Tammet, R.Prank, Tartu Ülikooli Kirjastus 1997.

== Soovitav, sh eriti soovitavad esimesed kaks raamatut ==

* Juhatus semiootikasse. P.Gobley, L.Jansz.Tõlkeraamat, kirjastus "Koge" 2002.
* Mälu. Endel Tulving. Tartu Ülikooli kirjastus 2002.
* Uurimus tähendusest ja tõest. B. Russell. Tõlkinud T. Hallap, Hortus Litterarum 1995.
* Oxfordi filosoofialeksikon. S. Blackburn. Tõlkinud M. Väljataga ja B.Mölder. Vagabund 2002.

== Soovitavad autorid lugemiseks ==

* Dennett
* Putnam
* Wittgenstein
* Borges (kirjanik, mitte filosoof), eesti keeles mitu tõlkeraamatut.



==Eksamitulemused 2009 sügis ==

Eksamitulemused leiab [[semantika filos 2010 eksam | selle lingi alt]].

NB! NB! Järeleksamile pääsemiseks peab ennast ÕIS-s eelnevalt eksamile registreerima. Mine ÕIS-s http://ois.ttu.ee "sooritused" -> "teadmiste kontrollidele registreerimine", otsi selle aine 29.01.2010 eksam ja registreeri ennast sellele. Probleemide korral otsi abi dekanaadist.

R. Metsvahi: ole hea, registreeri ennast järeleksamile, sinna reaalselt minna ei ole vaja, saadud tulemus kehtib, kuid nime ei olnud esialgsel eksamilehel.

Eelnädala järeleksam toimub 29 jaanuaril (reede) kell 11.00 auditooriumis VI-201.

==Eksam 2009 sügis ==



Eksamiks kohustuslikud materjalid on järgmised:

Materjalid õpikust http://www.aber.ac.uk/media/Documents/S4B/semiotic.html

Evolutsioonipsühholoogia sissejuhatus: http://en.wikipedia.org/wiki/Evolutionary_psychology

Memeetika sissejuhatus: http://en.wikipedia.org/wiki/Memetics

Üldpilt artiklist artiklist Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition: http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html

Üldpilt artiklist CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html

Funktsionalism ja temaga seotud põhiküsimused/tuntud mõtteksperimendid: http://en.wikipedia.org/wiki/Functionalism_%28philosophy_of_mind%29

Putnam: is semantics possible? http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false

Quine: Two Dogmas of Empiricism http://www.ditext.com/quine/quine.html

Lõpmatuse ja lahendatavuse põhialused, teoreemid siit: http://www.lambda.ee/images/f/fa/Itsissejuhatus13o.PPT

Esimest järku loogika semantika materjale Geoffi kursusest
[[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]

Intuitsionistliku loogika filosoofilised põhiideed: http://plato.stanford.edu/entries/logic-intuitionistic/

Intuitsionistlik loogika ja Curry-Howardi vastavuse põhiideed selle materjali põhjal: http://en.wikipedia.org/wiki/Curry-Howard_correspondence

Modaalse loogika põhiideed selle materjali põhjal: http://plato.stanford.edu/entries/logic-modal/

XML põhiasjadest arusaamine, sh namespacede teema.

Rdf primer: http://www.w3.org/TR/rdf-primer/

URL-i tähendused: http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm

==Ettekanded 2009 sügis ==

Ettekanded ette valmistada praktikumiks 17 sept kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* [http://mcv.planc.ee/misc/doc/filosoofia/artiklid/Gottlob%20Frege%20-%20T%E4hendusest%20ja%20osutusest.pdf Frege] Silver Juurik. Tehtud.
* [http://oolongiv.files.wordpress.com/2008/08/quine_two_dogmas.pdf Quine] või [http://www.ditext.com/quine/quine.html alternatiiv] või [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false alternatiiv] Rainer Metsvahi. Tehtud.
* [http://internalism.googlegroups.com/web/Putnam%20-%20The%20meaning%20of%20%27meaning%27.pdf?gda=twdJY1oAAABFSTngQf24Sy1RD7yNn1iVgy3Odg0ZctAT1N_Bh2qhdGG1qiJ7UbTIup-M2XPURDQe1sJTwbuelxnpaL6JzH4yeFMfiRQRvg6UTOJgQe0faGtRc9Sp7hcxNJ_gjwZr8bQ Putnam] Martin Verrev. Tehtud.

Ettekanded ette valmistada praktikumiks 1 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Hilary Putnam: reeglitest & privaatkeeltest. Raido Paaslepp. Tehtud.
* Michael Dummett: Tõde. Kenno Parm. Tehtud.
* Tarski. Semantiline tõekontseptsioon ja ... Kairi Kask. Tehtud.

Ettekanded ette valmistada praktikumiks 15 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Dennett teadvusest artiklite [http://ase.tufts.edu/cogstud/papers/explainingmagic.pdf 1] ja [http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf 2] põhjal. Anto Kallas. NB! Viimase artikli ettekanne vaja uuesti teha!
* Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!

Ettekanded ette valmistada loenguks 22 oktoobril kell 12 ruumis IT-140 iga ettekanne 30 minutit.

* Märten Ester. Tõde ja tähendus (Davidson) ja seostada veidi tähendus ja tõde (Strawson)
* Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!
* Aivar Naaber. Tähendus ja tõde (Strawson) ja sesotada veidi Tõde ja tähendus (Davidson).
* Nikolai Tshihhatshov. Nick Boströmi [http://www.simulation-argument.com/simulation.html simulatsioonis-elamise artikkel] ja [http://www.simulism.org/Why_we_are_not_living_in_a_Simulation vastuväited] ja [http://www.simulism.org/Simulism_Home lisamaterjale]

Ettekanded ette valmistada praktikumiks 29 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Dennett teadvusest artikli[http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf 2] põhjal. Anto Kallas.
* Marko Alas. * Dennetti [http://ase.tufts.edu/cogstud/papers/quinqual.htm kvaalide kvainimine]

Ettekanded ette valmistada praktikumiks 12 novembril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.
* Ludmila Karu. Paul Grice. Tähendus. 1957.
* Verrev: imidzhi semantiline mõõtmine

* Järgmine ring LOENGUS 19 november: pragmatism üldfilosoofiana ja semantikas.
** Pragmatism üldfilosoofiana. Anto Kallas.
** Grice. Paaslepp.

* Loengus või praktikumis 26 november:
** Rainer: Hilberti programm ja finitism
** Searle. Silver juurik.
** Soar süsteem. Jevgeni.

* 3 detsember:
** Inform 7 süsteem ja reaalsed näited. Märten. Tehtud.
** http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html Kenno armeedialoogsüsteemid. Tehtud.

* 10 detsember:

** [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false Putnam: is semantics possible?] Rein Remmel. Ei ole tehtud.
** http://en.wikipedia.org/wiki/Machine_translation Nikolai: masintõlke state of art
** Aivar Naaber: nö üldiste (entsüklopeedia-tüüpi) (tekstiliste) dialoogsüsteemide state of art näide (näited) seletuse ja teooriaga jne, mis on leitav.
** Marko Alas: restricted english'i süsteem Attempto http://attempto.ifi.uzh.ch/site/

* Ideid:
** http://en.wikipedia.org/wiki/Machine_translation
** http://www.ling.gu.se/~sl/dialogue_links.html list of dialogue systems
** http://www.cs.cmu.edu/~dbohus/SDS/ list of spoken dialogue systems
** http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html
** http://www.speech.kth.se/ctt/publications/avhandling/avhandling_jg.pdf developing multimodal spoken systems
** http://www.speech.kth.se/adapt/

Semantika ja analüütiline filosoofia

2010-02-01T12:36:38Z

Potter:

<table>
<tr>
<td>
[[Pilt:sign2.jpg| left|märgid]]
</td>
<td>
Ainekood: ITV0070 
Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0070 
Võid vaadata ka [[ITV0070_2007|2007 arhiivi]]. 
Lektor: [http://tanel.tammet.googlepages.com Tanel Tammet] [http://pirrejaraak.blogspot.com blog] 
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223 

"A sign is anything that can be used to tell a lie."
--Umberto Eco

“I’m writing a book on magic,” I explain, and I’m asked, “Real magic?”
By real magic people mean miracles, thaumaturgical acts, and supernatural powers.
“No,” I answer: “Conjuring tricks, not real magic.” Real magic, in other words,
refers to the magic that is not real, while the magic that is real, that can actually be done,
is not real magic.
--Lee Siegel
</td>
</tr>
</table>

== Maht, aeg, tulemus ==

Punkte: 2.5 
Loenguid nädalas: 1 kord a 2 tundi pluss 1 tund harjutust. Kui pole teisiti märgitud, toimuvad kõik loengud
esmaspäeviti kell 12.00-13.30 ruumis IT-137a. Kohe peale loengut kuni 14.30 toimub samas ruumis seminar: ettekannete aeg!

Kursus lõpeb kirjaliku eksamiga., oluliselt arvestatakse sooritatud praktilisi töid (tehtud/ei).
Praktilised tööd: ettekanded etteantud teemal, iga tudeng kaks ettekannet semestris.



== Loengute esialgne plaan, teemad ja materjalid ==

Kursus jaguneb mitmeks omavahel seotud allteemaks, järjekorras üldisematelt tehnilisematele.
Teemasid läbitakse üldiselt järjest, kuid ekskurssidega eelmistesse/järgmistesse teemadesse.
Seni läbimata teemade materjalid on lehel puudu või lünklikud.

Loengute põhieesmärk on anda ülevaade mõistetest, ideedest jms: kõik selleks,
et paremini viidatud tekste lugeda ja neist aru saada
(Punamütsike: vanaema, miks on sul ....? Hunt: selleks, et ...).

Järgmised materjalid on tutvumiseks, nende kõigi süstemaatiline
läbilugemine ei ole kohustuslik.

== Sissejuhatus, semiootika, filosoofia ==

* [http://www.aber.ac.uk/media/Documents/S4B/semiotic.html Semiotics for beginners]. D. Chandler. Võrguraamat. KOHUSTUSLIK LUGEMINE.
* [http://www.cs.ucsd.edu/users/goguen/ps/as.ps.gz An Introduction to Algebraic Semiotics, with Applications to User Interface Design.] J. Goguen. VEIDI LUGEDA.
* [http://www.cs.ucsd.edu/users/goguen/projs/semio.html Algebraic semiotic]. Portaal. J .Goguen.
* [http://carbon.cudenver.edu/~mryder/itc_data/semiotics.html Semiootikaportaal]. OTSIDA ISE NATUKE HUVITAVAT LUGEMIST.
* [http://www.gutenberg.org/dirs/etext04/tloph10.txt Tractatus] ja [http://www.kfs.org/~jonathan/witt/ten.html Tractatus: struktureeritud täistekst]. L. Wittgenstein. VEIDI LUGEDA.
* [http://www.voidspace.org.uk/psychology/wittgenstein/one.shtml Philosophical Investigations koos kommentaaridega]: kndlasti lugeda esimesed 100 aforismi, terve raamatu saab osta poest eestikeelsena.

== Aju, mõistuse ja kultuuri areng ==

Sotsiobioloogia ning evolutsioonipsühholoogia.

Sissejuhatus:

* [[Media:Evolutsioon.PPT | Evolutsioon.PPT]] ja teises formaadis [[Media:Evolutsioon.pdf | Evolutsioon.pdf]]
* http://en.wikipedia.org/wiki/Sociobiology
* http://en.wikipedia.org/wiki/Evolutionary_psychology ja [http://www.psych.ucsb.edu/research/cep/primer.html primer] ja [http://www.psych.ucsb.edu/research/cep/papers/bussconceptual05.pdf conceptual grounds]
* http://en.wikipedia.org/wiki/Memetics

Olulisi artikleid:

* [http://www.bbsonline.org/documents/a/00/00/04/61/bbs00000461-00/bbs.wilkins.html BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS]
* [http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS]
* [http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition]

Lisaks artiklikogumikke ja muud:

* [http://homepage.psy.utexas.edu/homepage/Group/BussLAB/publications.htm Buss lab publications]
* [http://www.geocities.com/changizi/changizi_lab.html Changizi publications: vt allpool peatükk ARTICLES AND BOOKS] ntx [http://www.geocities.com/changizi/dictionary.pdf Economically organized hierarchies in WordNet and the Oxford English Dictionary], [http://www.geocities.com/changizi/citybrain.pdf citybrain], [http://www.geocities.com/changizi/colorface.pdf colorface], [http://www.geocities.com/changizi/xray.pdf xray vision]
* [http://books.google.ee/books?id=qxJsO4KsCQEC&dq=mark+a+changizi%5D&printsec=frontcover&source=bl&ots=fr-itMXDZn&sig=SgAN9f3-ZTSgPdJ46mSQrZ0oTP4&hl=et&ei=aRO7SsezCNHb-Qa737zRCw&sa=X&oi=book_result&ct=result&resnum=3#v=onepage&q=&f=false the brain from 25000 feet]

== Mõtlemine ja tehismõtlemine, lõpmatus ja piiratus. ==

Mõtlemine ja tehismõtlemine.
* [http://en.wikipedia.org/wiki/Functionalism_(philosophy_of_mind) Functionalism]
* [http://en.wikipedia.org/wiki/Chinese_Room chinese room]
* [[symbol grounding]]

Lõpmatus ja lahenduvus: sissejuhatus

[[Media:itsissejuhatus13o.PPT|itsissejuhatus13o.PPT]],

Loomulik keel reaalsetes süsteemides:

* [http://www.inform-fiction.org/I7Downloads/Documents/WhitePaper.pdf Natural Language, semantic analysis and interactive fiction]
* [http://www.inform-fiction.org/I7/Manual.html Inform 7 manuaal]
* [http://groups.google.com/group/rec.arts.int-fiction/msg/ac0577fe70c636bc?&q=inform-7 Inform 7 kasutaja kommentaare]
* [http://eblong.com/zarf/if7/HandyKit/source.html Inform 7 mängunäide]
* [http://www.ainewsletter.com/downloads/if_docs/tutorial.htm Amzi tutorial]

Olulised probleemid:

* [http://www-formal.stanford.edu/jmc/mcchay69.pdf Some Philosophical Problems from the Standpoint of Artificial Intelligence, McCarthy and Hayes.]
* [http://www-formal.stanford.edu/leora/fp.ps The Problem with Solutions to the Frame Problem. L. Morgenstein]
* [http://www.engin.umd.umich.edu/CIS/course.des/cis479/projects/frame/a2.html Frame problem 2]
* [http://ase.tufts.edu/cogstud/pubpage.htm Dennetti artiklid]. Võrgus (osaliselt) vabalt.
* [http://www.dca.fee.unicamp.br/~gudwin/semiotics/semiotics.html Semiootika ja intelligentsed süsteemid]

== Semantika ja loogika. ==

* Klassikalise loogika klassikaline semantika: domeenid, funktsioonid jms.
* Klassikalise loogika semantika blocks worldi näitel
* Mitteklassikaliste loogikate semantika - blocks world ja seosed loomuliku keele ja mõtlemisega.

Materjale klassikalise loogika kohta:

*[http://www.cs.miami.edu/%7Egeoff/Courses/CSC648-F04/Content/index.html Geoffi kursuse materjale]

Materjale mitteklassikaliste loogikate kohta:

* [[Media:erinevad_loogikad_kiirylevaade.ppt|loengus tehtud ülevaade]],
* [http://www.csc.liv.ac.uk/~katie/ Katie Atkinsioni] modaalse loogika materjalid:
** http://www.csc.liv.ac.uk/~katie/304-Lecture7.ppt (sissejuhatus: süntaks)
** http://www.csc.liv.ac.uk/~katie/304-Lecture8.ppt (Kripke semantika: possible worlds)
** http://www.csc.liv.ac.uk/~katie/304-Lecture12.ppt (aksioom K, deduktsioon)
** http://www.csc.liv.ac.uk/~katie/304-Lecture13.ppt (eri sorti modaalsed loogikad)
** http://www.csc.liv.ac.uk/~katie/304-Lecture14.ppt (eri sorti modaalsed loogikad)

== Semantika semantilises veebis ==

* XML ja semantika suhted
* Namespaced, URI-d, URN-d jms
* RDF(S) ja OWL
* ontoloogiad

Hakatuseks baasmaterjale XML-st
:* [[Media:Xmlbaas1.PPT]],[[Media:Xmlbaas2.PPT]],[[Media:Xmlbaas3.PPT]]
:* [http://www.w3.org/TR/2004/REC-xml-20040204/ XML 1.0 standard].
:* [http://www.w3.org/TR/REC-xml-names/ XML namespaces]
:* [http://www.w3schools.com/xml/default.asp XML õpetus (w3schools)]

URI, URN, URL. Loe selles järjekorras:

:*[http://dme.uma.pt/jcardoso/Books/IDEA-SWTTA/Chap01-Sample.pdf mõistlik sissejuhatus sem web teemasse: loe juhul, kui sa ei ole kursis]
:*[http://www.ietf.org/rfc/rfc2396.txt ametlik dokument uride kohta: vaata algust ja viska korraks järgnevale pilk peale]
:*[http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm URL: four uses and identity crisis. Parim artikkel probleemi kohta.]
:*[http://dc2008.de/wp-content/uploads/2008/09/dc2008_id_all_slides.pdf Pikk presentatsioon eri liiki identifikaatori-skeemidest]
:*[http://larry.masinter.net/duri.html idee ja ettepanek kahte liiki uri-nimeruumideks]
:*[http://www.ontopia.net/topicmaps/materials/identitycrisis.html ideid probleemi leevendamiseks, eeskätt topic maps kontekstis]
:*[http://journal.info.unlp.edu.ar/journal/journal23/papers/JCST-Jul08-5.pdf]
:*[http://www.instruct.langara.bc.ca/~bkoehler/term/200530/CPSC/2261/notes/002_http.pdf]

Lisaks:
:* http://www.somebits.com/weblog/tech/bad/whySoapSucks.html
:* http://wanderingbarque.com/nonintersecting/2006/11/15/the-s-stands-for-simple/

Tutorialid:

* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial]






== Õpikud ja materjalid (see on esialgne list!) ==

Kursusel on üks põhiõpik, üks lisaõpik ja
hulk kohustuslikke ja soovitavaid lisamaterjale.

NB! Osa materjale (esmajoones lingid) on viidatud eelmises lõigus vastavate
teemade all, mitte aga allpool.

Põhiõpik ja lisaõpik. Põhiõpiku läbilugemine
kohustuslik, samuti kui lisaõpiku
viidatud peatüki läbilugemine.

* Tähendus, tõde, meetod: tekste analüütilisest filosoofiast. Koostanud ja toimetanud J. Kangilaski ja M.Laasberg.Tartu Ülikooli Kirjastus 1999.
* Peatükk III "mitteklassikaline loogika" raamatust Loogika: mõtlemisest tõestamiseni. T.Tammet, T.Tammet, R.Prank, Tartu Ülikooli Kirjastus 1997.

== Soovitav, sh eriti soovitavad esimesed kaks raamatut ==

* Juhatus semiootikasse. P.Gobley, L.Jansz.Tõlkeraamat, kirjastus "Koge" 2002.
* Mälu. Endel Tulving. Tartu Ülikooli kirjastus 2002.
* Uurimus tähendusest ja tõest. B. Russell. Tõlkinud T. Hallap, Hortus Litterarum 1995.
* Oxfordi filosoofialeksikon. S. Blackburn. Tõlkinud M. Väljataga ja B.Mölder. Vagabund 2002.

== Soovitavad autorid lugemiseks ==

* Dennett
* Putnam
* Wittgenstein
* Borges (kirjanik, mitte filosoof), eesti keeles mitu tõlkeraamatut.



==Eksamitulemused 2009 sügis ==

Eksamitulemused leiab [[semantika filos 2010 eksam | selle lingi alt]].

NB! NB! Järeleksamile pääsemiseks peab ennast ÕIS-s eelnevalt eksamile registreerima. Mine ÕIS-s http://ois.ttu.ee "sooritused" -> "teadmiste kontrollidele registreerimine", otsi selle aine 29.01.2010 eksam ja registreeri ennast sellele. Probleemide korral otsi abi dekanaadist.

R. Metsvahi: ole hea, registreeri ennast järeleksamile, sinna reaalselt minna ei ole vaja, saadud tulemus kehtib, kuid nime ei olnud esialgsel eksamilehel.

Eelnädala järeleksam toimub 29 jaanuaril (reede) kell 11.00 auditooriumis VI-201.

==Eksam 2009 sügis ==



Eksamiks kohustuslikud materjalid on järgmised:

Materjalid õpikust http://www.aber.ac.uk/media/Documents/S4B/semiotic.html

Evolutsioonipsühholoogia sissejuhatus: http://en.wikipedia.org/wiki/Evolutionary_psychology

Memeetika sissejuhatus: http://en.wikipedia.org/wiki/Memetics

Üldpilt artiklist artiklist Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition: http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html

Üldpilt artiklist CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html

Funktsionalism ja temaga seotud põhiküsimused/tuntud mõtteksperimendid: http://en.wikipedia.org/wiki/Functionalism_%28philosophy_of_mind%29

Putnam: is semantics possible? http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false

Quine: Two Dogmas of Empiricism http://www.ditext.com/quine/quine.html

Lõpmatuse ja lahendatavuse põhialused, teoreemid siit: http://www.lambda.ee/images/f/fa/Itsissejuhatus13o.PPT

Esimest järku loogika semantika materjale Geoffi kursusest
[[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]

Intuitsionistliku loogika filosoofilised põhiideed: http://plato.stanford.edu/entries/logic-intuitionistic/

Intuitsionistlik loogika ja Curry-Howardi vastavuse põhiideed selle materjali põhjal: http://en.wikipedia.org/wiki/Curry-Howard_correspondence

Modaalse loogika põhiideed selle materjali põhjal: http://plato.stanford.edu/entries/logic-modal/

XML põhiasjadest arusaamine, sh namespacede teema.

Rdf primer: http://www.w3.org/TR/rdf-primer/

URL-i tähendused: http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm

==Ettekanded 2009 sügis ==

Ettekanded ette valmistada praktikumiks 17 sept kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* [http://mcv.planc.ee/misc/doc/filosoofia/artiklid/Gottlob%20Frege%20-%20T%E4hendusest%20ja%20osutusest.pdf Frege] Silver Juurik. Tehtud.
* [http://oolongiv.files.wordpress.com/2008/08/quine_two_dogmas.pdf Quine] või [http://www.ditext.com/quine/quine.html alternatiiv] või [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false alternatiiv] Rainer Metsvahi. Tehtud.
* [http://internalism.googlegroups.com/web/Putnam%20-%20The%20meaning%20of%20%27meaning%27.pdf?gda=twdJY1oAAABFSTngQf24Sy1RD7yNn1iVgy3Odg0ZctAT1N_Bh2qhdGG1qiJ7UbTIup-M2XPURDQe1sJTwbuelxnpaL6JzH4yeFMfiRQRvg6UTOJgQe0faGtRc9Sp7hcxNJ_gjwZr8bQ Putnam] Martin Verrev. Tehtud.

Ettekanded ette valmistada praktikumiks 1 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Hilary Putnam: reeglitest & privaatkeeltest. Raido Paaslepp. Tehtud.
* Michael Dummett: Tõde. Kenno Parm. Tehtud.
* Tarski. Semantiline tõekontseptsioon ja ... Kairi Kask. Tehtud.

Ettekanded ette valmistada praktikumiks 15 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Dennett teadvusest artiklite [http://ase.tufts.edu/cogstud/papers/explainingmagic.pdf 1] ja [http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf 2] põhjal. Anto Kallas. NB! Viimase artikli ettekanne vaja uuesti teha!
* Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!

Ettekanded ette valmistada loenguks 22 oktoobril kell 12 ruumis IT-140 iga ettekanne 30 minutit.

* Märten Ester. Tõde ja tähendus (Davidson) ja seostada veidi tähendus ja tõde (Strawson)
* Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!
* Aivar Naaber. Tähendus ja tõde (Strawson) ja sesotada veidi Tõde ja tähendus (Davidson).
* Nikolai Tshihhatshov. Nick Boströmi [http://www.simulation-argument.com/simulation.html simulatsioonis-elamise artikkel] ja [http://www.simulism.org/Why_we_are_not_living_in_a_Simulation vastuväited] ja [http://www.simulism.org/Simulism_Home lisamaterjale]

Ettekanded ette valmistada praktikumiks 29 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Dennett teadvusest artikli[http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf 2] põhjal. Anto Kallas.
* Marko Alas. * Dennetti [http://ase.tufts.edu/cogstud/papers/quinqual.htm kvaalide kvainimine]

Ettekanded ette valmistada praktikumiks 12 novembril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.
* Ludmila Karu. Paul Grice. Tähendus. 1957.
* Verrev: imidzhi semantiline mõõtmine

* Järgmine ring LOENGUS 19 november: pragmatism üldfilosoofiana ja semantikas.
** Pragmatism üldfilosoofiana. Anto Kallas.
** Grice. Paaslepp.

* Loengus või praktikumis 26 november:
** Rainer: Hilberti programm ja finitism
** Searle. Silver juurik.
** Soar süsteem. Jevgeni.

* 3 detsember:
** Inform 7 süsteem ja reaalsed näited. Märten. Tehtud.
** http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html Kenno armeedialoogsüsteemid. Tehtud.

* 10 detsember:

** [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false Putnam: is semantics possible?] Rein Remmel. Ei ole tehtud.
** http://en.wikipedia.org/wiki/Machine_translation Nikolai: masintõlke state of art
** Aivar Naaber: nö üldiste (entsüklopeedia-tüüpi) (tekstiliste) dialoogsüsteemide state of art näide (näited) seletuse ja teooriaga jne, mis on leitav.
** Marko Alas: restricted english'i süsteem Attempto http://attempto.ifi.uzh.ch/site/

* Ideid:
** http://en.wikipedia.org/wiki/Machine_translation
** http://www.ling.gu.se/~sl/dialogue_links.html list of dialogue systems
** http://www.cs.cmu.edu/~dbohus/SDS/ list of spoken dialogue systems
** http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html
** http://www.speech.kth.se/ctt/publications/avhandling/avhandling_jg.pdf developing multimodal spoken systems
** http://www.speech.kth.se/adapt/

Semantika ja analüütiline filosoofia

2010-02-01T12:34:18Z

Potter:

<table>
<tr>
<td>
[[Pilt:sign2.jpg| left|märgid]]
</td>
<td>
Ainekood: ITV0070 
Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0070 
Võid vaadata ka [[ITV0070_2007|2007 arhiivi]]. 
Lektor: [http://tanel.tammet.googlepages.com Tanel Tammet] [http://pirrejaraak.blogspot.com blog] 
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223 

"A sign is anything that can be used to tell a lie."
--Umberto Eco

“I’m writing a book on magic,” I explain, and I’m asked, “Real magic?”
By real magic people mean miracles, thaumaturgical acts, and supernatural powers.
“No,” I answer: “Conjuring tricks, not real magic.” Real magic, in other words,
refers to the magic that is not real, while the magic that is real, that can actually be done,
is not real magic.
--Lee Siegel
</td>
</tr>
</table>

== Maht, aeg, tulemus ==

Punkte: 2.5 
Loenguid nädalas: 1 kord a 2 tundi pluss 1 tund harjutust. Kui pole teisiti märgitud, toimuvad kõik loengud
teisipäeviti kell 12.00-13.30 ruumis IT-137a.
Harjutused: paaritutel nädalatel teisipäeviti kell 10.00 ruumis IT-213c(i). Ettekannete aeg!

Kursus lõpeb kirjaliku eksamiga., oluliselt arvestatakse sooritatud praktilisi töid (tehtud/ei).
Praktilised tööd: ettekanded etteantud teemal, iga tudeng kaks ettekannet semestris.



== Loengute esialgne plaan, teemad ja materjalid ==

Kursus jaguneb mitmeks omavahel seotud allteemaks, järjekorras üldisematelt tehnilisematele.
Teemasid läbitakse üldiselt järjest, kuid ekskurssidega eelmistesse/järgmistesse teemadesse.
Seni läbimata teemade materjalid on lehel puudu või lünklikud.

Loengute põhieesmärk on anda ülevaade mõistetest, ideedest jms: kõik selleks,
et paremini viidatud tekste lugeda ja neist aru saada
(Punamütsike: vanaema, miks on sul ....? Hunt: selleks, et ...).

Järgmised materjalid on tutvumiseks, nende kõigi süstemaatiline
läbilugemine ei ole kohustuslik.

== Sissejuhatus, semiootika, filosoofia ==

* [http://www.aber.ac.uk/media/Documents/S4B/semiotic.html Semiotics for beginners]. D. Chandler. Võrguraamat. KOHUSTUSLIK LUGEMINE.
* [http://www.cs.ucsd.edu/users/goguen/ps/as.ps.gz An Introduction to Algebraic Semiotics, with Applications to User Interface Design.] J. Goguen. VEIDI LUGEDA.
* [http://www.cs.ucsd.edu/users/goguen/projs/semio.html Algebraic semiotic]. Portaal. J .Goguen.
* [http://carbon.cudenver.edu/~mryder/itc_data/semiotics.html Semiootikaportaal]. OTSIDA ISE NATUKE HUVITAVAT LUGEMIST.
* [http://www.gutenberg.org/dirs/etext04/tloph10.txt Tractatus] ja [http://www.kfs.org/~jonathan/witt/ten.html Tractatus: struktureeritud täistekst]. L. Wittgenstein. VEIDI LUGEDA.
* [http://www.voidspace.org.uk/psychology/wittgenstein/one.shtml Philosophical Investigations koos kommentaaridega]: kndlasti lugeda esimesed 100 aforismi, terve raamatu saab osta poest eestikeelsena.

== Aju, mõistuse ja kultuuri areng ==

Sotsiobioloogia ning evolutsioonipsühholoogia.

Sissejuhatus:

* [[Media:Evolutsioon.PPT | Evolutsioon.PPT]] ja teises formaadis [[Media:Evolutsioon.pdf | Evolutsioon.pdf]]
* http://en.wikipedia.org/wiki/Sociobiology
* http://en.wikipedia.org/wiki/Evolutionary_psychology ja [http://www.psych.ucsb.edu/research/cep/primer.html primer] ja [http://www.psych.ucsb.edu/research/cep/papers/bussconceptual05.pdf conceptual grounds]
* http://en.wikipedia.org/wiki/Memetics

Olulisi artikleid:

* [http://www.bbsonline.org/documents/a/00/00/04/61/bbs00000461-00/bbs.wilkins.html BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS]
* [http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS]
* [http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition]

Lisaks artiklikogumikke ja muud:

* [http://homepage.psy.utexas.edu/homepage/Group/BussLAB/publications.htm Buss lab publications]
* [http://www.geocities.com/changizi/changizi_lab.html Changizi publications: vt allpool peatükk ARTICLES AND BOOKS] ntx [http://www.geocities.com/changizi/dictionary.pdf Economically organized hierarchies in WordNet and the Oxford English Dictionary], [http://www.geocities.com/changizi/citybrain.pdf citybrain], [http://www.geocities.com/changizi/colorface.pdf colorface], [http://www.geocities.com/changizi/xray.pdf xray vision]
* [http://books.google.ee/books?id=qxJsO4KsCQEC&dq=mark+a+changizi%5D&printsec=frontcover&source=bl&ots=fr-itMXDZn&sig=SgAN9f3-ZTSgPdJ46mSQrZ0oTP4&hl=et&ei=aRO7SsezCNHb-Qa737zRCw&sa=X&oi=book_result&ct=result&resnum=3#v=onepage&q=&f=false the brain from 25000 feet]

== Mõtlemine ja tehismõtlemine, lõpmatus ja piiratus. ==

Mõtlemine ja tehismõtlemine.
* [http://en.wikipedia.org/wiki/Functionalism_(philosophy_of_mind) Functionalism]
* [http://en.wikipedia.org/wiki/Chinese_Room chinese room]
* [[symbol grounding]]

Lõpmatus ja lahenduvus: sissejuhatus

[[Media:itsissejuhatus13o.PPT|itsissejuhatus13o.PPT]],

Loomulik keel reaalsetes süsteemides:

* [http://www.inform-fiction.org/I7Downloads/Documents/WhitePaper.pdf Natural Language, semantic analysis and interactive fiction]
* [http://www.inform-fiction.org/I7/Manual.html Inform 7 manuaal]
* [http://groups.google.com/group/rec.arts.int-fiction/msg/ac0577fe70c636bc?&q=inform-7 Inform 7 kasutaja kommentaare]
* [http://eblong.com/zarf/if7/HandyKit/source.html Inform 7 mängunäide]
* [http://www.ainewsletter.com/downloads/if_docs/tutorial.htm Amzi tutorial]

Olulised probleemid:

* [http://www-formal.stanford.edu/jmc/mcchay69.pdf Some Philosophical Problems from the Standpoint of Artificial Intelligence, McCarthy and Hayes.]
* [http://www-formal.stanford.edu/leora/fp.ps The Problem with Solutions to the Frame Problem. L. Morgenstein]
* [http://www.engin.umd.umich.edu/CIS/course.des/cis479/projects/frame/a2.html Frame problem 2]
* [http://ase.tufts.edu/cogstud/pubpage.htm Dennetti artiklid]. Võrgus (osaliselt) vabalt.
* [http://www.dca.fee.unicamp.br/~gudwin/semiotics/semiotics.html Semiootika ja intelligentsed süsteemid]

== Semantika ja loogika. ==

* Klassikalise loogika klassikaline semantika: domeenid, funktsioonid jms.
* Klassikalise loogika semantika blocks worldi näitel
* Mitteklassikaliste loogikate semantika - blocks world ja seosed loomuliku keele ja mõtlemisega.

Materjale klassikalise loogika kohta:

*[http://www.cs.miami.edu/%7Egeoff/Courses/CSC648-F04/Content/index.html Geoffi kursuse materjale]

Materjale mitteklassikaliste loogikate kohta:

* [[Media:erinevad_loogikad_kiirylevaade.ppt|loengus tehtud ülevaade]],
* [http://www.csc.liv.ac.uk/~katie/ Katie Atkinsioni] modaalse loogika materjalid:
** http://www.csc.liv.ac.uk/~katie/304-Lecture7.ppt (sissejuhatus: süntaks)
** http://www.csc.liv.ac.uk/~katie/304-Lecture8.ppt (Kripke semantika: possible worlds)
** http://www.csc.liv.ac.uk/~katie/304-Lecture12.ppt (aksioom K, deduktsioon)
** http://www.csc.liv.ac.uk/~katie/304-Lecture13.ppt (eri sorti modaalsed loogikad)
** http://www.csc.liv.ac.uk/~katie/304-Lecture14.ppt (eri sorti modaalsed loogikad)

== Semantika semantilises veebis ==

* XML ja semantika suhted
* Namespaced, URI-d, URN-d jms
* RDF(S) ja OWL
* ontoloogiad

Hakatuseks baasmaterjale XML-st
:* [[Media:Xmlbaas1.PPT]],[[Media:Xmlbaas2.PPT]],[[Media:Xmlbaas3.PPT]]
:* [http://www.w3.org/TR/2004/REC-xml-20040204/ XML 1.0 standard].
:* [http://www.w3.org/TR/REC-xml-names/ XML namespaces]
:* [http://www.w3schools.com/xml/default.asp XML õpetus (w3schools)]

URI, URN, URL. Loe selles järjekorras:

:*[http://dme.uma.pt/jcardoso/Books/IDEA-SWTTA/Chap01-Sample.pdf mõistlik sissejuhatus sem web teemasse: loe juhul, kui sa ei ole kursis]
:*[http://www.ietf.org/rfc/rfc2396.txt ametlik dokument uride kohta: vaata algust ja viska korraks järgnevale pilk peale]
:*[http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm URL: four uses and identity crisis. Parim artikkel probleemi kohta.]
:*[http://dc2008.de/wp-content/uploads/2008/09/dc2008_id_all_slides.pdf Pikk presentatsioon eri liiki identifikaatori-skeemidest]
:*[http://larry.masinter.net/duri.html idee ja ettepanek kahte liiki uri-nimeruumideks]
:*[http://www.ontopia.net/topicmaps/materials/identitycrisis.html ideid probleemi leevendamiseks, eeskätt topic maps kontekstis]
:*[http://journal.info.unlp.edu.ar/journal/journal23/papers/JCST-Jul08-5.pdf]
:*[http://www.instruct.langara.bc.ca/~bkoehler/term/200530/CPSC/2261/notes/002_http.pdf]

Lisaks:
:* http://www.somebits.com/weblog/tech/bad/whySoapSucks.html
:* http://wanderingbarque.com/nonintersecting/2006/11/15/the-s-stands-for-simple/

Tutorialid:

* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial]






== Õpikud ja materjalid (see on esialgne list!) ==

Kursusel on üks põhiõpik, üks lisaõpik ja
hulk kohustuslikke ja soovitavaid lisamaterjale.

NB! Osa materjale (esmajoones lingid) on viidatud eelmises lõigus vastavate
teemade all, mitte aga allpool.

Põhiõpik ja lisaõpik. Põhiõpiku läbilugemine
kohustuslik, samuti kui lisaõpiku
viidatud peatüki läbilugemine.

* Tähendus, tõde, meetod: tekste analüütilisest filosoofiast. Koostanud ja toimetanud J. Kangilaski ja M.Laasberg.Tartu Ülikooli Kirjastus 1999.
* Peatükk III "mitteklassikaline loogika" raamatust Loogika: mõtlemisest tõestamiseni. T.Tammet, T.Tammet, R.Prank, Tartu Ülikooli Kirjastus 1997.

== Soovitav, sh eriti soovitavad esimesed kaks raamatut ==

* Juhatus semiootikasse. P.Gobley, L.Jansz.Tõlkeraamat, kirjastus "Koge" 2002.
* Mälu. Endel Tulving. Tartu Ülikooli kirjastus 2002.
* Uurimus tähendusest ja tõest. B. Russell. Tõlkinud T. Hallap, Hortus Litterarum 1995.
* Oxfordi filosoofialeksikon. S. Blackburn. Tõlkinud M. Väljataga ja B.Mölder. Vagabund 2002.

== Soovitavad autorid lugemiseks ==

* Dennett
* Putnam
* Wittgenstein
* Borges (kirjanik, mitte filosoof), eesti keeles mitu tõlkeraamatut.



==Eksamitulemused 2009 sügis ==

Eksamitulemused leiab [[semantika filos 2010 eksam | selle lingi alt]].

NB! NB! Järeleksamile pääsemiseks peab ennast ÕIS-s eelnevalt eksamile registreerima. Mine ÕIS-s http://ois.ttu.ee "sooritused" -> "teadmiste kontrollidele registreerimine", otsi selle aine 29.01.2010 eksam ja registreeri ennast sellele. Probleemide korral otsi abi dekanaadist.

R. Metsvahi: ole hea, registreeri ennast järeleksamile, sinna reaalselt minna ei ole vaja, saadud tulemus kehtib, kuid nime ei olnud esialgsel eksamilehel.

Eelnädala järeleksam toimub 29 jaanuaril (reede) kell 11.00 auditooriumis VI-201.

==Eksam ==



Eksamiks kohustuslikud materjalid on järgmised:

Materjalid õpikust http://www.aber.ac.uk/media/Documents/S4B/semiotic.html

Evolutsioonipsühholoogia sissejuhatus: http://en.wikipedia.org/wiki/Evolutionary_psychology

Memeetika sissejuhatus: http://en.wikipedia.org/wiki/Memetics

Üldpilt artiklist artiklist Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition: http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html

Üldpilt artiklist CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html

Funktsionalism ja temaga seotud põhiküsimused/tuntud mõtteksperimendid: http://en.wikipedia.org/wiki/Functionalism_%28philosophy_of_mind%29

Putnam: is semantics possible? http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false

Quine: Two Dogmas of Empiricism http://www.ditext.com/quine/quine.html

Lõpmatuse ja lahendatavuse põhialused, teoreemid siit: http://www.lambda.ee/images/f/fa/Itsissejuhatus13o.PPT

Esimest järku loogika semantika materjale Geoffi kursusest
[[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]

Intuitsionistliku loogika filosoofilised põhiideed: http://plato.stanford.edu/entries/logic-intuitionistic/

Intuitsionistlik loogika ja Curry-Howardi vastavuse põhiideed selle materjali põhjal: http://en.wikipedia.org/wiki/Curry-Howard_correspondence

Modaalse loogika põhiideed selle materjali põhjal: http://plato.stanford.edu/entries/logic-modal/

XML põhiasjadest arusaamine, sh namespacede teema.

Rdf primer: http://www.w3.org/TR/rdf-primer/

URL-i tähendused: http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm

==Ettekanded ==

Ettekanded ette valmistada praktikumiks 17 sept kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* [http://mcv.planc.ee/misc/doc/filosoofia/artiklid/Gottlob%20Frege%20-%20T%E4hendusest%20ja%20osutusest.pdf Frege] Silver Juurik. Tehtud.
* [http://oolongiv.files.wordpress.com/2008/08/quine_two_dogmas.pdf Quine] või [http://www.ditext.com/quine/quine.html alternatiiv] või [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false alternatiiv] Rainer Metsvahi. Tehtud.
* [http://internalism.googlegroups.com/web/Putnam%20-%20The%20meaning%20of%20%27meaning%27.pdf?gda=twdJY1oAAABFSTngQf24Sy1RD7yNn1iVgy3Odg0ZctAT1N_Bh2qhdGG1qiJ7UbTIup-M2XPURDQe1sJTwbuelxnpaL6JzH4yeFMfiRQRvg6UTOJgQe0faGtRc9Sp7hcxNJ_gjwZr8bQ Putnam] Martin Verrev. Tehtud.

Ettekanded ette valmistada praktikumiks 1 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Hilary Putnam: reeglitest & privaatkeeltest. Raido Paaslepp. Tehtud.
* Michael Dummett: Tõde. Kenno Parm. Tehtud.
* Tarski. Semantiline tõekontseptsioon ja ... Kairi Kask. Tehtud.

Ettekanded ette valmistada praktikumiks 15 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Dennett teadvusest artiklite [http://ase.tufts.edu/cogstud/papers/explainingmagic.pdf 1] ja [http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf 2] põhjal. Anto Kallas. NB! Viimase artikli ettekanne vaja uuesti teha!
* Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!

Ettekanded ette valmistada loenguks 22 oktoobril kell 12 ruumis IT-140 iga ettekanne 30 minutit.

* Märten Ester. Tõde ja tähendus (Davidson) ja seostada veidi tähendus ja tõde (Strawson)
* Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!
* Aivar Naaber. Tähendus ja tõde (Strawson) ja sesotada veidi Tõde ja tähendus (Davidson).
* Nikolai Tshihhatshov. Nick Boströmi [http://www.simulation-argument.com/simulation.html simulatsioonis-elamise artikkel] ja [http://www.simulism.org/Why_we_are_not_living_in_a_Simulation vastuväited] ja [http://www.simulism.org/Simulism_Home lisamaterjale]

Ettekanded ette valmistada praktikumiks 29 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

* Dennett teadvusest artikli[http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf 2] põhjal. Anto Kallas.
* Marko Alas. * Dennetti [http://ase.tufts.edu/cogstud/papers/quinqual.htm kvaalide kvainimine]

Ettekanded ette valmistada praktikumiks 12 novembril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.
* Ludmila Karu. Paul Grice. Tähendus. 1957.
* Verrev: imidzhi semantiline mõõtmine

* Järgmine ring LOENGUS 19 november: pragmatism üldfilosoofiana ja semantikas.
** Pragmatism üldfilosoofiana. Anto Kallas.
** Grice. Paaslepp.

* Loengus või praktikumis 26 november:
** Rainer: Hilberti programm ja finitism
** Searle. Silver juurik.
** Soar süsteem. Jevgeni.

* 3 detsember:
** Inform 7 süsteem ja reaalsed näited. Märten. Tehtud.
** http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html Kenno armeedialoogsüsteemid. Tehtud.

* 10 detsember:

** [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false Putnam: is semantics possible?] Rein Remmel. Ei ole tehtud.
** http://en.wikipedia.org/wiki/Machine_translation Nikolai: masintõlke state of art
** Aivar Naaber: nö üldiste (entsüklopeedia-tüüpi) (tekstiliste) dialoogsüsteemide state of art näide (näited) seletuse ja teooriaga jne, mis on leitav.
** Marko Alas: restricted english'i süsteem Attempto http://attempto.ifi.uzh.ch/site/

* Ideid:
** http://en.wikipedia.org/wiki/Machine_translation
** http://www.ling.gu.se/~sl/dialogue_links.html list of dialogue systems
** http://www.cs.cmu.edu/~dbohus/SDS/ list of spoken dialogue systems
** http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html
** http://www.speech.kth.se/ctt/publications/avhandling/avhandling_jg.pdf developing multimodal spoken systems
** http://www.speech.kth.se/adapt/

Veebiteenused ja Interneti-lahenduste arhitektuur

2010-02-01T12:18:32Z

Potter:

Hajussüsteemid.

Ainekood: IDU0080
Link: http://www.lambda.ee/index/Veebiteenused_ja_Interneti-lahenduste_arhitektuur ehk http://www.lambda.ee/index/idu0080

Lektor: Enn Õunapuu, Priit Potter, Ivo Mägi 
Kontakt: idu0080@webmedia.ee, enn@cc.ttu.ee 
2008. aasta materjalid: http://www.tud.ttu.ee/material/enn/IDU0080/IDU00802008/ 
2009. aasta praktikaülesanded asusid SVN serveris, mida tänaseks enam ei eksisteeri 

[[Category:Kursus]]

Esileht

2010-02-01T12:11:12Z

Potter:

<table>
<tr>
<td style="padding: .5em 0em 0em; " valign="top" width="60%">

[[Pilt:Remington smaller.JPG|left|Remington]] Lambda on kogumik programmeerimise ja arvutiteaduse materjalidest
koos selgituste ja kommentaaridega: kursused, õpikud, käsiraamatud.
Kõik järgnevad materjalid on vabaks kasutamiseks. Materjale kogub kokku,
kommenteerib ja täiendab kõigile huvilistele avatud [[toimetajad|toimetajate
kogukond]].
Esimesel külastusel loe kindlasti [[tutvustus|tutvustust]]!

Sait on organiseeritud esmajoones teemade ja alamteemade kaupa.
Mõni leht või materjal võib olla korraga ka mitme teema all.

<table>
<tr>

<td>

* [[Uudised]] - uut siin saidil ja mujal, lisaks lingid olulisematele uudistesaitidele.
* [[Arvutiteadus]] - erinevate valdkondade teooria.
* [[Tarkvara]] - praktilised juhatused: programmeerimine, opsüsteemid, andmebaasid jms.
* [[Riistvara]] - mitmesugust infot, esialgu vähevõitu.
* [[Võistlused]] - mitmesugused arvutiteadusega seotud võistlused.

<td valign="top">
[[Pilt:Digi small.jpg|digicomp]]
</td>
</tr>
</table>
<table>
<tr>
<td>
[[Pilt:Internet map1 small.jpg|left|Interneti kaart]]
</td>
<td>
<table>
<tr>
<td style="padding: .7em 1em 1em; background-color: #f0f0ff; text-align: left; vertical-align: top;">

<h2>Toimetaja nurk</h2>

* [http://pirrejaraak.blogspot.com/2008/01/id-ja-rfid.html ID ja RFID]
* [http://pirrejaraak.blogspot.com/2008/01/suur-vidusit.html Suur võidusõit]
* [http://pirrejaraak.blogspot.com/2007/10/informaatikanukogu.html Informaatikanõukogu]
* [http://pirrejaraak.blogspot.com/2007/09/vrgupokker-ei-ole-tavapokker.html Võrgupokker]
* [http://pirrejaraak.blogspot.com/2007/09/linuse-raev-c-aadressil.html Linuse raev C++ aadressil]

<h2>Uudised</h2>

* [http://www.slashdot.org Slashdot] - news for nerds. Tehnoloogia.
* [http://www.news.com News.com] - mainstream ja IT-äri.
* [http://www.newsforge.com/ NewsForge] - linux ja open source
* [http://www.theregister.co.uk The Register] - biting the hand ...
* [http://www.dzone.com Developer zone] - blogilinke programmeerimisest
* [http://programming.reddit.com reddit] - programmeerimine
* [http://www.digg.com/news/technology digg] - tehnoloogia

</td>
</tr>
</table>
</td>

</tr>
</table>
</td>
<td style="padding: .7em 1em 1em; background-color: #f0f0ff; text-align: left; vertical-align: top;">

<h2> Kursused </h2>

Lambda wikis sel semestril:
* [[Sissejuhatus infotehnoloogiasse]] ehk [[itv0010]]
* [[Programmeerimise põhikursus]] ehk [[iti0010]]
* [[Võrgurakendused II]] ehk [[itv0040]]
* [[Semantika ja analüütiline filosoofia]] ehk [[itv0070]]
* [[Introduction to Information Technology]] ehk [[itx0025]]
* [[Foundations of Embedded Real-Time Systems]] ehk [[iti8500]]
* [[Secure software design]] ehk MTAT.03.246
* [[cyber security]] master studies
* [[Veebiteenused ja Interneti-lahenduste arhitektuur]] ehk [[idu0080]]

Eelmistel semestritel:
* [[Kasutajaliidesed võrgutehnoloogia baasil]] ehk [[itv0030]]
* [[Andmebaaside administreerimine]] ehk [[itv0090]]
* [[Teadmiste otsing, formaliseerimine ja hoidmine]] ehk [[itv0060]]
* [[Rakendusliku loogika süvakursus]] ehk [[itv0080]]
* [[Programmeerimise algkursus]] ehk [[I200]]
* [[Tehisintellektisüsteemid internetis]] ehk [[itv9170]]
* [[Võrgurakendused I: klient-server süsteemide ehitamine]], [[i202]]
* [[Infosüsteemide ründed ja kaitse]]
* [[Infoturbe/küberturbe korraldamine]] ehk [[ itx8034]]
* [[Kurivara]] ehk [[Kurivara| itx8031]]
* [[Andmeside protokollid]] ehk [[itv8030]]

Mujal:
* [http://cs.ttu.ee/tiki-index.php?page=ITV0020 Süsteemprogrammeerimine keeles C].
* [http://cs.ttu.ee/kursused/itv0050/ Operatsioonisüsteemide ja arvutivõrkude haldamine]
* [http://deepthought.ttu.ee/it/vorgutarkvara/wav3060/ Operatsioonisüsteemide tehnoloogia]
* [http://www.cs.ioc.ee/~tarmo/lcs04/ Loogika arvutiteaduses]
* [http://deepthought.ttu.ee/it/vorgutarkvara/wav4121/ Rakendusliku loogika süvakursus]
* [http://cs.ttu.ee/kursused/iti0050/ TTÜ Algoritmid ja andmestruktuurid]
* [http://cs.ttu.ee/kursused/itv0100/ Programmeerimise erikursus]

</td>
</tr>
</table>