Difference between revisions of "MAT1313"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Week 5)
(Week 6)
Line 12: Line 12:
 
–
 
–
 
||
 
||
−
* Recognize propositional formulas built from atoms using connectives.
+
* Recognize propositional formulas built from atoms using connectives.
 
*  Correctly interpret propositional formulas using truth tables.
 
*  Correctly interpret propositional formulas using truth tables.
 
|-  <!-- START ROW -->
 
|-  <!-- START ROW -->
Line 20: Line 20:
 
1.3 & 1.4
 
1.3 & 1.4
 
||  <!-- Topics -->
 
||  <!-- Topics -->
−
* Tautologies and Deductions
+
* Tautologies and Deductions.
−
* Quantifiers
+
* Quantifiers.
 
||  <!-- Prereqs -->
 
||  <!-- Prereqs -->
−
* Propositional Logic
+
* Propositional Logic.
 
||  <!-- SLOs -->
 
||  <!-- SLOs -->
 
* Establish whether a propositional formula is a tautology.
 
* Establish whether a propositional formula is a tautology.
Line 42: Line 42:
 
1.5 & 1.6
 
1.5 & 1.6
 
||  <!-- Topics -->
 
||  <!-- Topics -->
−
* Sets
+
* Sets.
−
* Set Operations
+
* Set Operations.
 
* Introduction to proofs of universal statements in set theory
 
* Introduction to proofs of universal statements in set theory
−
* Disproving universal statements via counterexamples
+
* Disproving universal statements via counterexamples.
 
||  <!-- Prereqs -->
 
||  <!-- Prereqs -->
−
* Tautologies and Deductions
+
* Tautologies and Deductions.
−
* Quantifiers
+
* Quantifiers.
 
||  <!-- SLOs -->
 
||  <!-- SLOs -->
 
* Recognize and interpret set equality and set inclusion.
 
* Recognize and interpret set equality and set inclusion.
Line 62: Line 62:
 
2.1
 
2.1
 
||  <!-- Topics -->
 
||  <!-- Topics -->
−
* Divisibility of integers
+
* Divisibility of integers.
−
* The Division Algorithm
+
* The Division Algorithm.
 
||  <!-- Prereqs -->
 
||  <!-- Prereqs -->
−
* Proofs and Counterexamples
+
* Proofs and Counterexamples.
−
* Propositional Logic
+
* Propositional Logic.
−
* Quantifiers
+
* Quantifiers.
 
||  <!-- SLOs -->
 
||  <!-- SLOs -->
 
* Recognize the notion of integer divisibility via its formal definition, examples and counterexamples.
 
* Recognize the notion of integer divisibility via its formal definition, examples and counterexamples.
Line 78: Line 78:
 
2.2 & 2.3
 
2.2 & 2.3
 
||  <!-- Topics -->
 
||  <!-- Topics -->
 +
* Greatest Common Divisor.
 +
* Coprime integers.
 
* The Extended Euclidean Algorithm.
 
* The Extended Euclidean Algorithm.
−
* Linear Diophantine equations in two variables.
+
<!-- * Linear Diophantine equations in two variables. -->
 +
||  <!-- Prereqs -->
 +
* Divisibility of integers.
 +
* The Division Algorithm.
 +
||  <!-- SLOs -->
 +
* Compute the GCD of two integers using the Euclidean algorithm.
 +
* Express the GCD of two integers as a linear combination thereof using the extended Euclidean algorithm.
 +
<!-- * Solve integer linear equations mu+nv=a. -->
 +
|-  <!-- START ROW -->
 +
| <!-- Week# -->
 +
6
 +
|| <!-- Sections -->
 +
3.1–3.3
 +
||  <!-- Topics -->
 +
* Arithmetic congruences and basic modular arithmetic.
 +
* Tests of divisibility.
 
||  <!-- Prereqs -->
 
||  <!-- Prereqs -->
 
