COMPUTER AND INFORMATION SCIENCE - CSCI

Professor Robert P. Cook, Chair
302 Weir Hall

Associate Professors Cunningham, Lawhead, Maginnis, and Schoenly
Assistant Professors Stevens, and Wilkins

Graduate or prospective graduate students with backgrounds in computer science may have special interests in the following courses listed under Engineering: 501, 652-657, 659-662, 664, 666, 686.

NOTE: All courses numbered 515 and above have the prerequisite "senior standing in computer science or consent of instructor," as well as any specific courses indicated in the course description.

500. FUNDAMENTAL CONCEPTS IN COMPUTING. An intensive study of the formal concepts needed for graduate study in computer science. CSCI graduate students only. Prerequisite: consent of instructor. (3).

501. FUNDAMENTAL CONCEPTS IN SYSTEMS. An intensive study of the fundamental concepts of operating system and machine structures and the associated programming techniques. CSCI graduate students only. Prerequisite: consent of instructor. (3).

502. FUNDAMENTAL CONCEPTS IN ALGORITHMS. An intensive study of the fundamental concepts of algorithms and data structures and the associated programming techniques. CSCI graduate students only. Prerequisite: consent of instructor. (3).

503. FUNDAMENTAL CONCEPTS IN LANGUAGES. An intensive study of the fundamental concepts of programming languages and the associated software system structures. CSCI graduate students only. Prerequisite: consent of instructor. (3).

517. NATURAL LANGUAGE PROCESSING. Computer processing of natural language text at morphological, lexical, syntactic, and semantic levels; algorithms and procedures for sentence parsing and analysis; applications of natural language processing techniques. (3).

520. FORMAL THEORY OF COMPUTER LANGUAGES. A detailed study of mathematical models of regular and context-free languages, nondeterministic and deterministic models; closure properties, design algorithms; simplification of grammar. (3).

521. COMPUTER SYSTEMS ENGINEERING. Analysis of computer system components and manufacturing economics, and how they influence design goals, direct architectural development, create hardware/software issues and modify implementation concepts, as well as system and circuit packaging. (3).

523. OPERATING SYSTEMS. Design and construction of operating systems for shared program computers; various contemporary operating systems. Prerequisite: CSCI 423. (3).

524. DISTRIBUTED OPERATING SYSTEM DESIGN. Analysis of operating system design principles for multiple computers; a distributed operating system model is presented and compared to selected network and distributed operating system examples. Prerequisite: CSCI 423 or equivalent. (3).

525. COMPILER CONSTRUCTION. Introduction to techniques used in current compilers for computer languages; the syntactic specification of programming languages and an introduction to syntax-directed compiling. (3).

530. COMPUTER ARCHITECTURE AND DESIGN. Structured organization and hardware design of digital computers; register transfers, micro-operations, control units and timing, instruction set design, microprogramming; automated hardware design aids. (3).

531. ARTIFICIAL INTELLIGENCE. Use of the computer in human problem solving. Game theory, decision trees, Markov decision problems, selected topics. (3).

533. ANALYSIS OF ALGORITHMS. Introduction into the analysis of efficiency of computer algorithms and concepts of computational complexity; sorting, matrix multiplication, other. Prerequisite: CSCI 311 or consent of instructor. (3).

541. EXPERT SYSTEMS AND LOGIC PROGRAMMING. Expert systems and knowledge engineering. Computer systems to emulate human expertise. Rule-based and other knowledge representation techniques. Knowledge engineering as a model for expert systems development; logic programming for expert systems implementation. Prerequisite: CSCI 531 or consent of instructor. (3).

550. PROGRAM SEMANTICS AND DERIVATION. A study of formal methods for the specification, derivation, and verification of computer programs. Predicate logic; notations for specification of programs; programming language semantics; calculational techniques for derivation of programs; case studies. (3).

551. COMPUTER SYSTEM PERFORMANCE ANALYSIS. Defining, parameterizing, and evaluating models of computer systems. The emphasis is on applying queuing network models and simulation techniques as tools to evaluate the performance of centralized and distributed computer systems. Prerequisite: MATH 475 or consent of instructor. (3).

555. FUNCTIONAL PROGRAMMING. The principles and techniques of programming with functions. Purely functional programming languages; recursion; higher-order functions; reduction models; strictness; type systems; list operations; infinite data structures; program synthesis and transformation. (3).

561. COMPUTER NETWORKS. Analysis of loosely coupled computer communication, communication protocols, and network services; an open systems interconnection model is presented and compared to selected examples of computer networks. Prerequisite: CSCI 423 or equivalent. (3).

562. SOFTWARE ENGINEERING I. Software engineering paradigms, requirement analysis and specification, design of reliable software; data flow, data structure, and object oriented design methodologies. (3).

575. DATABASE SYSTEMS II. Review of database systems with special emphasis on data description and manipulation languages; data normalization; functional dependencies; database design; data integrity and security; distributed data processing; design and implementation of a comprehensive project. Prerequisite: CSCI 475 or consent of instructor. (3).

581. SPECIAL TOPICS IN COMPUTER SCIENCE. (May be repeated for credit). (1-3).

595. GRADUATE COMPUTER SCIENCE INTERNSHIP. Internship in approved settings to enhance the educational experience of the student through supervised training in a professional computer science environment. Completion of an internship is recommended for all students but this credit does not count toward completion of degree requirements. Prerequisites: approval by CIS Graduate Committee, GPA of at least 3.0, and completion of 9 graduate computer science hours. (3). Z grade.

Return to Top of Page