May 15, 2024  
2020-2021 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  University Overview
  University Services
  Division of Student Affairs
  Undergraduate Information
  Degrees Offered by Colleges
  Degrees Offered by Departments
  Degrees and Programs (A-Z)
  Core Curriculum Requirements
  Course Descriptions
  TCCN Courses
  UH System and University Administration
  Faculty
  Faculty Emeriti
  Neumann Library Professional Staff
HELP
2020-2021 Undergraduate 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)