View on GitHub

Principles of Static Program Analysis

Educational and Research Materials

Grading System

Final Grade

The final grade \(G\) is composed of the grades for 2 modules \(M_i\) and exam \(E\):

\[G = 0.3 \cdot (M_1 + M_2) + 0.4 \cdot E\]

If the final grade \(G\) is unsatisfactory, then the exam must be retaken. In situations, when it does not help because of low module grades \(M_i\), the decision about the final grade is made by the commission of faculty members, who will hold the final exam.

Module Grade

The module grade \(M\) is calculated from attendance \(A\), homeworks \(H\), and test \(T\). In addition, it is possible to earn bonus points \(B\) during workshops.

\[M = min(10, 0.10 \cdot A + 0.50 \cdot H + 0.40 \cdot T + B)\]
Variable Score Description
\(A\) 10% Attendance. You need to attend more than 75% of classes to earn this point.
\(H\) 50% Homeworks (5 during each module). There are deadlines. Delays cause penalties: 25% for a week and 50% for larger delays.
\(T\) 40% Test.
\(B\) +20% Bonus points given at workshops.

Bonus Points: 2 points

\(B = 2 \cdot \frac{\sum_k W_n}{n}\), where \(n\) is the number of workshops.

Variable Score Description
\(W_n\) 1 point each class Workshop activity: solving tasks, presenting, discussion participation