Iti0210w72

Allikas: Lambda
Redaktsioon seisuga 10. märts 2021, kell 21:32 kasutajalt PriitJ (arutelu | kaastöö) (→7. Nädal)
Mine navigeerimisribale Mine otsikasti

7. Nädal

Tõestamine lausearvutuses. Resolutsioonimeetod. [AIMA] 7.5; [ARTINT] 5.3.2

Loenguslaidid: PDF

Solver http://logictools.org

loengu salvestus

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