Tuesday, Thursday 10:30-11:45
Room: 산경 Industrial Engineering Management Building E2-1225
TA: to be announced
Instructor:
Suhyoung Choi
Mail: shchoixk at math kaist ac kr
Course Homepage: mathsci.kaist.ac.kr/~schoi/logic2018F.html
This is an EDUCATION 3.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.
• Lecture notes will be also posted in klms.kaist.ac.kr.
• You will listen to about 2 lectures each week and read corresponding parts of the books.
The class: This is for quiz and exercise sessions:
• The students with an odd student id number will
attend the Tuesday classes and ones with an even id number will attend the Thursday classes.
(The team will be divided on the first week by the last digit of the
student ID number. After the 3rd week, we will regroup if necessary. However, if the number of students are small we may have only one class per week.)
• The quiz is given in the beginning for 15 minutes.
It will cover the lecture material for the week and also the material
in the previous week. (2 parts.)
• Then we will have a Q&A time for the video lecture materials.
• After quiz, we will be solving problems in teams of
5-6 students helped by TAs. (Teams to be organized by us and posted on
klms.) One person from the team will solve the problems on the
whiteboards and present the solutions. The answers will be graded by
TAs. The grades will be for the teams.
• In the last three weeks, we will have presentations
on materials not covered by lectures by teams. Your team will be given
2-3 weeks to prepare. The team scores are given. The team scores will
be graded by myself.
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.
There will be six parts to this course. The first five parts are given by the instructor:
Logic: Chapters 1,8,2,3,4,
Logic: Chapters 5,6,7
HTP: Chapters 2,3.
HTP: Chapters 4,5,6
NS: Chapters 1-11
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, 2nd edition, Cambridge University Press (HTP)
Halmos, Naive
Set theory, Springer (NS)
(There are many reprints from companies other than Springer. Buy all of these. If not available in Korea, order from www.amazon.com. )
You must join MAS270 in KLMS. All of the activity will take place there. You have to submit reports and homework 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.
We will divide into teams after the midterm and your teams will
be assigned topics to present then.
Quizzes will be done individually.
There will be exercise sessions probably in two sections from the second week on. We will have quizzes and problem sessions
where the students will solve problems and exchange ideas with TAs.
Grades Distributions: Attendance 10%, Quiz 50%, Solving Problems 20%, Team Presentation 20% (no midterm, final exams)
(The lecture notes will be updated many times in the semester.)
The
presentations must include:
History and motivation, the outline of the theory, the theory itself,
applications, the current status and uses,
the
problems and
limitations and controversies. Your principal source should be the book
by Halmos. Each team will be given 25 minutes to present the material.
Presentation topics will be given later.