Graduate Courses in Computer Science at U.T.E.P.
CS 5195 Graduate Seminar
- A survey of significant papers, dating back to Turing's "Computable
numbers," which have significantly influenced the nature of modern
computer science. The assigned papers will be discussed in an informal seminar
setting.
CS 5294 Graduate Research
CS 5394 Graduate Research
CS 5594 Graduate Research
CS 5694 Graduate Research
- Individual variable-credit research of contemporary topics in computer
science. Prerequisite: Permission of Graduate Advisor.
CS 5310 Computer Graphics
- 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.
CS 5314 Artificial Intelligence I
- 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.
CS 5315 Theory of Computation
- 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.
-
- A study of topics in mainstream AI, including natural language, learning, expert systems, and planning.
Prerequisite: CS 5314 or equivalent.
-
- A review of relational algebra followed by a study of
DATALOG and its extensions (negation as failure, aggregates),
query optimization, dependencies, and object-oriented databases.
Prerequisite: CS 4320 or equivalent.
CS 5333 Logic Programming
- This course will include advanced logic programming techniques as well as an in-depth study of semantics of Prolog, more advanced logic programming systems, and deductive databases.
Prerequisite: CS 5314 or equivalent.
CS 5334 Parallel and Concurrent Computing
- 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, database systems.
CS 5340 Advanced Operating Systems
- 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 permission of instructor.
CS 5350 Advanced Algorithms
- 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 permission of instructor.
-
- Advanced topics of contemporary interest in Computer Science. May be repeated for credit when topic varies.
Prerequisite: Permission of the instructor.
CS 5391 Individual Studies
- 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 3 credit hours may be applied towards the M.S. degree.
Prerequisite: Permission of departmental graduate advisor.
CS 5396-5397 Graduate Projects
- 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: Permission of the instructor.
CS 5398 Thesis
CS 5399 Thesis
