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: 24pm in AP&M 5829, 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. 

# 8, 3W 24.01.2018. 

# 9, 3F 26.01.2018. 
Homework 2 collected. Homework 3 announced. 
#10, 4M 29.01.2018. 

#11, 4W 31.01.2018. 
First Midterm. 
#12, 4F 02.02.2018. 
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. 

#14, 5W 07.02.2018. 

#15, 5F 09.02.2018. 
Homework 4 collected. Homework 5 announced. 
#16, 6M 12.02.2018. 

#17, 6W 14.02.2018. 

#18, 6F 16.02.2018. 
Homework 5 collected. Homework 6 announced. 
#19, 7M 19.02.2018. 
President's Day 
#20, 7W 21.02.2018. 

#21, 7F 23.02.2018. 
Homework 6 collected. Homework 7 announced. 
#22, 8M 26.02.2018. 
Second Midterm. 
#23, 8W 28.02.2018. 

#24, 8F 02.03.2018. 
Homework 7 collected. Homework 8 announced. 
#25, 9M 05.03.2018. 

#26, 9W 07.03.2018. 

#27, 9F 09.03.2018. 
Homework 8 collected. Homework 9 announced. 
09.03.2018: Deadline to with "W" grade on transcript.  
#28,10M 12.03.2018. 

#29,10W 14.03.2018. 

#30,10F 16.03.2018. 
Homework 9 collected. 
FI 19.03.2018. 
Final Exam. 11:00pm  2:59pm. Place to be announced. 