Revised (November 6, 2019)
CS 245E: Logic and Computation (Enriched)
General description
CS 245E is an enriched version of CS 245. Enriched courses are designed to offer appropriate challenges to better students. The learning objectives, required preparation, and general description are roughly the same as for the regular course, and the corresponding regular course description page provides more detail. Depending on their approach, instructors may teach more rapidly, add new topics, rearrange topics or change their emphasis, or offer alternative approaches that meet curricular goals. Students should contact individual instructors for further details.