Most courses 4000-level and above can be credited to all degree programs. All courses are subject to advisor approval. Check with the instructor first. Two 75-minute lectures per week. Opportune viewing is highly recommended since doing so provides the student the opportunity to ask questions, as the material is presented, and to interact with the instructor.
Class meets on campus.
Prior or concurrent exposure to LISP is recommended. Predicate calculus, resolution theorem proving, Horn clause theorem provers. Issues of knowledge representation. Learning concept formation. Other topics as time permits.