Iti0210w72

Allikas: Lambda
Redaktsioon seisuga 8. märts 2021, kell 20:08 kasutajalt PriitJ (arutelu | kaastöö) (Uus lehekülg: '= 7. Nädal = Tõestamine lausearvutuses. Resolutsioonimeetod. [''AIMA''] 7.5; [''ARTINT''] [https://artint.info/2e/html/ArtInt2e.Ch5.S3.SS2.html 5.3.2] Loenguslaidid: Media:...')
(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=18603"