THE IMPORTANCE OF BEING FORMAL
2012/2013, Semester 2
University Scholars Programme (University Scholars Programme)
Modular Credits: 4
Formal methods of reasoning have been studied in all major civilizations, but the appearance of automatic computing devices in the 20th century has led to an explosion of interest in and applications of formal logic. Today, the advantages of formal reasoning are recognized and utilized far beyond computer science. Students of this module will discover the power as well as the limitations of formal methods for philosophy and mathematics, and learn to apply them in diverse areas such as political speeches and arguments, analysis of detective novels and the scheduling of sports tournaments.
Not applicable to USP First-Tier modules. USP Advanced modules (Course-Based Modules, CBMs) may state general pre-requisite skills/knowledge. Prerequisites should not make reference to NUS modules.
Not applicable to USP modules.
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