Mar 29, 2024  
2018-2019 Cal State East Bay Catalog 
    
2018-2019 Cal State East Bay Catalog [ARCHIVED CATALOG]

Add to Folder (opens a new window)

MATH 635 - Mathematical Logic


Units: 4
First order languages, a Sequent Calculus, rules for formal proofs, The Completeness Theorem, Compactness, Godel’s Incompleteness Theorems. Selected topics from model theory, set theory, metamathematics.

Prerequisites: MATH 300.
Possible Instructional Methods: Entirely On-ground.
Grading: A-F grading only.



Add to Folder (opens a new window)