Difference between revisions of "MAT3313"
Jump to navigation
Jump to search
Jose.iovino (talk | contribs) |
Jose.iovino (talk | contribs) |
||
| Line 1: | Line 1: | ||
'''Catalog description''' | '''Catalog description''' | ||
| − | ''Prerequisites'': | + | ''Prerequisites'': Discrete Mathematics [[MAT3003]] or instructor consent |
''Content'': 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. | ''Content'': 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. | ||
Revision as of 15:54, 21 January 2025
Catalog description
Prerequisites: Discrete Mathematics MAT3003 or instructor consent
Content: 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.
