MA 481 - Mathematical Logic

Offered Fall: No Offered Winter: No Offered Summer: No Offered Other: Contact Department

3 Credits
Hours (Lecture - Discussion - Lab): 3-0-0
Prerequisites: Junior standing and instructor’s permission.

The propositional and predicate calculi, syntax and semantics, consistency and completeness and undecidability. Included are Goedel’s theorems, recursive function theory, model theory and applications.