Dec 26, 2024  
2023-2024 University of Wyoming Catalog 
    
  Catalog Home

  Mission Statement
  Administration
  Admission to the University
  Degree Programs
  Course Offerings
  Credit Available to Undergraduate Students
  Advising Career Exploratory Studies (ACES)
  Registration and Enrollment in Courses
  Disability Resources
  Division of Academic Affairs
  Division of Student 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
  Colleges and Schools
  Armed Forces Services
  Faculty Index
  Intercollegiate Athletics
  National Outdoor Leadership School
  Success and Engagement Programs
  UWYO
  Commonly Used Terms
  University of Wyoming at Casper
  My Portfolio
HELP
2023-2024 University of Wyoming Catalog [ARCHIVED CATALOG]

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

COSC 5420 - Advanced Logic

Credits: 3
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 COSC/MATH 5420 .
Dual Listed COSC 4420 .

Prerequisite: PHIL 3420  or equivalent; graduate standing.


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