Theory of Computation

Mahidol University

Course Description

  • Course Name

    Theory of Computation

  • Host University

    Mahidol University

  • Location

    Bangkok, Thailand

  • Area of Study

    Computer Science

  • Language Level

    Taught In English

  • Prerequisites

    ICCS324

  • Course Level Recommendations

    Upper

    ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.

    Hours & Credits

  • Host University Units

    4
  • Recommended U.S. Semester Credits
    3
  • Recommended U.S. Quarter Units
    0
  • Overview

    Course Description:

    Automata theory, Pushdown automata theory, Turing machine, Post machine, Post's theorem, Minsky's theorem; determinism and non-determinism; undecidability, the halting problem; recursive function theory.

    Course Objectives:

    To let the students understand theory of computer systems from the mathematics’ point of view and to define the computer and explain the definition. The course will start with building mathematical skills while simultaneously presenting the subject matter. Expecting that by the time the convoluted and intricate arguments of Turing theory arises the student’s level of mathematical sophistication is adequate to the task. Equal emphasis must be placed on what we know and why we know it.

    Classroom policy:

    Students are expected to attend all classes regularly. To qualify to sit for final examination a minimum of 80% attendance is a must.

Course Disclaimer

Courses and course hours of instruction are subject to change.

Some courses may require additional fees.

Credits earned vary according to the policies of the students' home institutions. According to ISA policy and possible visa requirements, students must maintain full-time enrollment status, as determined by their home institutions, for the duration of the program.

Availability of courses is based on enrollment numbers. All students should seek pre-approval for alternate courses in the event of last minute class cancellations