Search Results
CS 270 Mathematical Foundations of Computer Science 3.0 Credits
Introduces formal logic and its connections to Computer Science. Students learn to translate statements about the behavior of computer programs into logical claims and to prove such assertions using both traditional techniques and automated tools. Considers approaches to proving termination, correctness, and safety for programs. Discusses propositional and predicate logic, logical inference, recursion and recursively defined sets, mathematical induction, and structural induction.
Repeat Status: Not repeatable for credit
Prerequisites: CS 172 [Min Grade: C] or CS 265 [Min Grade: C] or ECE 105 [Min Grade: D] or ECEC 201 [Min Grade: D]
Computer Science BS / Computer Science MS
https://catalog.drexel.edu/undergraduate/collegeofcomputingandinformatics/computersciencebs-ms/
Major: Computer Science Degree Awarded: Bachelor of Science (BS) and Master of Science (MS) Calendar Type: Quarter Minimum Required Credits: 226.0 Co-op Options: One Co-op (Five years)
Artificial Intelligence & Machine Learning
Major: Artificial Intelligence & Machine Learning Degree Awarded: Bachelor of Science (BS) Calendar Type: Quarter Minimum Required Credits: 180.0 Co-op Options: Three Co-op (Five years); One Co-op (Four years) Classification of Instructional Programs (CIP) code: 11.0701 Standard Occupational Classification 15-0000