Semantyka i weryfikacja programów 1000-215bSWP
Wykład (WYK) Semestr zimowy 2020/21

Zaliczenie ćwiczeń na podstawie prac domowych: z trzech prac, ocenianych na skali [0-10] dla zaliczenia niezbędne jest uzyskanie 18 pkt.

Zaliczenie ćwiczeń jest warunkiem dopuszczenia do egzaminu w I terminie. Do egzaminu w II terminie dopuszczeni są wszyscy uprawnieni do zaliczania przedmiotu.

Egzamin ma formę pisemną, składa się z 3 zadań, punktowanych na skali [0-10]. Do zaliczenia na ocenę dostateczną wystarczy 15 pkt, ale próg ten może być obniżany w zależności od trudności zadań.

Ocena końcowa jest obliczana zgodnie z jedną z dwóch formuł, zależnie od tego, która jest korzystniejsza dla danego studenta:

- 80% egzamin, 20% prace domowe, lub

- 100% egzamin.

W roku akademickim 2020/21, z uwagi na realia pracy zdalnej, maksymalną oceną możliwą do uzyskania z egzaminu pisemnego jest 4.5. Osoby, które uzyskały odpowiednio wysoki wynik, mogą uzyskać ocenę 5 na podstawie dodatkowego egzaminu ustnego. Egzamin ten ma formę pogłębionej dyskusji na temat zadań z egzaminu pisemnego.