Loogika arvutiteaduses (sügis 2006)

Kood: ITI 0041

Punkte: 3.5

Nädalatunde: 4, sh loenguid 3, harjutusi 1

Kontrollivorm: eksam

Õppejõud: prof. Tarmo Uustalu, arvutiteaduse instituut

Kontakt: firstname(at)cs.ioc.ee, 620 4250

Tunniplaan (NB! aeg, koht muudetud):

loengud/harjutused: esimene loeng 4.9.2006 E 17.45-20.45, IT-140, kõik järgmised loengud/harjutused al 11.9.2006 ** E 8-11.30, Küberneetika Maja (Akadeemia tee 21), ruum B101 **

Kuupäev	L/H	Teema	Slaidid
E 4.9.	L/H1	Sissejuhatus kursusesse; lauseloogika süntaks ja semantika	pdf
E 11.9.	L/H2	Lauseloogika normaalkujud, Hilberti süsteem	pdf
E 18.9.	L/H3	Lauseloogika loomulik tuletus ja sekventsiarvutus	pdf
E 25.9.	L/H4	Lauseloogika loomulik tuletus ja sekventsiarvutus (järg);	(vt eelm)
E 2.10.	L/H5	Predikaatloogika süntaks ja semantika + kontrolltöö	pdf
E 9.10.	L/H6	Predikaatloogika prenekskuju ja skolemiseerimine, Hilberti süsteem	pdf
E 16.10.	L/H7	Predikaatloogika loomulik tuletus ja sekventsiarvutus	pdf
E 23.10.	L/H8	Aksiomaatilised teooriad	pdf
E 30.10.	L/H9	Modaalloogikate süntaks ja semantika	pdf
E 6.11.	L/H10	Modaalloogika süntaks ja semantika (jätk)	pdf
E 13.11.	L/H11	Dünaamiline loogika + kontrolltöö	pdf
E 20.11.	L/H12	JÄÄB ÄRA
E 27.11.	L/H13	Kirjeldusloogikad (description logics)	pdf
E 4.12.	L/H14	Teadmiste ja tõekspidamiste loogikad
E 11.12.	L/H15	JÄÄB ÄRA
E 18.12.	L/H16	Kordamine

Eestikeelne kirjandus: Täpselt sobivat ei ole, aga abiks on:

(esmaselt) R Palm, R Prank. Sissejuhatus matemaatilisse loogikasse. TÜ, 2004. [olemas TTÜ rmtk (12 eks), RR, TLÜ AR]
R Prank. Matemaatiline loogika ja algoritmiteooria. TÜ, 2004. [olemas TTÜ rmtk (12 eks), RR, TLÜ AR]
T Tamme, T Tammet, R Prank. Loogika: Mõtlemisest tõestamiseni., 2. trükk. TÜ, 2002. [olemas TTÜ rmtk, RR, TLÜ AR, Tln keskrmtk] [läbi müüdud]
P Lorents. Keel ja loogika. EBS, 2000. [olemas TTÜ rmtk (10 eks), RR, TLÜ AR, Tln keskrmtk] [Raamatukoi]

Võõrkeelne kirjandus: Kõige sobivam on:

S Reeves, M Clarke. Logic for computer science. Addison Wesley, 1990 . [läbi müüdud, tasuta elektrooniline versioon]

Aga abiks on ka nt:

M R A Huth, M D Ryan. Logic in Computer Science: Modelling and Reasoning about Systems, 2nd ed. Cambridge Univ Press, 2004. [autorite lk] [olemas TTÜ rmtk 3 eks, TLÜ AR 1 eks] [amazon.co.uk]
M Ben-Ari. Mathematical Logic for Computer Science, 2nd ed. Springer-Verlag, 2001. [autori lk] [olemas TTÜ rmtk 1 eks, TTÜ KübI rmtk 1 eks] [amazon.co.uk]
R Bornat. Formal Proof and Disproof. Oxford Univ Press, 2005. [amazon.co.uk]

Matemaatilisemad:

J Gallier. Logic for computer science. Wiley & Sons, 1986. [läbi müüdud, tasuta elektrooniline uustrükk, 2003]
A. Nerode, R. A. Shore. Logic for Applications, 2nd ed. Springer-Verlag, 1997.[amazon.co.uk]
D van Dalen. Logic and Structure, 4th ed. Springer-Verlag, 2004. [amazon.co.uk]
J-Y Girard, Y Lafont, P Taylor. Proofs and types. Cambridge Univ Press, 1989. [läbi müüdud, tasuta elektrooniline versioon]

Tarmo Uustalu
Viimane uuendus 17.12.2006