Dec 24, 2025  
2025-2026 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Academic Calendar for 2025-2026
  About the University
  Administration and Governance
  Admission to the University
  Academic Policies and Procedures
  Volunteer Core Requirements
  General Education Requirements for 2021-2022 or earlier
  Undergraduate Degrees, Majors, Concentrations, Minors, and Certificates
  Accelerated Combined Bachelor’s/Master’s Programs
  Distance Education (DE) Programs
  Majors, A-Z
  Minors, A-Z
  Undergraduate Certificates A-Z
  Course Descriptions
  Exploratory Students
  Herbert College of Agriculture
  College of Architecture and Design
  College of Arts and Sciences
  Haslam College of Business
  College of Communication and Information
  College of Education, Health, and Human Sciences
  College of Emerging and Collaborative Studies
  Tickle College of Engineering
  Natalie L. Haslam College of Music
  College of Nursing
  College of Social Work
  Howard H. Baker Jr. School of Public Policy and Public Affairs
  Intercollegiate
  Center for Global Engagement
  University Honors
  Reserve Officers Training Corps (ROTC)
  University Libraries
  University Studies
  University Transition Program
  Glossary
  Catalog User Guide
  My Portfolio
HELP
2025-2026 Undergraduate Catalog
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

AET 250 - Deductive Logic and Debugging

3 Credit Hours
Topics covered in this course include command line and graphical debugging, deductive logic, problem-solving, logic and proofs, induction, recursion, and relations.

(RE) Prerequisite(s): COSC 102  with grade of C or better.
Registration Restriction(s): Registration restriction of Tickle College of Engineering majors or Biosystems Engineering majors. All AET courses require a grade of C or better.


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