Department of Computer Science

  CS 2110, Theory of Computation

This course deals with computability theory, automata theory and formal languages. Various models of computation will be examined, their relations to each other and their properties will be studied. Topics include models for computable functions and Church's thesis, models for recognizers and their relation to formal grammars, algorithmically solvable and unsolvable problems, and the complexity of computations.

  CS 2550, Principles of Database Design

The main objective of this course is to provide an in-depth knowledge of Database Management Systems design. Topics covered at length are concurrency control including concurrency on structured data, recovery and query optimization. Some important aspects of distributed databases are discussed, including distributed concurrency control and fault-tolerance.

  CS 3350, Modeling and Simulation

The background, justification, definitions, and uses of modeling and simulation are detailed. Topics range from system conceptualization, purposeful representation, and modeling to implementation, validation, and processing of the simulation model. Primary attention is paid to dynamic discrete systems, although continuous systems are also covered. Examples are drawn from a variety of application fields. Methodological approaches are emphasized. Students are required to implement and test a substantial simulation model.

  CS 3630, Interactive Computer Graphics

This course includes: description of types, characteristics, and purposes of interactive graphics devices/systems; selected topics on graphics-oriented hardware, software, data structures, and system configuration; important techniques such as scaling, translation, rotation, clipping, windowing, and hidden-line removal, together with applicable 2D and 3D mathematical methods and psychological considerations; applications work involving locally-available graphics equipment.