May 05, 2024  
2022-2023 Academic Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Schools and Departments
  Undergraduate Degree Programs
  Graduate Degree Programs
  Course Prefix Identification and Coding Rationale
  Courses
  The University
  Student Finance
  University Calendar
  Libraries and Learning Technologies
  Academic Support Services
  AUC Press
  Undergraduate Admissions
  Undergraduate Academic Requirements & Regulations
  First-Year Program (FYP) Orientation
  Undergraduate Studies
  The Core Curriculum
  Graduate Admissions
  Graduate Academic Requirements & Regulations
  Research
  Continuing Education and Training Programs
  Leadership
  Facts and Figures
  Catalog PDF Extract
  My Portfolio
HELP
2022-2023 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

MACT 362/4133 - Formal and Mathematical Logic (3 cr.)


Prerequisites
  

Description
Introduction to the goals and methods of mathematical logic. Propositional and predicate calculus (first order logic) are presented in detail. Goedel’s completeness and incompleteness theorems, and some of the philosophico-mathematical problems in set theory, and alternative logics are discussed.

When Offered
Offered occasionally.


Add to Portfolio (opens a new window)