Difference between revisions of "MAT3313"
Jump to navigation
Jump to search
Jose.iovino (talk | contribs) |
Jose.iovino (talk | contribs) |
||
| Line 7: | Line 7: | ||
== Sample textbook == | == Sample textbook == | ||
| − | [1] David Cohen, ''An Introduction to Hilbert Space and Quantum Logic'', Springer. | + | [1] David Cohen, ''An Introduction to Hilbert Space and Quantum Logic'', Springer. Freely available to UTSA students. |
Latest revision as of 20:19, 9 February 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.
Sample textbook
[1] David Cohen, An Introduction to Hilbert Space and Quantum Logic, Springer. Freely available to UTSA students.