* Divisibility of integers.
 
* Divisibility of integers.
 
* The Division Algorithm.
 
* The Division Algorithm.
 
||  <!-- SLOs -->
 
||  <!-- SLOs -->
−
* Express the GCD of two integers as a linear combination thereof.
+
* Use arithmetic congruences to interpret the remainder of integer division.
−
* Solve integer linear equations mu+nv=a.
+
* Use congruences to compute remainders of divisions where the quotient is large or irrelevant.
 +
* Prove basic divisibility criteria by 2, 3, 5, 9 and 11 for number in base 10, using modular arithmetic.
 
|-
 
|-
 
|}
 
|}

Revision as of 10:50, 25 July 2022

Topics List

Week # Sections Topics Prerequisite Skills Student Learning Outcomes
1

1.1 & 1.2

Propositional Logic

–

  • Recognize propositional formulas built from atoms using connectives.
  • Correctly interpret propositional formulas using truth tables.

2

1.3 & 1.4

  • Tautologies and Deductions.
  • Quantifiers.
  • Propositional Logic.
  • Establish whether a propositional formula is a tautology.
  • State De Morgan's Laws of logic.
  • Recognize conditional tautologies as laws of deduction.
  • Express conditionals in disjunctive form.
  • Express the negation of a conditional in conjunctive form.
  • Identify the direct and contrapositive forms of a conditional.
  • Recognize the non-equivalence of a conditional and its converse.
  • Recognize a biconditional as the conjunction of a conditional and its converse.
  • Identify the domain of interpretation of a quantified statement.
  • Correctly interpret quantified statements.
  • Correctly negate quantified statements.

3

1.5 & 1.6

  • Sets.
  • Set Operations.
  • Introduction to proofs of universal statements in set theory
  • Disproving universal statements via counterexamples.
  • Tautologies and Deductions.
  • Quantifiers.
  • Recognize and interpret set equality and set inclusion.
  • Recognize set operations and state their formal definitions.
  • Recognize formal proofs as processes of logical deduction of conclusions from assumptions.
  • Prove basic universal statements pertaining to set inclusion and set operations.
  • Correctly identify false universal statements in set theory and disprove them with appropriate counterexamples.
  • Correctly use propositional and quantified tautologies as deductive laws.

4

2.1

  • Divisibility of integers.
  • The Division Algorithm.
  • Proofs and Counterexamples.
  • Propositional Logic.
  • Quantifiers.
  • Recognize the notion of integer divisibility via its formal definition, examples and counterexamples.
  • Correctly state and apply the Division Algorithm of integers.
  • Prove basic facts pertaining to divisibility and the division algorithm.

5

2.2 & 2.3

  • Greatest Common Divisor.
  • Coprime integers.
  • The Extended Euclidean Algorithm.
  • Divisibility of integers.
  • The Division Algorithm.
  • Compute the GCD of two integers using the Euclidean algorithm.
  • Express the GCD of two integers as a linear combination thereof using the extended Euclidean algorithm.

6

3.1–3.3

  • Arithmetic congruences and basic modular arithmetic.
  • Tests of divisibility.
  • Divisibility of integers.
  • The Division Algorithm.
  • Use arithmetic congruences to interpret the remainder of integer division.
  • Use congruences to compute remainders of divisions where the quotient is large or irrelevant.
  • Prove basic divisibility criteria by 2, 3, 5, 9 and 11 for number in base 10, using modular arithmetic.

Course Catalog

MAT 1313. Algebra and Number Systems. (3-0) 3 Credit Hours.

Corequisite: MAT1214. Basic logic and proofs. Properties of integer numbers, mathematical induction, the fundamental theorem of arithmetic, the infinitude of primes, modular arithmetic, rational and irrational numbers, complex numbers, functions, polynomials, and the binomial theorem. Generally offered: Fall, Spring. Course Fees: LRS1 $45; STSI $21.

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