ECE 5400

Algorithms: Correct/Complex

Lec 001 and Lec 001 selected

Presents fundamental theories and practices for the design of correct and efficient computing systems, including specification of computing systems and their components, correctness with respect to specifications; methods of verification; algorithmic problem solving strategies (such as divide and conquer, dynamic programming); tractability and intractability of computational problems.

Sections

Lecture, pick one

Lec 001

Tue 9:00-9:50

Tue9:00-9:50S. J. Carew (EN) 105160747

Lec 001

Tue, Thu 14:30-15:45

Tue, Thu14:30-15:45S. J. Carew (EN) 105160747

Syllabus

Have the syllabus for ECE 5400? Share it and everyone gets the grading, textbooks and rules.