Kontrolltöö predikaatloogika peatüki kohta toimub 15.oktoobril loengu ajal.
    Ülesanded: 1) predikaatide ja väidete väljendamine valemite abil,
                      2) valemite viimine prefikskujule, kasutades põhisamaväärsusi,
                      3) antud tingimusi rahuldava mudeli konstrueerimine.

Kontrolltöö tulemuste tabel
Ülesanded doc-failina
Seni on parandatud ülesanded 1 ja 3.

Kommentaarid

1.   Kommentaare. Lisaks: mõnedest vastustest paistis, et ei teata, mis on algarv, SÜT, VÜK,...

2.

3. Enamus vigaseid lahendusi ja valesid vastuseid tulenes sellest, et mõistetakse valesti kvantorite definitsioone.
    Kui valem kujul (Ax)P(x) on väär, siis arvatakse, et P(x) peab olema väär igal x väärtusel. Samuti kiputakse valemit (Ex)P(x) lugema vääraks, kui leidub selline x, mille korral P(x) on väär. Tihti jõuti siis järeldusele, et ülesandes esitatud tingimused on vastuolulised. Kontrolltöö üheski variandis polnud üheski ülesandes tingimused vastuolulised.
    Esines ka selliseid lahendusi, kus valemis olev ühe muutuja predikaat defineeriti kahest argumendist sõltuvana.
    Mitmel osavõtjal polnud selge, mis on valem, predikaat, interpretatsiooni kandja, kandja element.
    Kõik kontrolltöös olnud mudeliülesanded on ülesannete kogus kontr151001.pyk,  mida saab lahendada arvutil.
 

Kontrolltöö teine katse toimub reedel 26. oktoobril kell 16
Teisele katsele pääsemiseks tuleb (ka puudunutel)
hiljemalt neljapäeva 25.oktoobril kell 12-ks (SML praktikumiks)
saata minule e-postiga vastav teade ja esitada:
1) kahe ülejäänud variandi (mida ise ei lahendanud) 1. ja 2. ülesande lahendused paberil.
    Sealjuures peab 1. ülesandes iga valem olema kommenteeritud (valemi iga osa tähendus sõnalises esituses) ja
    2. ülesandes iga teisendus eraldi real, kusjuures kahe valemirea vahel on selgitus, mida sellel sammul tehti
    (koos viitega,  milliseid samaväärsusi kasutati).
2) kõigi variantide 3. ülesande lahendused RES-failina (saata e-postiga koos osavõtusooviga).

Samuti peavad selleks ajaks olema praktikumirühma juhendajale esitatud kõik nõutud lahendused.

Kontrolltöö teisel katsel on ülesandeid ajaühiku kohta rohkem kui esimesel.
Väljendamisülesanded võivad olla uutest valdkondadest (hulgad jms.).

Tulemused