• Home
  • About
  • Mobile
  • Open Content
  • Search

Module Overview


  • Description
  • Facilitators
  • Weblinks
  • Timetable
CS3234 

LOGIC & FORMAL SYSTEMS
   2006/2007, Semester 1
   School of Computing (Computer Science)
Modular Credits: --
  Tags: --

Learning Outcomes

TopThe 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.

Prerequisites

TopPass CS1231 or CS1231S or MA1100. Programming experience is preferred.

Schedule

Top

Week 1: Introduction to Logic.

Week 2: Propositional Logic. Natural Deduction

Week 3: Propositional Logic. Semantics, Normal Form.

Week 4: Predicate Logic. Proof Theory, Semantics, Undecidability

Week 5: Logic Programming. The Language Prolog

Week 6: Proof Assistants.

Week 7: Mid-term Examination

Week 8: Temporal Logic.

Week 9: Verification by Model Checking.

Week 10: The SMV system. Software Model Checking.

Week 11: Program Verification. Tools.

Week 12: Modal Logic. Agents.

Week 13: Review.

 

 

Assessment

Top

Assignments: 25%
Mid-term: 15% (Oct 5, 2006)
Tutorial: 10%
Final exam: 50%

Consultation Hours

Top

Wednesday, 2:30-4:30pm, S15, #4-10.

 

Contact

  • IVLE Webmaster

Social Media

Latest Alerts

  • IVLE scheduled maintenance every Tuesday 0300 hrs - 0700 hrs

Centre for Instructional Technology

Legal  |  Acceptable Use Policy

Copyright © 2015, National University of Singapore. All rights reserved.