CS 3234 - Logic and Formal Systems [Semester I, 2003-2004] [Instructor Stefanescu, Gheorghe]

Topics, course material & schedule

Tutorials

Assignments

Mid-term Test

Course Information

Type

This is an elective module in the area A3.

Instructor

Gheorghe Stefanescu

Building S-16, Level 4, Room 16; Tel:+65-874-6613; Fax:+65-779-4580;

Email: gheorghe@comp.nus.edu.sg

Lectures

Thu 4-6pm LT34

Tutorials

SR4 (SoC-1, #06-??): Wed 10-11am(Gr1); Wed 11-12am(Gr2); Fri 2-3pm(Gr3); Fri 3-4pm(Gr3)

Consultations

Wed 9-10am; Wed 12am-1pm; Fri 1-2pm, Fri 4-5pm (or by appointment)

Exam

24 NOV 2003 Evening (Open Book)

Grading

40% Continuous Assessment:

10% assignments;

10% tutorials;

20% mid term test (Multiple Choice, Closed Book)

60% Final Exam

Course type

While most of the topics are part of classical mathematical logics, the examples are tailored for the computer science needs. Consequently, the course requires a combination of mathematical maturity and programming experience.

Prerequisites

Pass CS1231 or CS1231S or MA1100;

Programming experience is preferred.

Brief Description

The course aims to cover both classical and non-classical logics focusing on their deductive and algorithmic aspects. This module introduces mathematical logic as a means for specifying, verifying and reasoning about computer programs. Its emphasis, in contrast to other similar logic courses, is on how logic can be used to represent computational problems, how these representations can be proved 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. Treatment of propositional calculus, predicate calculus, and temporal logic are fully covered with emphasis on their specification, verification, deductive and algorithmic aspects.

References

Textbook The course uses the (fully recommended) textbook

Logic in Computer Science: Modelling and reasoning about systems by Michael Huth and Mark Ryan 387 pages, 2000; Cambridge University Press; ISBN: 0-521-65200-8

Additional references

Ben-Ari, M.: Mathematical Logic for Computer Science, Prentice Hall, 1993. [In: RBR Collection, NUS SC Library]

Hamilton, A.G.: Logic for Mathematicians, Cambridge University Press, 1978 [In: RBR Collection, NUS SC Library]

Kleene, S.C.: Introduction to Metamathematics, North-Holland, 1952.

Manna, Z.: Mathematical Theory of Computation, McGraw-Hill, 1974. [In: RBR Collection, NUS SC Library]

Takeuki, G.: Proof Theory, North-Holland, 1975.