Dec 15, 2025  
2025-2026 University of Wyoming Catalog 
    
  Catalog Home

  Mission Statement
  Administration
  Degree Programs
  Course Offerings
  Colleges and Schools
  Division of Student Affairs
  Credit Available to Undergraduate Students
  Advising Career Exploratory Studies (ACES)
  Registration and Enrollment in Courses
  Admission to the University
  Disability Resources
  Division of Academic Affairs
  FERPA
  Grading System
  Graduate Student Regulations and Policies
  Graduation Requirements and Procedures
  Honor Societies and Programs
  Other University Services
  Special Programs and Facilities for Research and Study
  Scholarships and Financial Aid
  Tuition and Fees
  University Accreditation/Membership
  The University Studies Program 2015
  Armed Forces Services
  Faculty Index
  Intercollegiate Athletics
  National Outdoor Leadership School
  Success and Engagement Programs
  UWYO Courses
  Commonly Used Terms
  University of Wyoming at Casper
  My Portfolio
HELP
2025-2026 University of Wyoming Catalog
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

COSC 4100  - Foundations of Computing

Credits: 3
Max Credit 3

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 .


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)