Difference between revisions of "MAT3013"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Still aligning schedule to content.)
 
(5 intermediate revisions by 2 users not shown)
Line 31: Line 31:
 
! Date !! Sections !! Topics !! Prerequisite Skills !! Student Learning Outcomes
 
! Date !! Sections !! Topics !! Prerequisite Skills !! Student Learning Outcomes
 
|-
 
|-
−
|1.
+
| <!-- * Week -->
 +
1.
 
||
 
||
 +
<!-- * Sections -->
 
* 1.1-1.2
 
* 1.1-1.2
 
||
 
||
 +
<!-- * Topics -->
 
* [[Statements]]
 
* [[Statements]]
 
* [[Sentential Logic]]
 
* [[Sentential Logic]]
Line 40: Line 43:
 
<!-- * Prerequisites -->
 
<!-- * Prerequisites -->
 
||
 
||
 +
<!-- * Outcomes -->
 
* Identify syntactically correct formulas in sentential logic.
 
* Identify syntactically correct formulas in sentential logic.
 
* Translate compound statements in informal language to formal propositional sentences.
 
* Translate compound statements in informal language to formal propositional sentences.
 
* Find the interpretation of a sentential formula given interpretations of the propositional symbols therein.
 
* Find the interpretation of a sentential formula given interpretations of the propositional symbols therein.
 
|-
 
|-
−
|2.
+
| <!-- * Week -->
 +
2.
 
||
 
||
 +
<!-- * Sections -->
 
* 1.3-1.4
 
* 1.3-1.4
 
||
 
||
−
* [[Semantic Implication]]
+
<!-- * Topics -->
−
* [[Semantic Equivalence]]
+
* [[Logical Implication]]
 +
* [[Logical Equivalence]]
 
* [[Deductive Rules]]
 
* [[Deductive Rules]]
 
||
 
||
Line 55: Line 62:
 
* [[Sentential Logic]]
 
* [[Sentential Logic]]
 
||
 
||
 +
<!-- * Outcomes -->
 
* Express informally stated relations between sentences in terms of semantic implication and equivalence.
 
* Express informally stated relations between sentences in terms of semantic implication and equivalence.
 
* State and recognize basic rules of deductive reasoning and their correct application.
 
* State and recognize basic rules of deductive reasoning and their correct application.
Line 60: Line 68:
 
* Distinguish between correct and incorrect applications of deductive rules.
 
* Distinguish between correct and incorrect applications of deductive rules.
 
|-
 
|-
−
|3.
+
| <!-- * Week -->
 +
3.
 
||
 
||
 +
<!-- * Sections -->
 
* 1.5-2.2
 
* 1.5-2.2
 
||
 
||
 +
<!-- * Topics -->
 
* [[Quantifiers]]
 
* [[Quantifiers]]
 
* [[Mathematical Proofs]]
 
* [[Mathematical Proofs]]
Line 74: Line 85:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|4.
+
| <!-- * Week -->
 +
4.
 
||
 
||
 +
<!-- * Sections -->
 
* 2.3-2.4
 
* 2.3-2.4
 
||
 
||
 +
<!-- * Topics -->
 
* [[Proofs:Contraposition]]
 
* [[Proofs:Contraposition]]
 
* [[Proofs:Contradiction]]
 
* [[Proofs:Contradiction]]
Line 88: Line 102:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|5.
+
| <!-- * Week -->
 +
5.
 
||
 
||
 +
<!-- * Sections -->
 
* 2.4-2.6
 
* 2.4-2.6
 
||
 
||
 +
<!-- * Topics -->
 
* [[Proofs:Biconditionals]]
 
* [[Proofs:Biconditionals]]
 
* [[Proofs:Quantifiers]]
 
* [[Proofs:Quantifiers]]
Line 102: Line 119:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|6.
+
| <!-- * Week -->
 +
6.
 
||
 
||
 +
<!-- * Sections -->
 
* 3.1-3.3
 
