May 30, 2025  
2025-2026 Undergraduate Catalog (IN PROGRESS) 
    
  Catalog Home
  All Catalogs

  Catalog Overview and Publication
  WTAMU at a Glance
  2024-2025 Academic Calendar
  Accreditation
  Administration and Faculty
  Admissions
  Advising Services Degree Checklists and Curriculum Guides
  Campus Life
  Campus Map
  Common Course Numbering
  Course Descriptions
  Degree and Program Offerings
  Financial Aid
  Pre-Professional Specializations
  Procedures and Policies
  Requirements for Associate Degrees
  Requirements for Baccalaureate Degrees
  Scholarships
  Student Services and Support
  Tuition and Fees
  Tuition/Fee Exemptions and Waivers and Other
  University Core Curriculum
  University Housing and Meals
  William H. and Joyce Attebury Honors Program

  Paul Engler College of Agriculture and Natural Sciences
  Paul and Virginia Engler College of Business
  Terry B. Rogers College of Education and Social Sciences
  College of Engineering
  Sybil B. Harrington College of Fine Arts and Humanities
  College of Nursing and Health Sciences

  Addendum
HELP
2025-2026 Undergraduate Catalog (IN PROGRESS)

Computational Logic Minor

(Minor Code: M116)

This minor is offered in partnership by the College of Engineering and the Department of English, Philosophy and Modern Languages.

Computational Logic Minor Requirements:

Eighteen hours in a combination of philosophy, math, and computer science courses. At least nine hours must be advanced and three hours in residence.

Required courses:

The remaining nine hours may be taken from the following courses: