Logic and proofs, set theory, Boolean algebra, functions, sequences, matrices, algorithms, modular arithmetic, mathematical induction and combinatorics.
For information regarding prerequisites for this course, please refer to the Academic Course Catalog.
Discrete mathematics, the study of finite mathematical systems, provides students with mathematical ideas, notations and skills which are critical to, for example, formulating what an algorithm is supposed to achieve, proving if it meets the specification, and analyzing its time and space complexity. Discrete mathematics is essential to the study of computer science.
Measurable Learning Outcomes
Upon successful completion of this course, the student will be able to:
- Construct valid mathematical arguments using logical connectives and quantifiers.
- Verify the correctness of a mathematical argument using symbolic logic and truth tables.
- Construct a proof using direct proof, proof by contradiction, and proof by cases.
- Perform operations on discrete structures such as sets, discrete functions, relations, sequences, and matrices.
- Analyze algorithms, determine algorithmic complexity, and apply algorithms to solve problems.
- Express a Boolean function as a Boolean sum of Boolean products of the variables and their complements.
- Use Boolean algebra to model the circuitry of electronic devices.
- Use relations to solve problems involving communications networks, project scheduling.
Textbook readings and video presentations
Course Requirements Checklist
After reading the Course Syllabus and Student Expectations, the student will complete the related checklist found in Module/Week 1.
Learn Smart Reading Assignments (8)
The student will complete reading assignments within the ConnectMath software associated with the textbook.
The student will complete handwritten homework assignments and submit them in Blackboard each week.
Each quiz will cover the Reading & Study material for the assigned modules/weeks. Each quiz will be open-book/open-notes, have a 1 hour time limit, and be completed in ConnectMath software.
The student will complete exams during Modules/Weeks 2, 4, 6, and 8. Each exam will be open-book/open-notes, cover 2 modules/weeks of material, and have a 2 hour time limit. All tests are handwritten.