Evaluation #69587
Details
904202498
mharris385@gatech.edu
Accepted Applicant
xc4
223 James P Brawley Drive, Atlanta, GA 30314
United States
[ 110936 ]
Mathematical Logic
Spring 2025
(Semester Basis)
3 credit hours
Not Policy
Not Policy
Options
Notes
2025-11-21 12:26:53 - Jake D Vaughn <jvaughn67>
Admitted Spring 2026
2025-11-21 09:16:01 - Madison Dianne Harris <mharris385>
📘 Chapter-by-Chapter Focus 🔹 Chapter 1: Introduction to Proofs (Sections 1.1–1.3) Focuses on: What mathematical proofs are The language of mathematics Basic logical structure of statements Understanding definitions, theorems, and proofs 🔹 Chapter 2: Logic (Sections 2.1–2.11) A deeper dive into formal logic: Logical statements and connectives Truth tables Logical equivalence Quantifiers (“for all,” “there exists”) Negating quantified statements Implications and their meaning Building and analyzing arguments mathematically ➡ This is one of the biggest logic chapters. 🔹 Chapter 3: Set Theory (Sections 3.1–3.5) Covers the foundations of sets: What sets are Subsets, power sets Set operations (union, intersection, complement, difference) Cartesian products Relations between sets Basic properties and identities 🔹 Chapter 4: Functions (Sections 4.1–4.4) Focuses on: What functions are Domain, codomain, range Injective, surjective, bijective functions Composition of functions Inverse functions Proving properties about functions 🔹 Chapter 5: Mathematical Induction (Sections 5.1–5.5) Covers all types of induction: Basic (weak) induction Strong induction Structural induction Proving statements about integers, inequalities, sequences, and algorithms Common pitfalls with induction proofs 🔹 Chapter 6: Relations & Equivalence Classes (Sections 6.1–6.3) Focuses on: Relations and their properties Equivalence relations Partitions of sets Equivalence classes and their uses in mathematics 🔹 Chapter 9: Number Theory (Sections 9.1–9.4) Introduces elementary number theory concepts: Divisibility Greatest common divisors Modular arithmetic Prime numbers Properties of integers proven using earlier proof techniques 🔹 Chapter 10: Boolean Algebra (Sections 10.1–10.3) Covers: Boolean operations (AND, OR, NOT, etc.) Boolean expressions and identities Simplifying Boolean expressions Applications in logic, circuits, and mathematical reasoning
2025-11-21 09:02:28 - Jake D Vaughn <jvaughn67>
What topics are covered in the Chapters/Sections? Please respond and send to Registrar.
Trail Log
2025-11-24 07:25:14
Final equivalencies entered by Emma L Norrell (epresberg6) Final equiv: MATH 2106 (3 hrs). Not policy. Phase set to Complete.
2025-11-23 17:48:42
Draft equivalencies entered by Xu-Yan Chen (xc4) Draft equiv: MATH 2106 (3 hrs). Not policy. Phase set to Registrar 2.
2025-11-21 12:26:53
Assigned to Xu-Yan Chen (xc4) by Jake D Vaughn (jvaughn67). Phase set to Department.
2025-11-21 09:16:24
Resubmitted to Registrar 1 by Madison Dianne Harris (904202498). Phase set to Registrar 1.
2025-11-21 09:02:28
Sent back to Student by Jake D Vaughn (jvaughn67). Phase set to Student. Must be resubmitted.
2025-11-20 23:18:48
Evaluation initiated by Madison Dianne Harris (904202498). Phase set to Registrar 1.