Iti0210w72: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
|||
| 6. rida: | 6. rida: | ||
Solver http://logictools.org | Solver http://logictools.org | ||
<!-- | |||
[https://echo360.org.uk/media/49206df5-f875-4101-8f56-1df223bafb3c/public loengu salvestus] | [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