Difference between revisions of "Main Page"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Undo revision 4963 by Eduardo.duenez (talk))
Tag: Undo
(Undo revision 4959 by Jose.iovino (talk))
Tag: Undo
Line 1: Line 1:
−
Introduction to the mathematics of discrete structures with emphasis on structures for computer science.
+
<strong>UTSA Department of Mathematics</strong>
  
 +
To edit tables in each course below, you can use [https://tableconvert.com/mediawiki-to-excel MediaWiki-to-Excel converter] and/or the [https://tableconvert.com/excel-to-mediawiki Excel-to-MediaWiki converter]
  
−
'''Catalog entry'''
+
== Undergraduate Studies ==
 +
===STEM Core===
 +
* [[MAT1073]] College Algebra for Scientists and Engineers
 +
* [[MAT1093]] Precalculus
 +
* [[MAT1193]] Calculus for Biosciences
 +
* [[MAT1214]] Calculus I (4 credit hours)
 +
* [[MAT1224]] Calculus II (4 credit hours)
 +
* [[MAT2214]] Calculus III (4 credit hours)
 +
* [[MAT2233]] Linear Algebra
  
−
''Prerequisite'': Algebra and Number Systems (MAT 1313), or Discrete Mathematical Structures (CS 2233/2231), or instructor consent.
+
===Data & Applied Science Core===
 +
* [[MDC1213]] Mathematics, Data, AI and the Modern World
 +
* [[MAT1213]] Calculus I (3 credit hours)
 +
* [[MAT1223]] Calculus II (3 credit hours)
 +
* [[MAT2213]] Calculus III (3 credit hours)
 +
* [[MAT2243]] Applied Linear Algebra (3 credit hours)
 +
* [[MAT4133]]/[[MAT5133]] Mathematical Biology
 +
* [[MAT4143]]/[[MAT5143]] Mathematical Physics
 +
* [[MAT4373]]/[[MAT5373]] Mathematical Statistics I (discrete & continuous PDFs)
 +
* [[MAT4383]]/[[MAT5383]] Mathematical Statistics II (statistical inference)
 +
* [[MDC4413]] Data Analytics
  
−
''Contents'':
+
===Math Major===
−
(1) Propositional logic: Axioms and Rules of Inference. Limitations of propositional logic: Informal introduction to quantifiers and syllogisms.
+
* [[MAT1313]] Algebra and Number Systems
−
(2) Predicate Logic: Existential and universal quantification, free variables and substitutions. Discussion of the various axiomatic systems for first-order logic (including axioms and rules of inference). The power and the limitations of axiomatic systems for logic: Informal discussion of the completeness and incompleteness theorems.
+
* [[MAT2313]] Combinatorics and Probability
−
(3) Sets and boolean algebras: Operations on sets. Correspondence between finitary set operations and propositional logic. Correspondence between infinitary operations and quantifiers. The power and limitations of the language of set theory: Informal discussion of the set-theoretic paradoxes and the need for axiomatic systems for set theory.
+
* [[MAT3003]] Discrete Mathematics
−
(4) Relations: Special relations: Equivalence relations, partially ordered sets, maximum/minimum, maximal/minimal elements, least upper bounds and greatest lower bounds, totally ordered sets.
+
* <s>[[MAT3013]] Foundations of Mathematics </s> Replaced by MAT3003 Discrete Mathematics
−
(5) Functions: Operations of functions, direct image and inverse image.
+
* [[MAT3213]] Foundations of Analysis
−
(6) Well-ordered sets: Correspondence between well-ordering relations and induction. Correspondence between well-ordering relations and choice functions.
+
* [[MAT3233]] Abstract Algebra I
−
(7) Introduction to computability. Classical models of computation (recursive functions, and Turing models). Limitations of computation (the Halting Problem, fast-growing functions). Contemporary models of computation.
+
* [[MAT3613]] Differential Equations I
 +
* [[MAT3623]] Differential Equations II
 +
* [[MAT3633]] Numerical Analysis
 +
* [[MAT3223]] Complex Variables
 +
* [[MAT4213]] Real Analysis I
 +
* [[MAT4223]] Real Analysis II
 +
* [[MAT4233]] Abstract Algebra II
 +
* [[MAT4273]] Topology
  
 +
===Business===
 +
* [[MAT1053]] Algebra for Business
 +
* [[MAT1133]] Calculus for Business
  
−
'''Sample textbooks''':
+
===Math for Liberal Arts===
 +
* [[MAT1043]] Introduction to Mathematics
  
−
[1] Gordon Pace, ''Mathematics of Discrete Structures foe Computer Science'', Springer, 2012
+
=== Elementary Education ===
 +
* [[MAT1023]] College Algebra
 +
* [[MAT1153]] Essential Elements in Mathematics I
 +
* [[MAT1163]] Essential Elements in Mathematics II
  
−
[2] Vladlen Koltun, ''Discrete Structures Lecture Notes, Stanford University'', 2008. Freely available [https://web.stanford.edu/class/cs103x/cs103x-notes.pdf here.]
+
=== General Math Studies===
 +
* [[MAT3233]] Modern Algebra
  
 +
== Graduate Studies ==
 +
=== Core M.Sc. Studies ===
 +
Core courses, common across all M.Sc. tracks, must be at least 50% of the credit 30 hours needed to obtain a M.Sc. degree. The following courses add up to 15 credit hours.
 +
* Two courses in the Analysis and Algebra sequences in the following combinations:
 +
** [[MAT5173]] Algebra  I & [[MAT5183]] Algebra II.
 +
** [[MAT5203]] Analysis I  & [[MAT5213]] Analysis II
 +
** [[MAT5173]] Algebra &  [[MAT5203]] Analysis I.
 +
* [[MAT5283]] Linear Algebra (fall odd years)
 +
* [[MAT5423]] Discrete Mathematics I (fall even years)
 +
* [[MAT4373]]/[[MAT5373]] Mathematical Statistics I  (fall even years)
  
 +
=== Qualifying Examination Tracks  ===
 +
* [[MAT5183]] Algebra II (fall, even years) (Pure, Applied tracks)
 +
* [[MAT5123]] Cryptography (spring even years) (Pure, Applied tracks)
 +
* [[MAT5323]] Cryptography II (spring odd years) (Pure, Applied tracks))
 +
* [[MAT5213]] Analysis II (spring even years)  (Pure track)
 +
* [[MAT5113]] Computing for Mathematics (spring even years)  (Pure, Applied tracks)
 +
* [[MAT5433]] Discrete Mathematics II (spring odd years)  (Pure, Applied tracks)
 +
* [[MAT4383]]/[[MAT5383]] Mathematical Statistics II  (fall even years)  (Applied tracks)
  
 +
=== M.Sc. Track in Pure Mathematics  ===
 +
* [[MAT4423/MAT5443]] Logic and Computability
 +
* [[MAT5243]] General Topology
 +
* [[MAT5253]] General Topology II
 +
* [[MAT5323]] Cryptography II
 +
* [[MAT5183]] Algebra II
 +
* [[MAT5223]] Theory of Functions of a Complex Variable
 +
* [[MAT5343]] Differential Geometry
  
 +
=== M.Sc. Track in Applied & Industrial Mathematics ===
 +
* [[MAT4153]]/[[MAT5153]] Data Analytics
 +
* [[AIM 5113]] Introduction to Industrial Mathematics
 +
* [[MAT 5113]] Computing for Mathematics
 +
* [[MAT 5653]] Differential Equations I
 +
* [[MAT 5673]] Partial Differential Equations
  
−
 
+
=== M.Sc. in Mathematics Education ===
−
 
 
−
==Topics List==
 
−
{| class="wikitable sortable"
 
−
! Week !! Topic !! Sections from Pace's book !! !! Sections from Pace's book !! Prerequisites.
 
−
|-
 
−
|  1 
 
−
|| [[Propositional logic]]
 
−
|| 2.1-2.4
 
−
||
 
−
* Proofs
 
−
* boolean models
 
−
* connections between boolean models and proofs
 
−
|| MAT1313 or CS2233/2231, or equivalent.
 
−
|-
 
−
|  2 
 
−
|| [[Completeness and soundness]]
 
−
|| 2.5
 
−
||
 
−
* Completeness and soundness of propositional logic
 
−
||
 
−
|-
 
−
|  5-6 
 
−
|| [[Predicate calculus]]
 
−
|| 3.1-3.5
 
−
||
 
−
* Limits of propositional logic
 
−
* free variables and substitution.
 
−
||
 
−
|-
 
−
|  7 
 
−
|| [[Sets and boolean algebras]]
 
−
|| 4.1-4.5
 
−
||
 
−
* Set comprehension.
 
−
* Finitary and general operations on sets.
 
−
||
 
−
|-
 
−
|  8 
 
−
|| [[Sets and boolean algebras]]
 
−
|| 4.6
 
−
||
 
−
* Boolean algebras and boolean rings.
 
−
||
 
−
|-
 
−
|  9 
 
−
|| [[Relations]]
 
−
|| 5.1-5.7
 
−
||
 
−
* Relations and sets
 
−
* Inverse of a relation and composition of relations
 
−
* Beyond binary relations
 
−
||
 
−
|-
 
−
|  10 
 
−
|| [[Classifying Relations]]
 
−
|| 6.1-6.3
 
−
||
 
−
* Totality
 
−
* Surjectivity
 
−
* Injectivity
 
−
* Functionality
 
−
||
 
−
|-
 
−
|  11-12 
 
−
|| [[Discrete structures]]
 
−
|| 7.1-8.4
 
−
||
 
−
* Graphs
 
−
* Semigroups
 
−
* groups
 
−
||
 
−
|-
 
−
|  13-14 
 
−
|| [[Reasoning about programs]]
 
−
|| 10.1-10.4
 
−
||
 
−
* Algorithms
 
−
* Program semantics
 
−
* Uncomputability
 
−
||
 
−
|}
 

Revision as of 16:57, 24 March 2023

UTSA Department of Mathematics

To edit tables in each course below, you can use MediaWiki-to-Excel converter and/or the Excel-to-MediaWiki converter

Undergraduate Studies

STEM Core

Data & Applied Science Core

Math Major

Business

Math for Liberal Arts

  • MAT1043 Introduction to Mathematics

Elementary Education

  • MAT1023 College Algebra
  • MAT1153 Essential Elements in Mathematics I
  • MAT1163 Essential Elements in Mathematics II

General Math Studies

Graduate Studies

Core M.Sc. Studies

Core courses, common across all M.Sc. tracks, must be at least 50% of the credit 30 hours needed to obtain a M.Sc. degree. The following courses add up to 15 credit hours.

Qualifying Examination Tracks

  • MAT5183 Algebra II (fall, even years) (Pure, Applied tracks)
  • MAT5123 Cryptography (spring even years) (Pure, Applied tracks)
  • MAT5323 Cryptography II (spring odd years) (Pure, Applied tracks))
  • MAT5213 Analysis II (spring even years) (Pure track)
  • MAT5113 Computing for Mathematics (spring even years) (Pure, Applied tracks)
  • MAT5433 Discrete Mathematics II (spring odd years) (Pure, Applied tracks)
  • MAT4383/MAT5383 Mathematical Statistics II (fall even years) (Applied tracks)

M.Sc. Track in Pure Mathematics

M.Sc. Track in Applied & Industrial Mathematics

M.Sc. in Mathematics Education

Retrieved from "https://mathresearch.utsa.edu/wiki/index.php?title=Main_Page&oldid=4967"