AIMS
To introduce the language and semantics of propositional and first order predicate logic, and natural deduction. To apply concepts of first order logic to program specification.
LEARNING OUTCOMES
Knowledge and understanding
Students should understand and recall the definitions of the logics and logical systems presented in the course. They should know the difference between syntax and semantics. They should understand the meanings of the basic logical symbols. They should be able to read and understand logical formulas. They should understand the mechanisms of proof systems presented in the course. They should understand terms and notation commonly used in elementary logic texts.
Skills and other attributes
a) intellectual skills. Students should be able to parse logical formulas correctly, evaluate them in given situations, translate them into English, and write formulas expressing ideas given in English. They should be able to undertake simple proofs using proof systems presented in the course.
b) practical skills. Students should be able to understand and construct pre- and post-conditions for simple programs.
c) transferable/key skills. As above.
SYLLABUS
Propositional and predicate logic: syntax, informal and formal semantics. Validity, satisfiability, semantic entailment, equivalence. Many-sorted logic. Reasoning methods. Applications in program specification.
PREREQUISITES none
COREQUISITES none