Difference between revisions of "MAT5443"
Jump to navigation
Jump to search
(Created page with "== Catalog entry == ''Prerequisites'': MAT 1214 and MAT 3013. ''Content'': Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness and co...") |
Jose.iovino (talk | contribs) |
||
| Line 1: | Line 1: | ||
== Catalog entry == | == Catalog entry == | ||
| − | '' | + | '''Catalog description''' |
| − | ''Content'': | + | ''Prerequisites'': Discrete Mathematics [[MAT3003]] or instructor consent |
| + | |||
| + | ''Content'': Abstract measure and integration, Hilbert spaces and their geometry, logic of non-classical physics, logics and states, linear functionals and the Riesz representation theorem, operator algebras, Hermitian operators, the projection logic, Gleason's theorem, spectrality. | ||
Latest revision as of 20:16, 9 February 2025
Catalog entry
Catalog description
Prerequisites: Discrete Mathematics MAT3003 or instructor consent
Content: Abstract measure and integration, Hilbert spaces and their geometry, logic of non-classical physics, logics and states, linear functionals and the Riesz representation theorem, operator algebras, Hermitian operators, the projection logic, Gleason's theorem, spectrality.
