|
|
|
|
Kodused ülesanded |
| 1. (6.IX) | Tõeväärtustabelil põhinevad ülesanded lausearvutuses | L 311 | |
| 2. (13.IX) | Valemite teisendamise ülesanded lausearvutuses | L 311 | Lausearvutuse STD-fail (ülesanded) |
| 3. (20.IX) | Predikaaatloogoka valemite tõeväärtuse leidmine | L 311 | RES-failid PYK-failidele kaksel3003, standpred, headomadused, eks60600 |
| 4. (27.IX) | Väidete ja predikaatide väljendamine valemite abil. | aud | |
| 5. (4.X) | Väidete ja predikaatide väljendamine valemite abil. | aud | |
| 6. (11.X) | Väljendamine. Prefikskujud. | aud | |
| 7. (18.X) | Pred.-loogika valemite tõestamine. Kontramudelid. | aud | RES-failid mudeliülesannetele |
| 8. (25.X) | Turingi masinad (arvutused ühendsüsteemis) | L 311 | Ülesanded |
| 9. (1.XI) | Turingi masinad (arvutused ühendsüsteemis) | L 311 | |
| 10. (8.XI) | Turingi masinad (arvutused kahendsüsteemis) | L 311 | |
| 11. (15.XI) | Turingi masinad (arvutused kahendsüsteemis) | L 311 | |
| 12. (22.XI) | Kontrolltöö: Turingi masinad (ülesanded, testid: c1, c2, d1, d2) |
L 311 | |
| 13. (29.XI) | Tuletused lausearvutuses | L 311 | |
| 14. (6.XII) | Tuletused lausearvutuses ja predikaatarvutuses | L 311 | |
| 15. (13.XII) | Tuletused predikaatarvutuses | L 311 | RES-fail ülesannete kogule PREDTASK |
| 16. (20.XII) | Kontrolltöö: Tuletused. Lõpptest | L 311 |