Monday, Wednesday 2:30-3:45
Room: E2 No. 1225
TA: to be announced
Instructor: Suhyoung Choi
Mail: shchoixk at kaist ac kr
Course Homepage: mathsci.kaist.ac.kr/~schoi/logic2023.html
This is an EDUCATION
4.0 course. (For
more details, see CELT.)
• The lectures will be given by videos posted in klms.kaist.ac.kr each week.
One is automatically subscribed to this course in klms.kaist.ac.kr. We will use
OneNote for lecture notes and distribute the links to you. (Download OneNote
from kftp.kaist.ac.kr)
• You will listen to video lectures each week and read corresponding
parts of the books. (See the course schedule pdf file.)
How the course will run:
1. We will have an offline meeting at each class time (Monday Wednesday 2:30-3:45).
2. The students with even student Id numbers will attend the Monday meetings and ones with odd Id numbers will attend the Wednesday meetings. The team will be divided on the first week by the last digits of the student ID numbers. After the 3rd week, we will regroup if necessary. However, if the number of students are small we may have only one meeting per week.
3. We take an online quiz for 15 minutes. It will cover the lecture material for the week and also the material in the previous week. (2 parts.) There are no midterm or the final exams.
4. Then we do group discussions for 40 minutes by dividing the class into groups. We will be solving and presenting the solution to group problems in teams of 3-5 students helped by TAs. One person from the team will give the presentation. Teams are to be organized by us and posted in the KLMS. The answers will be graded by TAs. The grades will be for the teams. (The discussion problems will be posted and assigned one or two days earlier. You can work on these ahead of classes.)
5. In the final 20 minutes, the groups will present their solutions. Microsoft OneNote can be used here. We will make OneNote notebooks for each group.
6. In the last two or three weeks, we will have presentations on materials not covered by lectures by teams. Your team will be given two to three weeks to prepare. The team scores are given.
7. If one has a valid health related reason not to attend, you can join using Zoom as well (also for quizzes). We will proved a Zoom link that can be used. IT requirements: for Zoom: We suggest you to have something like ipads or galaxy tablets to help writing. The group can share their notes between the members since it is realtime updatable. During the quiz, you cannot use OneNote.
8. There will be peer grading. We will give precise policy
later in KLMS. The points will go to the class contribution scores. Of course we will only consider the grades you gave and
not actually be bound by these.)
Exact covid policy will be explained later. Please see the notice board of the KLMS later on.
We will introduce the logical structure of mathematics. You will learn to prove mathematical statements. Also, the set theory and transfinite numbers are introduced. We will not go deeply into mathematical logic or the set theory, but we will concentrate on learning to prove. We will try to be elementary as possible. (The set theory is taught by myself in the beginning but you will have to present some later parts that you actively learn by teams.)
There will be six parts to this course. The first five parts are given by the instructor:
1. Logic: Chapters 1,8,2,3,4, (Logic)
2. Logic: Chapters 5,6,7 (Logic)
3. HTP: Chapters 2,3. (Proof)
4. HTP: Chapters 4,5,6 (Proof)
5. NS: Chapters 1-25 (Set theory)
6. Presentations: You will be given topics.
Texts:
Nolt, Rohatyn, Varzi, Schaum's outline of Logic, 2nd edition, Schaum Series
(Logic)
Velleman, How to Prove it, 3rd edition, Cambridge University Press (HTP)
(Section 4.5 of the 2nd edition will be covered. A scan is provided. )
Halmos, Naive Set theory, Springer (NS)
(Some of these might be downloadable from the KAIST main library. Buy all of these. If not available in Korea, order from www.amazon.com. I recommend Kindle versions.)
You cannot make copies in large numbers with the classmates. This can only be done individually. Please respect the copyright laws.
You must join MAS270 in KLMS. All of the activity will take place there and in the class room. You have to submit reports and homeworks and so on there.
The midterm and the final
will be replaced by quizzes, reports and group presentations. The students will
be required to give presentations and will be graded. Each presentation group
will consists of several students. Teams will be assigned topics to present then.
Evaluation will be done as follows: A, B, C, D, E, F, I. Also, A+ will be given to only very exceptional work surpassing
expectations. A0 is given to the perfect work for reports and so on. We will
have a claim session twice during the semester. The grading is done by
subjective judgements of the TAs and the instructors following the long tradition
of the universities of the world. The online quiz will be submitted to the
KLMS system by clicking your solutions. We will also give group problems ahead
of classes by one or two days. Your group can discuss and solve and plan
presentations ahead of the classes. (We will use "peer
grading" for group presentations. These are
counted in class contribution scores)
Grades Distributions: Attendance 5%, Class contribution 5%, Quiz 30%, Solving Discussion Problems 40% (oral 20%, submitted file 20%), Final Team Presentation 20% (no midterm, no final exam) (One can miss up to two classes without any penalities. After that, the grades will be normalized with some penalties.)
See also the course schedule pdf file.