Computer Science

Computer Science

234 Computer Science Building

Phone: (915) 747-5480

Fax: (915) 747-5030

CHAIRPERSON: David Novick

GRADUATE FACULTY: Bernat, Gates, Gelfond, Kreinovich, Longpré, Novick, Teller

The Computer Science Department offers a Master of Science in Computer Science and participates with the Electrical and Computer Engineering Department in the Ph.D. program in Computer Engineering. Specific courses of study include database theory, artificial intelligence, software engineering, theory of computation, algorithms, computer systems, and computing applications. The department also offers an undesignated Master of Science with a major in Engineering.

Requirements for Admission

See the Introduction to the College of Engineering for information about general requirements. Additionally, applicants must submit evidence of at least 13 semester hours of undergraduate course work in Computer Science to include:

CS 2302 Data Structures

CS 3350 Automata, Computability, and Formal Languages

CS 3330 Problem Oriented Programming Languages

EE 2369 Digital Systems Design

MATH 1411 Calculus

Requirements for the Degree

Thesis Program

27 semester hours of course work plus

6 semester hours of thesis (CS 5398 and CS 5399)

33 total semester hours minimum, OR

Project Program

30 semester hours of course work plus

6 semester hours of project (CS or EE 5398 and CS or EE 5397)

36 total semester hours minimum.

All students must successfully complete at least four of the following courses:

CS 5322 Database Theory

CS 5314 Artificial Intelligence

CS 5315 Theory of Computation

CS 5340 Advanced Operating Systems

CS 5350 Advanced Algorithms

For Undergraduate and Graduate Students

Courses marked with an asterisk (*) may not be applied toward the Master of Science degree in Computer Science.

*CS 3330 Problem Oriented Programming Languages (3-0)

*CS 3432 Assembler Language Programming (3-0)

*CS 3333 Basic Concepts in Computer Science (3-0)

*CS 3335 Systems Programming (3-0)

*CS 3350 Automata, Computability and Formal Language (3-0)

*CS 3360 Design and Implementation of Programming Languages (3-0)

CS 3370 Computer Graphics (3-0)

*CS 4310 Software Engineering I (3-0)

*CS 4311 Software Engineering II (3-0)

CS 4320 Artificial Intelligence (3-0)

CS 4342 Database Management (3-0)

CS 4352 Translation of Programming Languages (3-0)

CS 4371 Computer Science Problems (3-0)

CS 4375 Theory of Operating Systems (3-0)

CS 4390 Special Topics in Computer Science (3-0)

For Graduate Students Only

Computer Science (CS)

5310 Computer Graphics (3-0)

Computer representation and display of graphical information including line, character, and curve generation, two and three dimensional graphical techniques, interactive methods, and advanced topics. Prerequisite: CS 3370.

5314 Artificial Intelligence I (3-0)

A study of First-Order Logic, including an introduction to Prolog. Knowledge representation including semantic networks and logical representations, query answering, and reasoning methods. Prerequisite: CS 4320 or equivalent.

5315 Theory of Computation (3-0)

A review of formal languages and Turing Machines with an in-depth study beginning with the Universal Turing Machine, followed by Undecidability, Computational Complexity Theory, and Intractable Problems. Prerequisite: CS 3350 or equivalent.

5316 Artificial Intelligence II (3-0)

A study of topics in mainstream AI, including natural language, learning, expert systems, and planning. Prerequisite: CS 5314 or equivalent.

5322 Database Theory (3-0)

A review of relational algebra followed by study of datalog and its extensions (negation as failure, aggregates), query optimization, dependencies, and object-oriented databases. Prerequisite: CS 4320.

5333 Logic Programming (3-0)

This course will include advanced logic programming techniques as well as an in-depth study of the semantics of Prolog, more advanced logic programming systems, and deductive databases. Prerequisite: CS 5314 or equivalent.

5334 Parallel and Concurrent Computing (3-0)

The study of multiple processes executing in parallel. Formal methods of concurrency. Multitasking. Hardware architectures for concurrency. Distributed computing. Examples from real-time systems, operating systems, fault-tolerant systems, and database systems.

5340 Advanced Operating Systems (3-0)

A review of process synchronization, deadlocks and memory allocation paradigm, followed by in depth coverage of distributed systems, computer security, and queuing theory. Prerequisite: CS 4375 or instructor approval.

5350 Advanced Algorithms (3-0)

Review of asymptotic notation, followed by mathematical techniques for analysis of computer algorithms, and techniques for design of efficient algorithms (including sorting, searching, and graph algorithms). Prerequisite: CS 2302 or instructor approval.

5390 Special Topics (3-0)

Advanced topics of contemporary interest in Computer Science. May be repeated for credit when topic varies. Prerequisite: Instructor approval.

5391 Individual Studies (0-0-3)

Individual variable-credit research, design, or analysis on advanced phases of Computer Science problems conducted under the direct supervision of a faculty member. A maximum of three credit hours may be applied towards the MS degree. Prerequisite: Permission of Graduate Advisor.

5394 Graduate Research (0-0-3)

5694 Graduate Research (0-0-5)

Individual variable-credit research of contemporary topics in Computer Science. Prerequisite: Permission of Graduate Advisor.

5396 Graduate Projects (0-0-3)

Individual research, design, or analysis on advanced phases of Computer Science conducted under the direct supervision of a faculty member. The courses, including a written report, are required of all students in the non-thesis option. Prerequisite: Instructor approval.

5397 Graduate Projects (0-0-3)

5398 Thesis (0-0-3)

Initial work on the thesis.

5399 Thesis (0-0-3)

Continuous enrollment required while work on thesis continues. Prerequisite: CS 5398.