Introduces multilevel machines with emphasis on the digital logic level, conventional machine level, operating system level and the higher language level. Emphasis on understanding models and their applications and on rigorous use of basic techniques of analysis. Introduction to proofs, simulation, diagonalization, and reduction arguments. Group study of a selected topic, title to be determined in advance. Total credit limited to 6 credit hours, with a maximum of 3 credit hours per term.
Instruction is to be lecture, laboratory or a combination of both.
The discussion of design and implementation emphasizes computerized systems. Representations of pictures and their attributes. Curve and surface design and generation. Graphics programming and languages. Complex objects are created using polygon modeling and surface modeling.