UA Campus Directory:
Office Hours: MWF 10:00-11:00, W 4:00-5:00, F 2:00-3:00.
UA Course Catalog Prerequisites:
MATH 125 or MATH 145
Course Description and Credit Hours
An introduction to mathematical logic and proof within the context of discrete structures. Topics include basic mathematical logic, elementary number theory, basic set theory, functions, and relations. Writing proficiency is required for a passing grade in this course. A student who does not write with the skill normally required of an upper-division student will not earn a passing grade, no matter how well the student performs in other areas of the course.
Required Texts from UA Supply Store:
- EPP(VP) / DISCRETE MATHEMATICS W/APPL (Choose One)
- EPP(VP) (RENTAL) / (RENTAL) DISCRETE MATHEMATICS W/APPL (RENTAL)
- EPP (EBOOK) / DISCRETE MATHEMATICS WITH APPLICATIONS (Choose One)
This course will discuss formal and informal logic and present applications to selected topics in discrete mathematics. This is primarily a course in mathematical thinking. Selected areas include number theory, set theory, and probability theory. Other topics may be introduced as time allows. Students will be expected to understand the notion of mathematical proof and to write their own proofs in these areas.
Student Learning Outcomes
Students will be able to determine the validity of a compound statement, its
converse, inverse, and contrapositive
Students will be able to write proofs using various techniques, including
proof by contradiction
proof by mathematical induction
proof by contrapositive
proof by division into cases
Students will be able to prove properties of sets, including
equality and containment of sets
partitioning of sets through equivalence relations
Students will be able to prove theorems related to the partitioning of sets through
Students will be able to prove theorems related to properties of functions, including:
Other Course Materials
Outline of Topics
The course will include the following topics:
Logic of Compound Statements (2.1-2.3)
Logic of Quantified Statements (3.1-3.4)
Elementary Number Theory and Methods of Proof (4.1-4.7)
Sequences, Mathematical Induction, and Recursion (5.1-5.4, 5.6, 5.7)
Set Theory (6.1-6.3)
Exams and Assignments
Homework will be assigned each week, and will be posted on blackboard.
Exam 1: Wednesday 02/07
Exam 2: Wednesday 03/07
Exam 3: Wednesday 04/11
Final：11:30 am -2:00 pm, Friday 05/04
Homework: 10% (Two of the lowest homework scores will be dropped)
3 in class exams: 60% (20% each)
Comprehensive final exam: 30%
Policy on Missed Exams and Coursework
There will be no extensions of the deadline for homework, unless there are documented legitimated reasons.
A makeup exam may be given in the following cases subject to verification: a medical emergency, a University-sponsored event, a religious event, or a family emergency. A makeup exam should be scheduled at least one week in advance, unless it is due to emergency situations. You must present the documentation either before the exam or as soon as you return to class.
Class attendance is required. Class participation is strongly encouraged. Students are solely responsible for any work missed during an absence.
Notification of Changes
The instructor will make every effort to follow the guidelines of this syllabus as listed; however, the instructor reserves the right to amend this document as the need arises. In such instances, the instructor will notify students in class and/or via email and will endeavor to provide reasonable time for students to adjust to any changes.
Statement on Academic Misconduct
Students are expected to be familiar with and adhere to the official Academic Misconduct Policy provided in the Online Catalog.
Statement On Disability Accommodations
Contact the Office of Disability Services (ODS) as detailed in the Online Catalog.
Severe Weather Protocol
Please see the latest Severe Weather Guidelines in the Online Catalog.
Pregnant Student Accommodations
Title IX protects against discrimination related to pregnancy or parental status. If you are pregnant and will need accommodations for this class, please review the University’s FAQs on the UAct website.
Under the Guidelines for Religious Holiday Observances, students should notify the instructor in writing or via email during the first two weeks of the semester of their intention to be absent from class for religious observance. The instructor will work to provide reasonable opportunity to complete academic responsibilities as long as that does not interfere with the academic integrity of the course. See full guidelines at Religious Holiday Observances Guidelines.
The University of Alabama is committed to an ethical, inclusive community defined by respect and civility. The UAct website (www.ua.edu/uact) provides extensive information on how to report or obtain assistance with a variety of issues, including issues related to dating violence, domestic violence, stalking, sexual assault, sexual violence or other Title IX violations, illegal discrimination, harassment, hate or bias incidents, child abuse or neglect, hazing, threat assessment, retaliation, and ethical violations or fraud.