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: D] or CS 176 [Min Grade: D] or CS 265 [Min Grade: D] or SE 103 [Min Grade: D] or ECEC 301 [Min Grade: D]

Computer Science

Major: Computer Science Degree Awarded: Bachelor of Science in Computer Science (BSCS) or Bachelor of Arts in Computer Science (BACS) Calendar Type: Quarter Total Credit Hours: 186.5 Co-op Options: Three Co-op (Five years); One Co-op (Four years) Classification of Instructional Programs (CIP) code: 11.0701 Standard Occupational Classification (SOC) code: 11-3021; 15-1111; 15-1131; 15-1132; 11-1199

Computer Science

The Computer Science concentration in Computer Security is designed to supply graduates with the skills needed to prepare them for a wide range of opportunities. It gives students the ability to design and implement computing security and privacy processes, software and systems. Students use mathematical foundations, algorithmic principles, and computer science theory in the modeling and design of such systems.

Computer Science

The concentration in game programming and development provides conceptual understanding of game design and practical experience in the design and the development of games. The courses in this concentration include fundamentals of game design and development, large-scale game development, and special topics in educational and experimental game design.

Software Engineering

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


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

Game Design & Production

...Animation I 3.0 CS 171 Computer Programming...Perspective 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