MAT 3313
Logic and Computability. (3-0) 3 Credit Hours
University of Texas at San Antonio · UGRD · Fall 2026
1 section
Catalog description
Prerequisite: MAT 3003 . Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness and compactness, structures, compactness and the Henkin method of constructing models by constants, ultraproducts, real-valued logic and applications. (Same as MAT 5443 . Credit cannot be earned for both MAT 5443 and MAT 3313 .). Course Fees: LRS1 $46.20; DL01 $75; STSI $21.60.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #texas_san_antonio-3734Fall 2026UGRD
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?