CSCI 420 - Computational Logic

In the Computational Logic course, designed for students pursuing a BS in Computer Science, students learn formal methods for reasoning about programs, covering propositional and predicate logic, as well as proof techniques and automated reasoning tools. Students will learn how to model problems and construct logical arguments, and explore how logic can be applied to software engineering and artificial intelligence. Through hands-on work, students will develop skills in formal reasoning and problem-solving
Prerequisites Complete (SDEV-340 - C++ Programming II or CMIT-235 - Advanced Python) AND SDEV-345-Data Structures & Algorithms AND MATH-270 - Discrete Mathematics
Credits: 3