Text Books:

  • Herbert B. Enderton, "A Mathematical Introduction to Logic", Second Edition, Acadmic Press, 2001
  • Michael Fisher, "An Introduction to Practical Formal Methods Using Temporal Logic", John Wiley & Sons, Ltd., 2011, ISBN: 978-0-470-02788-2.

Total 18 Weeks include

  • 2 weeks, midterm and final exams
  • 1 week, Introduction
  • 3 weeks, Sentential Logic
  • 7 weeks, First-Order Predicate Logic
  • 5 weeks, Temporal Topic

Description and Objective of the Course:

This course is an undergraduate course on mathematical logic. The course teaches students about symbolic logic that is a mathematical model of deductive thought, much like modern probability theory is a model for uncertain situations. Three logic models are covered: sentential logic, first-order predicate logic and finally temporal logic. Additional teaching material beyond the textbook will be used to make the course interesting and practical.