* 3.1-3.3
 
||
 
||
 +
<!-- * Topics -->
 
* [[Sets:Definitions]]
 
* [[Sets:Definitions]]
 
* [[Sets:Operations]]
 
* [[Sets:Operations]]
Line 114: Line 134:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|7.
+
| <!-- * Week -->
 +
7.
 +
||
 +
<!-- * Sections -->
 
||
 
||
 +
<!-- * Topics -->
 
* Review of Chapters 1-3.
 
* Review of Chapters 1-3.
 
* Midterm exam.
 
* Midterm exam.
−
||
 
−
 
 
||
 
||
 
<!-- * Prerequisites -->
 
<!-- * Prerequisites -->
Line 125: Line 147:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|8.
+
| <!-- * Week -->
 +
8.
 
||
 
||
 +
<!-- * Sections -->
 
* 4.1-4.3
 
* 4.1-4.3
 
||
 
||
 +
<!-- * Topics -->
 
* [[Functions:Definition]]
 
* [[Functions:Definition]]
 
* [[Functions:Forward Image]]
 
* [[Functions:Forward Image]]
−
* [[Functions:Inverse Image]]
+
* [[Functions:Forward Image|Functions:Inverse Image]]
 
* [[Functions:Composition]]
 
* [[Functions:Composition]]
 
||
 
||
Line 140: Line 165:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|9.
+
| <!-- * Week -->
 +
9.
 
||
 
||
 +
<!-- * Sections -->
 
* 4.3-4.4
 
* 4.3-4.4
 
||
 
||
 +
<!-- * Topics -->
 
* [[Functions:Inverses]]
 
* [[Functions:Inverses]]
 
* [[Functions:Injective]]
 
* [[Functions:Injective]]
Line 155: Line 183:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|10.
+
| <!-- * Week -->
 +
10.
 
||
 
||
 +
<!-- * Sections -->
 
* 5.1 & 5.3
 
* 5.1 & 5.3
 
||
 
||
 +
<!-- * Topics -->
 
* [[Relations]]
 
* [[Relations]]
 
* [[Functions as Relations]]
 
* [[Functions as Relations]]
Line 169: Line 200:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|11.
+
| <!-- * Week -->
 +
11.
 
||
 
||
 +
<!-- * Sections -->
 
* 6.1-6.3
 
* 6.1-6.3
 
||
 
||
 +
<!-- * Topics -->
 
* [[Natural Numbers:Postulates]]
 
* [[Natural Numbers:Postulates]]
 
* [[Natural Numbers:Well-Ordering]]
 
* [[Natural Numbers:Well-Ordering]]
Line 184: Line 218:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|12.
+
| <!-- * Week -->
 +
12.
 
||
 
||
 +
<!-- * Sections -->
 
* 6.3-6.4
 
* 6.3-6.4
 
||
 
||
−
* [[Induction:Variants]]
+
<!-- * Topics -->
 +
* [[Proofs:Induction|Induction:Variants]]
 
* [[Recursion]]
 
* [[Recursion]]
 
||
 
||
Line 197: Line 234:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|13.
+
| <!-- * Week -->
 +
13.
 
||
 
||
 +
<!-- * Sections -->
 
* 6.5
 
* 6.5
 
||
 
||
 +
<!-- * Topics -->
 
* [[Sets:Cardinality]]
 
* [[Sets:Cardinality]]
 
||
 
||
Line 211: Line 251:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|14.
+
| <!-- * Week -->
 +
14.
 
||
 
||
 +
<!-- * Sections -->
 
* 6.6-6.7
 
* 6.6-6.7
 
||
 
||
 +
<!-- * Topics -->
 
* [[Sets:Finite]]
 
* [[Sets:Finite]]
 
* [[Sets:Countable]]
 
* [[Sets:Countable]]
 
* [[Sets:Uncountable]]
 
