|
|
|
|
Kodused ülesanded |
| 2. (13.IX) | Predikaatloogika valemite tõeväärtuse leidmine | Van. 106. | 4 RES-faili |
| 3. (20.IX) | Väidete ja predikaatide väljendamine valemite abil | Van. 137 | |
| 4. (27.IX) | Väidete ja predikaatide väljendamine valemite abil | Van. 137 | |
| 5. (4.X) | Väidete ja predikaatide väljendamine valemite abil. Prefikskujule viimine | Van. 137 | |
| 6. (11.X) | Antud omadustega mudeli konstrueerimine | Van. 106. | 5 RES-faili |
| 7. (18.X) | Turingi masinad (arvutused ühendsüsteemis). Ülesanded | Van. 106. | |
| 8. (25.X) | Turingi masinad (arvutused ühendsüsteemis) | Van. 106. | |
| 9. (1.XI) | Turingi masinad (arvutused kahendsüsteemis) | Van. 106. | |
| 10. (8.XI) | Turingi masinad (arvutused kahendsüsteemis) | Van. 106. | x+y või x-y 2-ndsüsteemis |
| 11. (15.XI) | Kontrolltöö: Turingi masinad. Tulemused
Ülesanded
B1 lahendus B2 lahendus A1 testifail. A2 testifail B1 testifail B2 testifail |
Van. 106. | |
| 12. (22.XI) | Tuletused lausearvutuses | Van. 106. | |
| 13. (29.XI) | Tuletused lausearvutuses | Van. 106. | |
| 14. (6.XII) | Tuletused predikaatarvutuses | Van. 106. | |
| 15. (13.XII) | Tuletused predikaatarvutuses | Van. 106. | |
| 16. (20.XII) | Kontrolltöö: tuletused. Ülesanded: smla.tsk smlb.tsk Lahenduste ideid (vaadata Linkpr abil): smla5.lah smla6.lah | Van. 106. |