Same school, new name. The School of Informatics and Computing is changing its name effective January 11, 2023. Learn more about the name change

CSCI-B 401 Fundamentals of Computer Theory


  • Prerequisites: CSCI-C 310, CSCI-C 343, or CSCI 36200
  • Delivery: On-Campus
  • Fundamentals of formal language theory, computation models and computability, the limits of computability and feasibility, and program verification.

    Learning Outcomes

    1. Understand basic concepts in formal language theory, grammars, automata theory, computability theory, and complexity theory.
    2. Analyze and design finite automata, pushdown automata, Turing machines, formal languages, and grammars.
    3. Relate real-world problems to languages, automata, computability, and complexity.


    There is not a syllabus available for this course.