The purpose of this course is to present fundamental results regarding the learning capabilities of computer programs. Basic results from computation theory and logic are languages, automata theory and logic are first presented. These are then used to show the limitations and capabilities of algorithmic strategies for various learning environments including program synthesis, language acquisition, concept learning and identification of finite state machines.
- Credits: Variable
- Frequency: Every term
- CS 2110 THEORY OF COMPUTATION
2110or consent of instructor.