Lecture site:  CENTR 212 
Lecture times:  Monday, Wednesday, Friday. 11:00pm11:50pm. 
Discussion sessions 
B01 927126: Wednesday 4:00p4:50p, AP&M B412 with Renee Mirka
B02 927127: Wednesday 5:00p5:50p, AP&M B412 with Pieter Spaas B03 927128: Wednesday 6:00p6:50p, AP&M B412 with Pieter Spaas 
Final Exam time and place 
March 19th, 2018, 11:30pm  2:29pm. Place to be announced. 
Instructor 
Martin Licht
Email: mlicht AT ucsd DOT edu Office: AP&M 5880E Hours: Monday. 3:00  4:00pm. 
Teaching Assistant 
Renee Mirka
Email: rmirka AT ucsd DOT edu Office Hours: Tuesday 122pm, AP&M 6446 
Teaching Assistant 
Pieter Spaas
Email: pspaas AT ucsd DOT edu Office Hours: Wednesday 24pm in AP&M 5829, Thursday 8:3010:30am in AP&M 7218 
Sections  927126, 927127, 927128 
Course content  This course uses a variety of topics in mathematics to introduce the students to rigorous mathematical proof, emphasizing quantifiers, induction, negation, proof by contradiction, naive set theory, equivalence relations and epsilondelta proofs. Required of all departmental majors. 
Resources recommended in addition 

Formal prerequesite  Math 18 or Math 20F or Math 31AH, and Math 20C. Students who have not completed listed prerequisites may enroll with consent of instructor. 
Credit Hours:  4 units 
Homework information  Homework will announced on Fridays after lecture. Homework can be submitted to the mailboxes on Friday's before 11am in the morning (before the lecture starts), or that the very beginning of Friday's lecture. All submissions must be in handedin in handwritten form. 
Academic Integrity  Every student is expected to conduct themselves with academic integrity. Violations of academic integrity will be treated seriously. See http://wwwsenate.ucsd.edu/manual/Appendices/app2.htm for UCSD Policy on Integrity of Scholarship. 
A+  A  A  B+  B  B  C+  C  C 
100  96.66  96.65  93.33  93.32  90.00  89.99  86.66  86.65  83.33  83.32  80.00  79.99  76.66  76.65  73.33  73.32  70 
Lecture  Content 

# 1, 1M 08.01.2018. 
Administrativa. Examples and Motivation. [Slides] [Slides] 
# 2, 1W 10.01.2018. 
Statements, Implications, Equivalences. [Slides] 
# 3, 1F 12.01.2018. 
Propositions and Logical operators: and, or, negation, eitheror. Truth tables. Composition of logical operations. [Slides] [Slides] Homework 1 announced. 
# 4, 2M 15.01.2018. 
Martin Luther King Day 
# 5, 2W 17.01.2018. 
Further logical connectives. Naive Set Theory [Slides] [Slides] 
# 6, 2F 19.01.2018. 
Classes. Naive Set Theory: settheoretical operations. [Slides] [Slides] Homework 1 collected. Homework 2 announced. 
# 7, 3M 22.01.2018. 
Binary Operators in Set Theory. Quantifiers. [Slides] [Slides] 
# 8, 3W 24.01.2018. 
Quantifiers, continued. 
# 9, 3F 26.01.2018. 
Ordered Pairs and Cartesian Products. [Slides] Homework 2 collected. Homework 3 announced. 
#10, 4M 29.01.2018. 
Some examples for proofs. 
#11, 4W 31.01.2018. 
First Midterm. 
#12, 4F 02.02.2018. 
Further examples for proofs. Elementary number theory: wellordering principle and divisibility. Homework 3 collected. Homework 4 announced. 
02.02.2018: Deadline to change grading option, change units, and drop classes without "W" grade on transcript.  
#13, 5M 05.02.2018. 
Elementary number theory: divisionremainder theorem, prime numbers, greatest common divisor. 
#14, 5W 07.02.2018. 
Euclidean algorithm, Bezout's lemma. Infinitiy of the number of prime numbers. 
#15, 5F 09.02.2018. 
Homework 4 collected. Homework 5 announced. Fundamental theorem of arithmetics. Applications. 
#16, 6M 12.02.2018. 
Fundamental theorem of arithemetics, continued. Infinitude of prime numbers. 
#17, 6W 14.02.2018. 
Mersenne prime numbers. 
#18, 6F 16.02.2018. 
Mersenne prime numbers. Two examples for mathematical induction. Homework 5 collected. Homework 6 announced. 
#19, 7M 19.02.2018. 
President's Day 
#20, 7W 21.02.2018. 
Functions [Slides] [Slides] 
#21, 7F 23.02.2018. 
Functions. Homework 6 collected. Homework 7 announced. 
#22, 8M 26.02.2018. 
Second Midterm. 
#23, 8W 28.02.2018. 
Tuples and Sequences. Relations. [Slides] [Slides] 
#24, 8F 02.03.2018. 
Equivalence Relations. Orders. [Slides] Homework 7 collected. Homework 8 announced. 
#25, 9M 05.03.2018. 
Partial Orders on Functions. 
#26, 9W 07.03.2018. 
Total Orders. Lexicographical ordering on Cartesian Products. 
#27, 9F 09.03.2018. 
Operations on Equivalence Classes. Modulo Arithmetics [Slides] Homework 8 collected. Practice Material for Final Published.. 
09.03.2018: Deadline to with "W" grade on transcript.  
#28,10M 12.03.2018. 
Modulo Arithmetics continued. 
#29,10W 14.03.2018. 
Review 
#30,10F 16.03.2018. 
Review 
FI 19.03.2018. 
Final Exam. 11:30pm  2:30pm. CENTR 212 (Lecture Room!) 