Loogika arvutiteaduses (sügis 2002)

Kood: WAI 3720

Punkte: 3.5

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

Kontrollivorm: eksam

Õppejõud: dots Tarmo Uustalu, arvutiteaduse instituut

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

Tunniplaan:

• loengud: K 11.00-12.30, 12.45-13.30 aud VI-224
• harjutused: E (paaris nädalad) 10.00-11.30 aud AK-137A

• konsultatsioon: T 7.1.2003, 13.00 Küberneetika Maja (Akadeemia tee 21), ruum B216
• eksam: K 8.1.2003, 10.00-13.00 aud VI-227
  • ülesanded: ps.gz, pdf, vastused: ps.gz, pdf
• konsultatsioon: K 22.1.2003, 16.00 Küberneetika Maja (Akadeemia tee 21), ruum B 216
• järeleksam: R 24.1.2003, 10.00-13.00 aud VI-227
  • ülesanded: ps.gz, pdf, vastused: ps.gz, pdf

Loengud, harjutused

Kuupäev	L/H	Teema	Slaidid
K 4.9.	L1	Töökorraldus, sissejuhatus ainesse. Lauseloogika: süntaks, semantika.	ps.gz, pdf
K 4.9.	H1	Lauseloogika	ps.gz, pdf
E 9.9.	L2	Lauseloogika: semantilised tabelid, Hilberti süsteem.	ps.gz, pdf
K 11.9.	L3	Lauseloogika: Hilberti süsteem (jätk), loomulik tuletus.	ps.gz, pdf
K 11.9.	H2	Lauseloogika	ps.gz, pdf
K 18.9.	L4	Lauseloogika: loomulik tuletus (jätk), sekventsiarvutus.	ps.gz, pdf
E 23.9.	H3	Lauseloogika: tõestussüsteemid	ps.gz, pdf
K 25.9.	L5	Predikaatloogika: süntaks, semantika.	ps.gz, pdf
K 2.10.	L6	Predikaatloogika: tõestussüsteemid.	ps.gz, pdf
E 7.10.	H4	Predikaatloogika	ps.gz, pdf
K 9.10.	L7	Predikaatloogika: semantilised tabelid, valemi klauselkuju	ps.gz, pdf
E 21.10.	H5	Predikaatloogika	ps.gz, pdf
K 23.10.	L8	Predikaatloogika: resolutsioonimeetod	ps.gz, pdf
K 30.10.	L9	Predikaatloogika: resolutsioonimeetod (jätk) Modaalloogika: süntaks ja semantika	ps.gz, pdf
E 11.11.	H6	Kordamine, lause- ja predikaatloogika	ps.gz, pdf
K 13.11.	L10	Modaalloogika: semantika (jätk)	ps.gz, pdf
E 18.11.	H7	Kontrolltöö	ps.gz, pdf
K 20.11	L11	Dünaamiline loogika (J Penjam)	ppt
K 27.11	L12	Modaalloogika: semantilised tabelid, Hilberti süsteemid	ps.gz, pdf
E 2.12	H8	Kontrolltöö kommentaarid, modaalloogika	ps.gz, pdf
K 4.12	L13	Modaalloogika: teadmised, toimimine, aeg	ps.gz, pdf
K 11.12	L14	(jäi ära lektori haigestumise tõttu)	--
E 16.12	H9	Modaalloogika	ps.gz, pdf
K 18.12	L15	Modaalloogika: aja- ja dünaamilise loogika vahekord	ps.gz, pdf

Lugemist

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

• 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 suht mitmed eks igas ühes] [2. tr Raamatukoi hind 84.-, viit]
• 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 sobivamad on:

• M R A Huth, M D Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge Univ Press, 2000. [olemas TTÜ rmtk 3 eks, EAR 1 eks] [amazon.co.uk hind 24.95 GBP, viit]
• M Ben-Ari. Mathematical Logic for Computer Science. Prentice Hall, 1993. 2nd ed, Springer-Verlag, 2001. [olemas TTÜ rmtk 1 eks, TTÜ KübI rmtk 1 eks] [amazon.co.uk hind 24.50 GBP, viit]

Viiteid

• Eesti Arvutiteaduse Talvekool '03
• Teooriapäev Roostal
• Formaalmeetodite mitteformaalseminar '02/'03
• Programmikeelte semantika (kevad '03)

---

Tarmo Uustalu
Viimane uuendus 27.1.2003