Predikaatloogika
kontrolltöö järeltöö
Järeltöö toimub reedel 5. novembril kell 14.15-16
auditooriumis 405.
Järeltööle saamiseks tuleb hiljemalt teispäeval 2.
novembril saata R.Prangile kiri, milles teatatakse oma osavõtust
ja sellest, et on täidetud järgmisel tingimused:
1. Enne esimest kontrolltööd nõutud failid on esitatud
WebCT kaudu.
2. 7. praktikumi lahendus on esitatud WebCT kaudu.
3. Harjutuskontrolltöö 1. ja 3. ülesanne on esitatud
paberil (esitada saab teisipäevasel loengul).
4. Kontrolltöö variantide A ja B ning
harjutuskontrolltöö ülesanne 2 on esitatud WebCT kaudu.