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:...' |
Resümee puudub |
||
| (ei näidata sama kasutaja üht vahepealset redaktsiooni) | |||
| 6. rida: | 6. rida: | ||
Solver http://logictools.org | Solver http://logictools.org | ||
<!-- | |||
<!--[https://echo360.org.uk/media/ | [https://echo360.org.uk/media/49206df5-f875-4101-8f56-1df223bafb3c/public loengu salvestus] | ||
--> | |||
[[Category:Iti0210]] | [[Category:Iti0210]] | ||
Viimane redaktsioon: 7. detsember 2021, kell 13:52
7. Nädal
Tõestamine lausearvutuses. Resolutsioonimeetod. [AIMA] 7.5; [ARTINT] 5.3.2
Loenguslaidid: PDF
Solver http://logictools.org