Loogika arvutiteaduses (sügis 2005)

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:

• loengud/harjutused: E 12.00-15.30 aud IT-140, esimene loeng 29.8.2005

• konsultatsioon: E 19.12.2005, 12.00, aud IT-140
• eksam: N 22.12.2005, 9.00-12.00, aud VI-203

• konsultatsioon: T 3.1.2005, 15.00, aud IT-140
• eksam: N 5.1.2005, 9.00-12.00, aud VI-203

Loengud, harjutused

Kuupäev	L/H	Teema	Slaidid
E 29.8.	L/H1	Sissejuhatus kursusesse; lauseloogika süntaks ja semantika	ps.gz, pdf
E 5.9.	L/H2	Lauseloogika normaalkujud, Hilberti süsteem	ps.gz, pdf
E 12.9.	L/H3	Lauseloogika loomulik tuletus ja sekventsiarvutus	ps.gz, pdf
E 19.9.	L/H4	Predikaatloogika süntaks ja semantika	ps.gz, pdf
E 26.9.	L/H5	(jääb ära)
E 3.10.	L/H6	(jääb ära)
E 10.10.	L/H7	Predikaatloogika normaalkujud, Hilberti süsteem	ps.gz, pdf
E 17.10.	L/H8	Predikaatloogika loomulik tuletus	ps.gz, pdf
E 24.10.	L/H9	Predikaatloogika sekventsiarvutus + Kontrolltöö	(vt eelm slaide)
E 31.10.	L/H10	Kontrolltöö analüüs + Aksiomaatilised teooriad	ps.gz, pdf
E 7.11.	L/H11	Modaalloogika	ps.gz, pdf
E 14.11.	L/H12	Modaalloogika (jätk) + Kontrolltöö	ps.gz, pdf
E 21.11.	L/H13	Dünaamiline loogika	ps.gz, pdf
E 28.11.	L/H14	Hoare'i loogika ja programmide korrektsuse tõestamine
E 5.12.	L/H15	Kordamine + Kontrolltöö
E 12.12.	L/H16	Intuitsionistlik loogika

Lugemist

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

• (esmaselt) R Palm, R Prank. Sissejuhatus matemaatilisse loogikasse. TÜ, 2004. [olemas Ü rmtk, RR]
• R Prank. Matemaatiline loogika ja algoritmiteooria. TÜ, 2004. [olemas TTÜ rmtk, RR]
• T Tamme, T Tammet, R Prank. Loogika: Mõtlemisest tõestamiseni. TÜ, 1997. 2. trükk, 2002. [olemas TTÜ rmtk, RR, EAR, TPÜ rmtk, Tln keskrmtk mitmed eks igas ühes] [läbi müüdud]
• P Lorents. Keel ja loogika. EBS, 2000. [olemas TTÜ rmtk, RR, EAR, TPÜ rmtk, Tln keskrmtk mitmed eks igas ühes, sh TTÜ rmtk õpikute osakonnas 10 eks] [Raamatukoi hind 73.-, viit]

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:

• J Gallier. Logic for computer science. Wiley & Sons, 1986. [läbi müüdud, tasuta elektrooniline versioon]

Viiteid

• Eesti Arvutiteaduse Talvekool '06
• Arvutiteaduse teooriapäevad Viinistul
• Arvutiteaduse teooriaseminar '05/'06

---

Tarmo Uustalu
Viimane uuendus 5.12.2005