https://mathresearch.utsa.edu/wiki/index.php?action=history&feed=atom&title=MAT5443 2026-09-13T19:17:22Z Revision history for this page on the wiki MediaWiki 1.34.1 https://mathresearch.utsa.edu/wiki/index.php?title=MAT5443&diff=5340&oldid=prev 2025-02-10T02:16:05Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 02:16, 10 February 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Catalog entry ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Catalog entry ==</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>''<del class="diffchange diffchange-inline">Prerequisites</del>''<del class="diffchange diffchange-inline">: MAT 1214 and MAT 3013. </del></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>''<ins class="diffchange diffchange-inline">'Catalog description'</ins>''</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>''Content'': <del class="diffchange diffchange-inline">Axiomatizations of propositional </del>logic<del class="diffchange diffchange-inline">, axiomatizations </del>of <del class="diffchange diffchange-inline">first</del>-<del class="diffchange diffchange-inline">order logic</del>, <del class="diffchange diffchange-inline">completeness </del>and <del class="diffchange diffchange-inline">compactness</del>, <del class="diffchange diffchange-inline">structures, compactness </del>and the <del class="diffchange diffchange-inline">Henkin method of constructing models by constants</del>, <del class="diffchange diffchange-inline">ultraproducts</del>, <del class="diffchange diffchange-inline">real-valued </del>logic <del class="diffchange diffchange-inline">and applications</del>.</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">''Prerequisites'': Discrete Mathematics [[MAT3003]] or instructor consent </ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>''Content'': <ins class="diffchange diffchange-inline">Abstract measure and integration, Hilbert spaces and their geometry, </ins>logic of <ins class="diffchange diffchange-inline">non</ins>-<ins class="diffchange diffchange-inline">classical physics</ins>, <ins class="diffchange diffchange-inline">logics </ins>and <ins class="diffchange diffchange-inline">states</ins>, <ins class="diffchange diffchange-inline">linear functionals </ins>and the <ins class="diffchange diffchange-inline">Riesz representation theorem, operator algebras</ins>, <ins class="diffchange diffchange-inline">Hermitian operators</ins>, <ins class="diffchange diffchange-inline">the projection </ins>logic<ins class="diffchange diffchange-inline">, Gleason's theorem, spectrality</ins>.</div></td></tr> </table>

Jose.iovino https://mathresearch.utsa.edu/wiki/index.php?title=MAT5443&diff=5158&oldid=prev 2023-03-31T15:21:38Z

<p>Created page with &quot;== Catalog entry == &#039;&#039;Prerequisites&#039;&#039;: MAT 1214 and MAT 3013. &#039;&#039;Content&#039;&#039;: Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness and co...&quot;</p> <p><b>New page</b></p><div>== Catalog entry ==<br /> <br /> ''Prerequisites'': MAT 1214 and MAT 3013. <br /> <br /> ''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.</div>

Juan.gutierrez3