IU

IUPUI IUPUI IUPUI

Luddy School of Informatics, Computing, and Engineering Menu

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

credits

  • 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.

    Syllabi

    There is not a syllabus available for this course.