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