MAT3013 - Revision history

Lila: /* Topics List */

2021-10-14T20:15:45Z

Topics List

Lila at 19:45, 12 October 2021

2021-10-12T19:45:05Z

Lila: /* Topics List */

2021-10-12T16:11:54Z

Topics List

Lila: /* Topics List */

2021-09-24T17:50:20Z

Topics List

Eduardo.duenez: Slight reformatting.

2020-08-12T17:37:22Z

Slight reformatting.

Eduardo.duenez: Improved comments in wiki code.

2020-08-12T17:35:32Z

Improved comments in wiki code.

Show changes

Eduardo.duenez: Still aligning schedule to content.

2020-08-12T17:23:23Z

Still aligning schedule to content.

Eduardo.duenez: Still editing semester pacing.

2020-08-12T16:29:14Z

Still editing semester pacing.

Show changes

Eduardo.duenez: Adjust semester pacing.

2020-08-12T16:27:42Z

Adjust semester pacing.

Show changes

Eduardo.duenez: List of topics complete up to Chapter 6.

2020-08-12T16:19:18Z

List of topics complete up to Chapter 6.

@@ Line 261: / Line 261: @@
 * [[Sets:Countable]]
 * [[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 -->

@@ Line 225: / Line 225: @@
 ||
 <!-- * Topics -->
-* [[Induction:Variants]]
+* [[Proofs:Induction|Induction:Variants]]
 * [[Recursion]]
 ||

@@ Line 156: / Line 156: @@
 * [[Functions:Definition]]
 * [[Functions:Forward Image]]
-* [[Functions:Inverse Image]]
+* [[Functions:Forward Image|Functions:Inverse Image]]
 * [[Functions:Composition]]
 ||

@@ Line 55: / Line 55: @@
 ||
 <!-- * Topics -->
-* [[Semantic Implication]]
+* [[Logical Implication]]
-* [[Semantic Equivalence]]
+* [[Logical Equivalence]]
 * [[Deductive Rules]]
 ||
@@ Line 284: / Line 284: @@
 <!-- * Outcomes -->
 |}
 ==See also==
 * [https://catalog.utsa.edu/undergraduate/coursedescriptions/mat/ UTSA Undergraduate Mathematics Course Descriptions]

@@ Line 138: / Line 138: @@
 ||
 <!-- * Sections -->
 * Review of Chapters 1-3.
 * Midterm exam.
 ||
 <!-- * Prerequisites -->
@@ Line 276: / Line 276: @@
 ||
 <!-- * Sections -->
 ||
 <!-- * Topics -->
 ||
 <!-- * Prerequisites -->

@@ Line 38: / Line 38: @@
 * [[Sentential Logic]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
 * Identify syntactically correct formulas in sentential logic.
@@ Line 52: / Line 52: @@
 * [[Deductive Rules]]
 ||
 * [[Sentential Logic]]
 ||
@@ Line 67: / Line 68: @@
 * [[Proofs:Direct]]
 ||
 * [[Sentential Logic]]
 * [[Deductive Rules]]
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |4.
@@ Line 79: / Line 81: @@
 * [[Proofs:Contradiction]]
 * [[Proofs:Cases]]
 ||
 * [[Mathematical Proofs]]
 * [[Proofs:Direct]]
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |5.
 ||
-* 2.5-2.6
+* 2.4-2.6
 ||
 * [[Proofs:Quantifiers]]
 * [[Writing Mathematics]]
 ||
 * [[Quantifiers]]
 * [[Mathematical Proofs]]
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |6.
@@ Line 106: / Line 110: @@
 * [[Sets:Families]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |7.
@@ Line 117: / Line 121: @@
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |8.
 ||
-* 4.1-4.2
+* 4.1-4.3
 ||
 * [[Functions:Definition]]
-* [[Functions:ForwardImage]]
+* [[Functions:Forward Image]]
-* [[Functions:InverseImage]]
+* [[Functions:Inverse Image]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |9.
@@ Line 137: / Line 144: @@
 * 4.3-4.4
 ||
 * [[Functions:Inverses]]
 * [[Functions:Injective]]
@@ Line 143: / Line 149: @@
 * [[Functions:Bijective]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |10.
@@ Line 152: / Line 160: @@
 ||
 * [[Relations]]
-* [[Functions as relations]]
+* [[Functions as Relations]]
-* [[Equivalence relations]]
+* [[Equivalence Relations]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |11.
@@ Line 165: / Line 175: @@
 * [[Natural Numbers:Postulates]]
 * [[Natural Numbers:Well-Ordering]]
-* [[Induction]]
+* [[Proofs:Induction]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |12.
@@ Line 178: / Line 191: @@
 * [[Recursion]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |13.
@@ Line 186: / Line 201: @@
 * 6.5
 ||
-* [[Cardinality of sets]]
+* [[Sets:Cardinality]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |14.
@@ Line 204: / Line 223: @@
 * [[Cardinality:𝐑]]
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |-
 |15.
@@ Line 214: / Line 235: @@
 * Catch-up and review for final exam.
 ||
-* Prerequisites
+<!-- * Prerequisites -->
 ||
-* Outcomes
+<!-- * Outcomes -->
 |}
 ==See also==
 * [https://catalog.utsa.edu/undergraduate/coursedescriptions/mat/ UTSA Undergraduate Mathematics Course Descriptions]

@@ Line 158: / Line 158: @@
 |9.
 ||
-* 5.1-5.2
+* 5.1 & 5.3
 ||
 * [[Relations]]
-* [[Congruence]]
+* [[Functions as relations]]
 ||
 * Prerequisites
@@ Line 169: / Line 170: @@
 |10.
 ||
-* 4.3-4
+* 6.1-6.3
 ||
-* [[Equivalence relations]]
+* [[Natural Numbers:Postulates]]
 ||
 * Prerequisites
@@ Line 179: / Line 182: @@
 |11.
 ||
-* 6.1-6.2
+* 6.3-6.4
 ||
-* [[Introduction]]
+* [[Induction:Variants]]
-||
+* [[Recursion]]
 ||
 * Prerequisites
@@ Line 199: / Line 193: @@
 |12.
 ||
+* 6.5
 ||
+* [[Cardinality of sets]]
 ||
 * Prerequisites
@@ Line 219: / Line 203: @@
 |13.
 ||
-* 6.2-6.3
+* 6.6-6.7
 ||
-* [[Cardinality of number systems]]
+* [[Sets:Finite]]
 ||
 * Prerequisites