• Moodle
  • Microsoft Imagine
  • Admission
    • Undergraduate Admission
    • Graduate Admission
    • Exchange Study @ IC
    • Scholarships
    • Accommodations
  • Programs
    • Undergraduate
      • Software Engineering
      • Engineering and Technology Management
    • Postgraduate
      • Automotive Engineering
      • Computational Intelligence Systems
      • Logistics and Supply Chain Management
      • AUN/SEED-Net
  • People
    • Academic Staff
    • Administrative Staff
  • Contact us
  • 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

© 2018 International College, King Mongkut's Institute of Technology Ladkrabang
Goto Top
  • Admission
    • Undergraduate Admission
    • Graduate Admission
    • Exchange Study @ IC
    • Scholarships
    • Accommodations
  • Programs
    • Undergraduate
      • Software Engineering
      • Engineering and Technology Management
    • Postgraduate
      • Automotive Engineering
      • Computational Intelligence Systems
      • Logistics and Supply Chain Management
      • AUN/SEED-Net
  • People
    • Academic Staff
    • Administrative Staff
  • Contact us
  • About us