Module Overview

CS3234
LOGIC AND FORMAL SYSTEMS

2018/2019, Semester 2

School of Computing (Computer Science)

Modular Credits: 4

Tags: --

Prerequisites

TopCS1231 or MA1100; Programming experience is preferred.

Top2-1-0-3-3

Workload Components : A-B-C-D-E
A: no. of lecture hours per week
B: no. of tutorial hours per week
C: no. of lab hours per week
D: no. of hours for projects, assignments, fieldwork etc per week
E: no. of hours for preparatory work by a student per week