INFO 2030 - Mathematical Foundations of Computer Science

4.5 Credits

This course introduces discrete mathematics concepts that are foundational for the study of computer science and mathematics. The covered topics include functions, sets, logic, methods of proof, mathematical induction, recursion, counting and probability, and relations.

Prerequisites: (2) INFO 1499 and MATH 2410 or MATH 1930

Lecture Hours: 4.5
Lab Hours: 0.0
Internship Hours: 0.0
Clinical or Practicum Hours: 0.0

Course Objectives

Apply Propositional Logic principles to Computer Science problems
Write logic statements using quantifiers
Draw conclusions from logic statements using the rules of inference
Prove logical statements by writing formal proofs
Create sets and manipulate them using functions
Utilize Mathematical Induction to prove logical statements
Enumerate quantities using counting principles
Calculate probability using probability theory
Model relations and relation properties
Use loop invariants to prove the correctness of a computer program

View Class Schedule