Iti0210w72: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
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:...' |
|||
| 7. rida: | 7. rida: | ||
Solver http://logictools.org | Solver http://logictools.org | ||
[https://echo360.org.uk/media/49206df5-f875-4101-8f56-1df223bafb3c/public loengu salvestus] | |||
[[Category:Iti0210]] | [[Category:Iti0210]] | ||
Redaktsioon: 10. märts 2021, kell 21:32
7. Nädal
Tõestamine lausearvutuses. Resolutsioonimeetod. [AIMA] 7.5; [ARTINT] 5.3.2
Loenguslaidid: PDF
Solver http://logictools.org