# Math 230. Abstract and Discrete Mathematics

Fall 2022

• Instructor:         Enrique Treviño

• Lectures:           MTWF 11:00am to 11:50am in BR 121

• Office Hours:    MWF from 8am to 9am, MF from 10-11am, TR from 8:30 to 9:30am, and by appointment.

• Office:               Brown Hall 123

• Email:

• Phone Ext.:        #6187

Announcements

Cardinality Lecture Notes. We covered a few things extra in class and we have not covered everything on these notes yet. We will cover everything in these notes and more. Another good resource to read on cardinality is Chapter 13 in the open textbook The Book of Proof by Richard Hammack. The chapter is here.

An excerpt of the comic book Logicomix relevant to the infinite hotel example I mentioned in class.

The third midterm is Wednesday Wednesday December 1. The main topics for the midterm are proof by contradiction, functions, composition of functions, and pigeonhole principle. The section on cardinality would show up in the true-false section of the midterm. To prepare for the midterm, I recommend working on the following:

Some extra notes regarding the Pigeonhole principle.

No class on Friday October 7.

No class on Wednesday September 14 and Friday September 16.

The second midterm is Wednesday November 2. To prepare for the midterm, I recommend working on the following:

• Practice Exam 2 and its
Solutions.
(Note: The solution to problem 4 is listed as 6, the solution to problem 5 is listed as 8 and the solution to problem 6 is listed as 7. The solutions to problem 7 can be found in the poker worksheet. The solution to part e of problem 5 is {3,10,17,24}. The solution to problem 8 is (m+1 choose 2) times (n+ 1 choose 2).
• Midterm 2 Fall 2013 and its
Solutions.
• Midterm 2 Spring 2014 and its
Solutions.

The first midterm is Monday September 26. To prepare for the midterm, I recommend working on the following:

Textbook

Mathematics: A Discrete Introduction by Edward R. Scheinerman.

The textbook is mandatory.

Course Description

Topics covered include logic and proofs, set theory, relations, cardinal numbers, countable and uncountable sets, permutations and combinations, graph theory, and group theory. Prerequisite: Mathematics 110. Under the Forester Fundamental Curriculum, this course meets the Quantitative Reasoning requirement.

Topics we will cover

The main goal of the class is to learn how to do mathematical proofs. We will learn several proof techniques and on the way we will use these techniques on different subjects of mathematics such as number theory, combinatorics, and set theory. We will also cover several important abstract concepts such as relations, functions and partially ordered sets.

The sections in the book that will be covered (possibly in a different order) are:

1-12, 14-17, 19, 20, 22, 24-26, 54-56.

Student Learning Outcomes

Main Goals:
• Understand what a mathematical proof is.
• Learn how to write your own proofs.
• Understand sets and set notation.
• Learn to use mathematical induction.
Secondary Goals:
• Learn to prove by contradiction.
• Learn what an equivalence relation is.
• Learn binomial coefficients.
• Learn what a mathematical definition is.
• Learn what functions are. Furthermore, learn how to prove a function is (or isn't) onto, is or isn't one-to-one.
• Learn what posets are.
• Learn boolean algebra and truth tables.

The course grade will be based on:
Quizzes 20%,
Midterms 45% (15% each),
Final Exam 35%.

Homework and Quizzes

There will be written homework roughly every week. A copy of all homeworks can be accessed here. The dates of the quizzes will be updated as the semester progresses. Collaboration in the homework is permitted. The homework won't be turned in, instead there will be quizzes to test you on the homework exercises. There will be approximately 9 quizzes throughout the semester (roughly every week). The quizzes will consist of 2 or 3 problems which will be similar to the questions assigned on the homework assignment that week (but not necessarily identical).

Exams

There will be three midterms and one final exam. On the midterms and the final exam you must work on the problems on your own. No collaboration permitted in the exams.

The tentative dates for the midterms are:

• The first midterm will be on Monday September 26.
• The second midterm will be on Wednesday November 2.
• The third midterm will be on Wednesday November 30.
• The final exam will be on Monday December 12 from 1:30pm to 4:30pm.

Tutor

Kevin Alba is the tutor for Math 230. He is available at the following times:
• Mondays from 12pm to 1pm BR 215,
• Tuesdays from 12pm to 1:30pm, and from 4pm to 5:30pm BR 316,
• Wednesdays from 12pm to 1pm BR 215,
• Thursdays from 4pm to 6pm BR 216,
• Fridays from 12pm to 1pm BR 216.

Attendance

Students are expected to come to every lecture and every exam.

If the dates of the exams conflict with Lake Forest approved events, inform me as soon as possible.

Description of instructional time and expectations:

This course meets 4 times per week for 4 hours per week. The course carries 1.0 course credit (equivalent to four semester credit hours). Students are expected to devote a minimum of 12 hours of total work per week (in-class time plus out-of-class work) to this course.