Kood: WAV 4121
Punkte: 2.5
Nädalatunde: 3, sh loenguid 2, harjutusi 1
Kontrollivorm: eksam
Õppejõud: dots Tarmo Uustalu, arvutiteaduse instituut
Kontakt: firstname(at)cs.ioc.ee, 620 4250
Tunniplaan:
| 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 |
Eestikeelne kirjandus: Mitte midagi täpselt sobivat ei ole, aga abiks on:
Võõrkeelne kirjandus: Kõige sobivamad on: