Note:

This course ran as ECE 36900 prior to Fall 2022

Counts as:

Normally Offered:

Each Fall, Spring

Campus/Online:

On-campus only

Requisites:

ECE 20875 or ECE 26400 [may be taken concurrently]

Requisites by Topic:

Advanced programming experience.

Catalog Description:

This course introduces discrete mathematical structures, with a focus on developing problem-solving skills and abstract reasoning. Students will attain substantial experience formulating and reasoning about a wide range of discrete mathematics problems. Topics generally include sets, sequences, relations, mappings, recursive definition, formal logic syntax and semantics, mathematical induction, recursion and loop invariants, counting and combinatorics, countability, asymptotic complexity, finite-state automata, regular expressions, and non-determinism.

Learning Outcomes:

1. an ability to define, reason about, and operate on sets using basic set operations and recursive definition. [1,7]
2. an ability to represent and verify entailment arguments in predicate logic, both syntactically and semantically. [1,3,7]
3. an ability to argue carefully using a variety of informal proof techniques, including mathematical induction. [1,3,7]
4. an ability to count in a wide range of settings including permutations, combinations, countable infinities, and recurrence equations. [1,7]
5. an ability to define and reason about functions and binary relations and work with their useful properties. [1]
6. an ability to define finite-state automata and regular expressions for languages, and relate these formalisms using non-determinism. [1,7]
7. an ability to formulate algorithmic problems as decision problems and reason about their decidability and scalable solvability. [1,7]

Lecture Outline:

Assessment Method:

Problem sets, exams and Participation