MATH 150 FALL 2020 COURSE INFORMATION

TEXTBOOK: Herbert Enderton: A Mathematical Introduction to Logic
Important: It is difficult to find a book for this course which is at the right level. Enderton's book is close to what is going to be covered, but we will cover less than the first half of the book, and we will not follow the book too closely. Additionally there will be some material covered in the lecture which is not in the book. Additionally, the Axiom System and the system of rules of inference will differ from those in the book. For these reasons, you do not need to have a copy of the book, unless you really want it.
- I will write lecture notes and will be posting them on Canvas as the course will proceed.
- I will go over everyithing in the lecture.
- Basic practice problems will be covered in the discussions.
- I will put together homework assignments which will be posted on Canvas, and these will not refer to the book.

PREREQUISITES: It will be assume that you have taken Math 13 and are comfortale with basic work with sentential connectives and quantifiers, basic set operations, equivalence relations and partitions, and know whaat countable and uncountable sets are. Knowledge of the material covered in Math 120AB and 140AB is helpful, but not required.

TOPICS COVERED (APPROXIMATE PLAN)

EXAMS: There will be one midterm and a final.  The dates are as follows: 
     MIDTERM:  TBA
     FINAL:  Wednesday December Dec 16  8:00-10:00am (See WEBSOC)
Please let me know as soon as possible if you have any time conflict/emergency in order that you be accommodated.

HOMEWORKS:   (a) There will be 6-8 homework assignments, depending on the pace of the course.
(b) You can work on the homeworks alone or form a group of two. But you have to decide at the beginning of the quarter and keep your decision throughout the quarter. That is, once you decide to work alone you have to keep working alone throughout the quarter. Once you decide to form a group of two, you have to keep this group, that is, the group with the same person, throughout the quarter. Each of the two approaches has its advantages and disadvantages, so think about what works for you best.
(c) Groups of two should turn in only one homework paper, with both names and student ID's on it. Both members of a group of two will get the same point score for each homework paper.
(d) If you are in a group of two and you run into problems with the other group memeber please discuss the issue with me as soon as possible.

FINAL GRADE: The final grade will be determined depending on the following factors: Final, Midterm and Homeworks. The lowest homework score will be dropped. The respective factors will have the following weights:
FINAL: 35%     MIDTERM: 25%    HOMEWORK: 40%  
The final grade will be determined on a curve based on the points earned during the quarter. The curve is determined by the following algorithm:
   * Cutoff point for D: Mean value  minus  standard deviation
   * Cutoff point for A: Mean value plus standard deviation
   * The interval between the two cutoff points will be divided into equal parts to determine the remaining grades.

NO EXTRA CREDIT WILL BE GIVEN: everyone will be evaluated based on equal criteria. 

EMERGENCIES: In case of emergency the instructor should be notified as soon as possible.

HOME  Math 150