Podstawy języków programowania w systemie Coq
Pracownia
W ramach pracowni studenci rozwiązują wskazane zadania z
podręcznika, korzystając w razie potrzeby z pomocy
prowadzącego zajęcia. Rozwiązania tych zadań nie są
oceniane na bieżąco.
|
Prace domowe
W trakcie semestru pojawią się 3 prace domowe obejmujące
zadania dotyczące pewnej porcji zrealizowanego
materiału. Rozwiązania należy przesyłać pocztą e-mail
prowadzącemu zajęcia w nieprzekraczalnym terminie, który
zostanie podany dla każdej z prac domowych. Każda z prac
domowych zostanie ogłoszona z co najmniej tygodniowym
wyprzedzeniem. Prace domowe mogą zawierać niektóre z zadań
realizowanych wcześniej w ramach pracowni.
|
Projekt końcowy
Projekt końcowy został zastąpiony przez dodatkowe zadania do
rozwiązania w ramach drugiej i trzeciej pracy domowej.
|
Ocena końcowa
Ocena pierwszej pracy domowej stanowi 20% oceny końcowej, a
drugiej i trzeciej -- po 40%. Ocena końcowa zostaje wyznaczona
na podstawie następującej tabelki:
|
% punktów
|
0 - 49
|
50 - 58
|
59 - 67
|
68 - 76
|
77 - 85
|
86 - 100
|
|
ocena
|
2
|
3
|
3+
|
4
|
4+
|
5
|
|