Ifi6057w8: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
|||
| (ei näidata sama kasutaja 2 vahepealset redaktsiooni) | |||
| 8. rida: | 8. rida: | ||
Loenguslaidid: [[Media:logicalagent.pdf|PDF]] | Loenguslaidid: [[Media:logicalagent.pdf|PDF]] | ||
Vaata ka: http://pages.cs.wisc.edu/~dyer/cs540/notes/logic.html | |||
[[IFI6057ex8|Harjutused]] | |||
[[IFI6057ex8-2|Predikaatloogika harjutus]] | |||
Viimane redaktsioon: 28. november 2016, kell 11:17
8. Nädal
Loogika. Lausearvutus. Järeldumine.
Järeldumise näide lausearvutuses (solver http://logictools.org ; järeldumise katsetes kasuta resolution või truth table meetodit, dpll näib olevat bugine).
Loengu materjal õpikutes: AIMA 7.1-7.4, 8.1-8.3; TI 10
Loenguslaidid: PDF
Vaata ka: http://pages.cs.wisc.edu/~dyer/cs540/notes/logic.html