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

http://catalog.drexel.edu/undergraduate/collegeofcomputingandinformatics/computerscience/

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

http://catalog.drexel.edu/undergraduate/collegeofcomputingandinformatics/computersecurity/

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

http://catalog.drexel.edu/undergraduate/collegeofcomputingandinformatics/gameprogramminganddevelopment/

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

http://catalog.drexel.edu/undergraduate/collegeofcomputingandinformatics/softwareengineering/

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

Economics

http://catalog.drexel.edu/undergraduate/schoolofeconomics/economics/

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

Game Design & Production

http://catalog.drexel.edu/undergraduate/collegeofmediaartsanddesign/gamedesignandproduction/

...Animation I 3.0 CS 140 Introduction to...Perspective 3.0 SCRP 270 [ WI ] Screenwriting I...

Nutrition and Foods

http://catalog.drexel.edu/undergraduate/collegeofnursingandhealthprofessions/nutritionandfoods/

...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
LEARN MORE