Iti0210w72

Allikas: Lambda
Redaktsioon seisuga 7. detsember 2021, kell 13:52 kasutajalt PriitJ (arutelu | kaastöö)
(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)
Mine navigeerimisribale Mine otsikasti

7. Nädal

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

Loenguslaidid: PDF

Solver http://logictools.org

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