WesMaps - Wesleyan University Catalog 2023-2024       Summer Session       Winter Session       Home       Archive       Search
Special Topics in Computer Science
Fall 2023
Section: 01  
This course may be repeated for credit.

The course will be an introduction to automated reasoning for computer science. Decision procedures for the satisfiability of formulas of propositional logic and of various fragments of first-order equational theories will be covered. For the application part of the course, students will use the automated modeling tool Alloy to design and analyze software systems. Student work will include both mathematical exercises and programming exercises.
Credit: 1 Gen Ed Area Dept: NSM MATH
Course Format: LectureGrading Mode: Student Option
Level: UGRD Prerequisites: COMP212 AND MATH228
Fulfills a Major Requirement for: (COMP)
Past Enrollment Probability: 90% or above

Last Updated on MAY-29-2024
Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email ? Wesleyan University, Middletown, Connecticut, 06459