• COSC 4100: Found of Computing

  3.00 Credits

  University of Wyoming

  
  Introduces several theoretical areas which are the basis of computer science. Languages and automata, computability, complexity, analysis of algorithms, logic and the specification and correctness of programs. Prerequisite: COSC 3020
  ShareCOSC 4100 - Found of Computing

• COSC 4200: Computability and Complexity

  3.00 Credits

  University of Wyoming

  
  Introduction to theoretical study of computability and efficient computation. Finite-state and pushdown automata; Turing machines and the Church-Turing thesis; undecidability; computational complexity; NP-completeness. Prerequisite: COSC 3020.
  ShareCOSC 4200 - Computability and Complexity

• COSC 4210: Anls & Dsn Info Systems

  3.00 Credits

  University of Wyoming

  
  Students with information technology skills learn to analyze and design information systems. Practice of software engineering techniques during team-oriented analysis and design of a departmental system. Prerequisite: COSC 2030.
  ShareCOSC 4210 - Anls & Dsn Info Systems

• COSC 4220: Dsgn & Implmntn Emrg Env

  3.00 Credits

  University of Wyoming

  
  Students who have completed the analysis and design course extend their knowledge by implementing an information system in an emerging systems environment. Teams use project management principles to implement the system. Prerequisite: COSC 4210.
  ShareCOSC 4220 - Dsgn & Implmntn Emrg Env

• COSC 4340: Numerical Analysis

  3.00 Credits

  University of Wyoming

  
  Machine arithmetic, analysis of rounding errors, direct and iterative methods for linear systems of equations, iteration, interpolation, numerical differentiation and integration, numerical solution of differential equations. Programming exercises using a procedural language. Cross listed with MATH 4340. Prerequisites: grade of C or better in COSC 1010, MATH 2310, and either MATH 2250 or 3310.
  ShareCOSC 4340 - Numerical Analysis

• COSC 4350: System Simulation

  3.00 Credits

  University of Wyoming

  
  Introduces simulation and comparison with other techniques. Studies discrete simulation models, and introduction to, or review of, queuing theory and stochastic processes. Compares discrete change simulation languages. Examines simulation methodology including generation of random numbers and variates, design of simulation experiments for optimization, analysis of data generated by simulation experiments, and validation of simulation models and results. Selected applications of simulation. Prerequisites: COSC 3020; MATH 4250 or STAT 2010.
  ShareCOSC 4350 - System Simulation

• COSC 4420: Advanced Logic

  3.00 Credits

  University of Wyoming

  
  Third course in the logic sequence. Studies advanced topics in mathematical logic. Takes up such topics as: uninterpreted calculi and the distinctive contributions of syntax and semantics: metatheory, including completeness and consistency proofs: modal logic and semantics; logic as a philosophical tool. Cross listed with MATH/ PHIL 4420. Prerequisite: PHIL 3420 or equivalent.
  ShareCOSC 4420 - Advanced Logic

• COSC 4450: Computer Graphics

  3.00 Credits

  University of Wyoming

  
  Introduction to computer graphics, an increasingly important area of computer science. Computer graphics, together with multimedia and the world-wide web, offers exciting new possibilities for the design of human-computer interfaces. Presents the principles, techniques, and tools that enable these advances. Dual listed with COSC 5450. Prerequisites: COSC 3020 and MATH 2250.
  ShareCOSC 4450 - Computer Graphics

• COSC 4470: VR/AR Systems

  3.00 Credits

  University of Wyoming

  
  This course is designed to introduce students to the field of virtual reality (VR) and provide students with hands-on experience developing applications for modern virtual and augmented reality systems. In the course, students learn about the historical development of virtual reality technology and virtual reality as a research field, gain mastery of fundamental principles, algorithms, and design patterns in computer graphics, discover the perceptual science behind mixed reality technologies, and explore libraries and tools for creating VR experiences using current APIs for Immersive Systems. Prerequisites: COSC 2030
  ShareCOSC 4470 - VR/AR Systems

• COSC 4480: Computer Animation Programming

  3.00 Credits

  University of Wyoming

  
  This course is designed to develop a firm understanding of the general principles of computer animation, underlying algorithms, and implementation of those algorithms and processes. Students will complete hands-on and experiential learning activities in developing and programming animation algorithms and principles across 2D and 3D. Students will utilize state-of-the-art equipment, software, and programming APIs. This course has direct skill development for animated film and game design and development. Prerequisites: COSC 2030
  ShareCOSC 4480 - Computer Animation Programming