Ifi6057w8

Allikas: Lambda
Redaktsioon seisuga 12. november 2016, kell 18:37 kasutajalt PriitJ (arutelu | kaastöö) (→8. Nädal)
Mine navigeerimisribale Mine otsikasti

8. Nädal

Loogika. Lausearvutus. Järeldumine.

Järeldumise näide lausearvutuses (solver http://logictools.org).

Loengu materjal õpikutes: AIMA 7.1-7.4, 8.1-8.3; TI 10

Loenguslaidid: PDF