MATH2520: Discrete Math and Probability Principles for Computer Science


Credit Hours: 3.0
Terms Offered: Spring
Core Course


An introduction to mathematical foundations of computer science, including propositional and predicate calculus, methods of proof, sets and relations, recurrences, program correctness and proofs, probability models, random variables, probability distributions, estimation, and hypothesis testing.


The student will be able to:

1: Relate practical examples to the appropriate set, function, relation model or graph model; and know the associated operations and terminology in context.

2: Manipulate abstract structures such as sets, graphs, trees, relations, and functions.

3: Demonstrate mathematical reasoning, including formal logic, inductive proofs, relative time and memory efficiency of algorithms, and formal correctness of algorithms.

4: Create relevant recurrence equations for specific counting and algorithm applications.

5: Model problems in computer science using discrete mathematical concepts of logic, sets, functions, relations, recurrence, counting, graphs, and trees.

Please describe the bug that you encountered or tell us what you think. We will log your username, email address, and the time that the issue was submitted.