Overview of Logic and Computation
Assessment scheme
The assignments will be worth 50% of the final mark and the final exam will be worth 50%.The assignments will not all be worth the same: the assignment on Modal and Temporal Logic (10 lectures) will be worth twice as much as the four others.


