Rakendusloogika süvakursus (kevad 2004)

Kood: WAV 4121

Punkte: 2.5

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

Kontrollivorm: eksam

Õppejõud: dots Tarmo Uustalu, arvutiteaduse instituut

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

Tunniplaan:

• loengud/harjutused: N 9.00-11.30 aud AK-137A
• konsultatsioon: T 25.5.2004 kl 14-15.30 aud AK-140
• eksam: N 27.5.2004 kl 9-12 aud VI-112
• ülesanded: ps.gz, pdf, lahendused: ps.gz, pdf
• tulemused
• konsultatsioon: N 3.6.2004 kl 9-10.30 aud V-208
• eksam: E 7.6.2004 kl 9-12 aud VI-112
• ülesanded: ps.gz, pdf
• tulemused

Loengud, harjutused

Kuupäev	L/H	Teema	Slaidid
N 5.2.	L/H1	Töökorraldus, sissejuhatus ainesse - Lauseloogika meeldetuletus	ps.gz, pdf
N 12.2.	L/H2	Predikaatloogika meeldetuletus	ps.gz, pdf
N 19.2.	L/H3	Lauseloogika: sekventsiarvutus	ps.gz, pdf
N 26.2.	L/H4	Lauseloogika: resolutsioon, Davis-Putnami meetod	ps.gz, pdf
N 4.3.	L/H5	(ei toimu)
N 11.3.	L/H6	Binaarsed otsustusdiagrammid	ps.gz, pdf
N 18.3.	L/H7	Eriteemasid lauseloogika kohta, probleemide spetsifitseerimine lauseloogikas
N 25.3.	L/H8	Predikaatloogika: sekventsiarvutus	ps.gz, pdf
N 1.4.	L/H9	Predikaatloogika: termide unifitseerimine	ps.gz, pdf
N 8.4.	L/H10	Predikaatloogika: resolutsioon, kustutusstrateegiad	ps.gz, pdf
N 15.4.	L/H11	(ei toimu)
N 22.4.	L/H12	Predikaatloogika: semantiline resolutsioon, lineaarresolutsioon	ps.gz, pdf
N 29.4.	L/H13	Võrdusega predikaatloogika, paramodulatsioon	ps.gz, pdf
N 6.5.	L/H14	Kirjeldusloogikad	ps.gz, pdf
N 13.5.	L/H15	Kirjeldusloogikad (jätk)	ps.gz, pdf
N 20.5.	L/H16	Kordamisküsimused	ps.gz, pdf

Lugemist

Eestikeelne kirjandus: Mitte midagi 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 100.-, 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:

• J Gallier. Logic for computer science: foundations of automatic theorem proving. Wiley, 1986. [out-of-print, online version]
• ...

Viiteid

• Eesti Arvutiteaduse Talvekool '04
• Arvutiteaduse teooriaseminar (sügis '03 / kevad '04)
• Funktsionaalprogrammeerimine (kevad'04)
• 5th Int. Summer School on Advanced Functional Programming

---

Tarmo Uustalu
Viimane uuendus 8.6.2004