• Moodle
  • Microsoft Imagine
  • Admission
    • Undergraduate Admission
    • Exchange Study @ IC
    • Accommodations
  • Programs
    • Undergraduate
      • Software Engineering
  • About us

Asst.Prof.Dr. Pratoom Angurarohita

  • About Me
  • Courses

Tab Content.

Introduction to Logic
Course ID: 13006301
Credits: 3 (3-0-6)
Description:

This course provides a study of the nature of logic and logical reasoning, covering the following topics: arguments, syntax and semantics of propositional logic, validity and equivalence in propositional logic, truth tables, basic proof theory for propositional logic, syntax and semantics of first-order logic, validity and equivalence in first-order logic, basic proof theory for first-order logic, limitations of first-order logic, and applications of logic for problem solving.


Prerequisite: None
Lecturer: Asst.Prof.Dr. Pratoom Angurarohita Dr. Natthapong Jungteerapanich
Moodle Link: None

© 2021 International College, King Mongkut's Institute of Technology Ladkrabang
Goto Top
  • Admission
    • Undergraduate Admission
    • Exchange Study @ IC
    • Accommodations
  • Programs
    • Undergraduate
      • Software Engineering
  • About us