Centralised Online Undergraduates Registration System (CORS)


Module Detailed Information for [CS3234]
Academic Year : 2017/2018 Semester : 2
Correct as at 09 Mar 2018 23:06

Back to Module Information Listing
Module Information
Module Code :
Module Title : Logic and Formal Systems
Module Description : This module focuses on the deductive and algorithmic aspects of both classical and non-classical logics. It introduces logic as a means for specifying, verifying and reasoning about computer programs. It emphasises, in contrast to other similar logic courses, on how logic can be used to represent computational problems, how these representations can be proven correct and how they can be executed on a computer. Topics covered include classical logic theories, logic programming, modal logic, and an introduction to non-standard logics. Treatments of predicate calculus and temporal logic are fully covered with emphasis on their specification, verification, deductive and algorithmic aspects.
Module Examinable : -
Exam Date : 09-05-2018 AM
Modular Credits : 4
Pre-requisite : CS1231 or MA1100; Programming experience is preferred.
Preclusion : Nil
Module Workload (A-B-C-D-E)* : 2-1-0-3-3
Remarks : Nil
* A: no. of lecture hours per week
B: no. of tutorial hours per week
C: no. of laboratory 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

Lecture Time Table
Class TypeWeek TypeWeek DayStartEndRoom

Tutorial Time Table
Attention: The tutorial timetables could be updated from time to time. Students are advised to check regularly for the latest update on the change of tutorial timing.
Class TypeWeek TypeWeek DayStartEndRoom Iteration
Available in Tutorial Balloting [Iteration 2].
Not Available in Tutorial Balloting yet.

  NUS Help NUS Home Search Site Map Contact NUS Legal