Mar 11, 2026  
2020-2021 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  University Overview
  University Services
  Division of Student Affairs
  Graduate Information
  Degrees Offered by Colleges and Departments
  Degrees and Programs (A-Z)
  Course Descriptions
  UH System and University Administration
  Faculty
  Faculty Emeriti
  Neumann Library Professional Staff
HELP
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

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

MATH 4321 - Predicate Logic

Credit Hours: 3 Lecture: 3 Lab: 0

An introduction to predicate logic; elements of formal logic systems; set theory and propositional calculus, completeness theorems and the nature of proofs.


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