Preliminary planning and proposals. Conceptualization, design, and interpretation of research. Topics Special topics in computer science research not covered in other courses. May be repeated for credit on each new topic. Algorithm Analysis Computation using Turing machines, logic, oracles, alternating Turing machines, and interactive proof systems.
Emphasis is placed on advanced topics and the major areas of current research within the field.
Theoretical and practical issues involved with developing large-scale systems are covered. The design of large scale knowledge-based systems. Emphasis on both theoretical and practical issues. Examination of alternative knowledge representation techniques and problem solving methods used to design knowledge-based systems. Hands-on project management techniques.