# MATH2520: Discrete Math and Probability Principles for Computer Science

## Information

Credit Hours: 3.0

Terms Offered: Spring

Core Course

## Description

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.

## Prerequisites

## Outcomes

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.