Home
About
Mobile
Open Content
Search
Module Overview
Description
Facilitators
Weblinks
Timetable
CS3234
LOGIC AND FORMAL SYSTEMS
2018/2019, Semester 2
School of Computing (Computer Science)
Modular Credits: 4
Tags:
--
Collapse All
Prerequisites
Top
CS1231 or MA1100; Programming experience is preferred.
Workload
Top
2-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