Note: this is the course webpage before March 23, 2020. The rest of the class is online. Please visit Canvas to see the course materials.


Math 250: Foundations of Mathematics, Spring 2020

Course Information

  • Instructor: Yiran Wang
  • Email: yiran.wang(at)emory.edu
  • Office: E414 at MSC
  • Office hours: T, Th: 10:30am-11:30am or by appointment.

  • Text book: "An Introduction to Abstract Mathematics", Bond and Keane
  • Course syllabus
  • Grades (on Canvas)

Exam information

Homemork

Running schedule

  • 01/15, Wed: syllubas, paradoxes, proof notions, sec 1.1.
  • 01/20, Mon: holliday, no class.
  • 01/22, Wed: sec 1.1, 1.2: statements, quantifiers, negation.

  • 01/27, Mon: sec 1.2, 1.3: equivalent statements, implication.
  • 01/29, Wed: sec 1.3, 5.3, 5.4: proof and disprove, divisibility, primes.

  • 02/03, Mon: sec 1.4, 5.3: more complicated proof, converse, necessary/sufficient conditions.
  • 02/05, Wed: sec 1.4, 5.4: contrapositive, proof by contradiction.

  • 02/10, Mon: sec 1.4, 5.4: more proof by contradiction
  • 02/12, Wed: sec 2.1: sets basic, subsets.

  • 02/17, Mon: sec 2.2: operation on sets, complements, union, intersection.
  • 02/19, Wed: sec 2.3: Cartesian product, power sets.

  • 02/24, Mon: midterm 1.
  • 02/26, Wed: sec 3.1: functions, domain, image, pre-image etc.

  • 03/02, Mon: sec 3.2: surjection and injection.
  • 03/04, Wed: sec 3.3: composition.

  • Spring break.

  • Extended spring break.

Announcements and Resources