* [[Sets:Uncountable]]
−
* [[Cardinality:𝐍]]
+
* [[Cardinality of important sets|Cardinality:𝐍]]
−
* [[Cardinality:𝐙]]
+
* [[Cardinality of important sets|Cardinality:𝐙]]
−
* [[Cardinality:𝐐]]
+
* [[Cardinality of important sets|Cardinality:𝐐]]
−
* [[Cardinality:𝐑]]
+
* [[Cardinality of important sets|Cardinality:𝐑]]
 
||
 
||
 
<!-- * Prerequisites -->
 
<!-- * Prerequisites -->
Line 229: Line 272:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|-
 
|-
−
|15.
+
| <!-- * Week -->
 +
15.
 
||
 
||
−
 
+
<!-- * Sections -->
 
||
 
||
 +
<!-- * Topics -->
 
* Catch-up and review for final exam.
 
* Catch-up and review for final exam.
 
||
 
||
Line 239: Line 284:
 
<!-- * Outcomes -->
 
<!-- * Outcomes -->
 
|}
 
|}
 +
 
==See also==
 
==See also==
  
 
* [https://catalog.utsa.edu/undergraduate/coursedescriptions/mat/ UTSA Undergraduate Mathematics Course Descriptions]
 
* [https://catalog.utsa.edu/undergraduate/coursedescriptions/mat/ UTSA Undergraduate Mathematics Course Descriptions]

Latest revision as of 14:15, 14 October 2021

Foundations of Mathematics (3-0) 3 Credit Hours

Course Catalog

MAT 3013. Foundations of Mathematics. (3-0) 3 Credit Hours.

Prerequisite: MAT1214. Development of theoretical tools for rigorous mathematics. Topics may include mathematical logic, propositional and predicate calculus, set theory, functions and relations, cardinal and ordinal numbers, Boolean algebras, and construction of the natural numbers, integers, and rational numbers. Emphasis on theorem proving. (Formerly MAT2243. Credit cannot be earned for MAT3013 and MAT2243.) Generally offered: Fall, Spring, Summer. Differential Tuition: $150.

Description

Foundations of Mathematics is a pivotal course for mathematics majors. It serves as the first major step towards modern mathematics of rigorous proofs and a true pre-requisite to real analysis and abstract algebra. Up to this point students are asked to do few proofs (notably geometry and perhaps some epsilon-delta in calculus). The course particularly emphasizes set-theoretical constructions, such as functions, composition, inversion, forward and inverse images, relations, equivalence relations, partial orders, quotient sets and products and unions of sets, vital to further work in mathematics.

Evaluation

  • No makeup exams are offered.
  • An absence may be excused if sufficient evidence of extenuating circumstances is provided. In this case, the final exam grade

could be used as the grade for the missed exam.

  • Students will have access to several past exams for practice.

Text

Topics List

Date Sections Topics Prerequisite Skills Student Learning Outcomes

1.

  • 1.1-1.2
  • Identify syntactically correct formulas in sentential logic.
  • Translate compound statements in informal language to formal propositional sentences.
  • Find the interpretation of a sentential formula given interpretations of the propositional symbols therein.

2.

  • 1.3-1.4
  • Express informally stated relations between sentences in terms of semantic implication and equivalence.
  • State and recognize basic rules of deductive reasoning and their correct application.
  • Use the rules of deduction to prove basic semantic relations (implication or equivalence) between formal interpretations of propositional formulas.
  • Distinguish between correct and incorrect applications of deductive rules.

3.

  • 1.5-2.2

4.

  • 2.3-2.4

5.

  • 2.4-2.6

6.

  • 3.1-3.3

7.

  • Review of Chapters 1-3.
  • Midterm exam.

8.

  • 4.1-4.3

9.

  • 4.3-4.4

10.

  • 5.1 & 5.3

11.

  • 6.1-6.3

12.

  • 6.3-6.4

13.

  • 6.5

14.

  • 6.6-6.7

15.

  • Catch-up and review for final exam.

See also

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