Ifi6057w8

Allikas: Lambda
Redaktsioon seisuga 16. november 2016, kell 12:17 kasutajalt PriitJ (arutelu | kaastöö)
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

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