Jan 30, 2026  
2025-2026 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  The University
  Academic Regulations
  Admission and Readmission
  Certificates, Degrees, and other Graduate Programs
  Colleges/Schools and Associated Programs
  Courses
  Distance Education/ECU Online
  Expenses and Financial Assistance
  Graduate Student Funding
  Scholar, International, and Leadership Programs
  Student Affairs
  What’s New This Year?
  Academic Calendars
  Archived Catalogs
  Campus Map
  Faculty Emeriti
  Undergraduate Catalog
  University Policies
HELP
2025-2026 Graduate Catalog
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

MATH 5002 - Logic for Mathematics and Computer Science

3

P: CSCI 2405 or MATH 2300 or MATH 3256 or PHIL 3580 or equivalent. Methods of mathematical logic that have important applications in mathematics and computer science.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)