Most courses 4000-level and above can be credited to all degree programs. All courses are subject to advisor approval. 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.
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. W3137 and is thus also a prerequisite for this class. Predicate calculus, resolution theorem proving, Horn clause theorem provers. Issues of knowledge representation.