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 176 [Min Grade: C] or CS 265 [Min Grade: C] or ECE 105 [Min Grade: C] or ECEC 201 [Min Grade: D] or ECEC 301 [Min Grade: D]
Computer Science
http://catalog.drexel.edu/undergraduate/collegeofcomputingandinformatics/computerscience/
Computer Science
Software Engineering
http://catalog.drexel.edu/undergraduate/collegeofcomputingandinformatics/softwareengineering/
...0 CS 260 3.0 CS 281 4.0 SE 311 3.0 CS 270...
Computer Science BS / Computer Science MS
http://catalog.drexel.edu/undergraduate/collegeofcomputingandinformatics/computersciencebs-ms/
...0 CS 260 3.0 CS 277 3.0 CS 283 3.0 CS 270...
Economics and Mathematics
http://catalog.drexel.edu/undergraduate/schoolofeconomics/economicsandmathematics/
...1.0 CS 171 3.0 CS 172...Total Credits 180 * ECON 270 recommended ** COOP 101...
Economics and Data Science
http://catalog.drexel.edu/undergraduate/schoolofeconomics/economicsanddatascience/
...4.0 CS 150 or 164 3.0 MATH 121 4.0 ECON 270 4...
Game Design and Production BS / Digital Media MS
...in AFAS, ANTH, CJS, CS, ECON, ENSS, ENVS...367 3.0 SCRP 270 3.0 GMAP...
Game Design & Production
http://catalog.drexel.edu/undergraduate/collegeofmediaartsanddesign/gamedesignandproduction/
...in AFAS, ANTH, CJS, CS, ECON, ENSS, ENVS...367 3.0 SCRP 270 3.0 GMAP...
Economics and Business
http://catalog.drexel.edu/undergraduate/schoolofeconomics/economicsandbusiness/
...MATH 102 4.0 CS 150 or 171...115 4.0 COM 270 3.0 COOP...
Economics
http://catalog.drexel.edu/undergraduate/schoolofeconomics/economicsbs/
...113 3.0 VACATION CS 150 or 171...0 COM 230 or 270 3.0 ECON...
Teacher Education: Computer Science
http://catalog.drexel.edu/undergraduate/schoolofeducation/teachereducation/computerscience/
...368 3.0 EDUC 322 3.0 CS 270 3.0 EDUC 216 3.0...
Animation and Visual Effects BS / Digital Media MS
...250 3.0 SCRP 270 3.0 IDM 100 3.0 CS 171 3.0...
Animation and Visual Effects
http://catalog.drexel.edu/undergraduate/collegeofmediaartsanddesign/animationandvisualeffects/
...100 3.0 CS 171 3.0 COM 230 3.0 SCRP 270 3.0...
Economics BS / Business Administration MBA
http://catalog.drexel.edu/undergraduate/schoolofeconomics/economicsbs-businessadministrationmba/
...113 3.0 VACATION CS 171 3.0...Credits COM 230 or 270 3.0 COOP...