Overview
Description
Turing machines, recursive functions, computability and undecidability. Formal languages and their decision problems.
Units
Lecture3
Catalog Details
Offering
Offered: Every Spring - Odd Years
Terms
spring
Attributes
Standard
Learning Outcomes
- apply engineering and computer science research and theory to advance the art, science, and practice of the discipline.
- design and conduct experiments as well as to analyze, interpret, apply, and disseminate the data.
- understand research methodology.