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.

College/Department: College of Computing and Informatics
Repeat Status: Not repeatable for credit
Prerequisites: CS 172 [Min Grade: C] or CS 176 [Min Grade: C] or CS 265 [Min Grade: C] or SE 103 [Min Grade: C] or ECEC 301 [Min Grade: D] or ECEC 201 [Min Grade: D]

Software Engineering

...3.0 CS 265 Advanced Programming Tools and Techniques 3.0 CS 270 Mathematical Foundations...


...should select CS 171 over CS 150 ** Students...0 Term 4 COM 270 [ WI ] Business Communication...

Animation and Visual Effects

...Animation I 3.0 CS 171 Computer Programming...Art 3.0 SCRP 270 [ WI ] Screenwriting I...

Game Design & Production

...Animation I 3.0 CS 171 Computer Programming...Foundations 3.0 SCRP 270 [ WI ] Screenwriting I...

Nutrition and Foods

...Chemistry II 4.5 CS 161 Introduction to...Fundamentals 3.0 FDSC 270 Microbial Food Safety...

  • Schedule of Classes
  • All Course Descriptions
  • Co-op
  • Academic Advising
  • Admissions
  • Tuition & Fees