Ifi6057w8

Allikas: Lambda
Redaktsioon seisuga 28. november 2016, kell 11:17 kasutajalt PriitJ (arutelu | kaastöö) (→8. Nädal)
(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)
Mine navigeerimisribale Mine otsikasti

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

Harjutused

Predikaatloogika harjutus

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Ifi6057w8&oldid=13466"