 |
|
|
CIS 560: Theoretical Computer Science
Three Credits
3 hours lecture
Prerequisite: CIS 360, CIS 361, or equivalents
Theoretical basis of the development of computer science.
The course details particular formalisms used in the design
of hardware and software systems. Intrinsic limitations of computation
are described. Advanced topics of automata theory and analysis
of algorithms are included. The course also covers Turing machines,
the halting problem, models of computation, intractable computations,
polynomial reductions, P vs. NP, parallel algorithms, various
formal descriptions and specifications of programs and computations,
and proofs of program correctness and interactive proof systems.
|
|