|
|
|
Computer Science
Web site at: http://cs.utep.edu 234 Computer Science Building (915) 747-5480
3.- Computer Science (CS) Courses
For Graduate Students Only
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)
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. Prerequisites: CS 5396 and instructor approval.
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.
|