{"id":427,"date":"2024-09-26T11:09:19","date_gmt":"2024-09-26T11:09:19","guid":{"rendered":"https:\/\/blog.metu.edu.tr\/burakk\/?page_id=427"},"modified":"2024-09-26T11:13:35","modified_gmt":"2024-09-26T11:13:35","slug":"math-320-fall-2024","status":"publish","type":"page","link":"https:\/\/blog.metu.edu.tr\/burakk\/math-320-fall-2024\/","title":{"rendered":"MATH 320 (Fall 2024)"},"content":{"rendered":"<p style=\"text-align: left\"><strong>MATH 320 &#8211; Set Theory<\/strong><br \/>\nCourse Syllabus<\/p>\n<table class=\" alignleft\" width=\"623\">\n<tbody>\n<tr>\n<td width=\"132\"><strong>Instructor:<\/strong><\/td>\n<td width=\"491\">Asst. Prof. Burak Kaya<\/td>\n<\/tr>\n<tr>\n<td width=\"132\"><strong>E-mail:<\/strong><\/td>\n<td width=\"491\">burakk@metu.edu.tr<\/td>\n<\/tr>\n<tr>\n<td width=\"132\"><strong>Website:<\/strong><\/td>\n<td width=\"491\"><a href=\"http:\/\/blog.metu.edu.tr\/burakk\">http:\/\/blog.metu.edu.tr\/burakk<\/a><\/td>\n<\/tr>\n<tr>\n<td width=\"132\"><strong>Office:<\/strong><\/td>\n<td width=\"491\">M-126<\/td>\n<\/tr>\n<tr>\n<td width=\"132\"><strong>Phone number:<\/strong><\/td>\n<td width=\"491\">+90 (312) 210 2996<\/td>\n<\/tr>\n<tr>\n<td width=\"132\"><strong>Office hours:<\/strong><\/td>\n<td width=\"491\">Announced <a href=\"https:\/\/blog.metu.edu.tr\/burakk\/office-hours-2\/\">at this link<\/a><\/td>\n<\/tr>\n<tr>\n<td width=\"132\"><strong>Class hours:<\/strong><\/td>\n<td width=\"491\">Monday 10:40-11:30 and Wednesday 13:40-15:30<\/td>\n<\/tr>\n<tr>\n<td width=\"132\"><strong>Classroom:<\/strong><\/td>\n<td width=\"491\">M-102<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<hr \/>\n<p style=\"text-align: left\"><strong>Prerequisites:<\/strong>\u00a0 \u00a0MATH 111.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Course description:<\/strong> This is an introductory course to axiomatic set theory. We shall learn the axiomatic system <a href=\"https:\/\/www.wikiwand.com\/en\/Zermelo%E2%80%93Fraenkel_set_theory\">ZFC<\/a>, the <strong>Z<\/strong>ermelo-<strong>F<\/strong>raenkel set theory with <strong>C<\/strong>hoice. The main objectives of this course are<\/p>\n<ul style=\"text-align: left\">\n<li>to understand how ZFC provides a foundation for (virtually all) mathematics,<\/li>\n<li>to learn about some set-theoretic techniques that are frequently used in mathematics,<\/li>\n<li>to learn about set theory as a field of mathematics on its own,<\/li>\n<\/ul>\n<hr \/>\n<p style=\"text-align: left\"><strong>Textbook:<\/strong> There will be no \u201cofficial\u201d textbook for this course. We shall be mainly following my lecture notes, which you can find at <a href=\"http:\/\/users.metu.edu.tr\/burakk\/lecturenotes\/320lecturenotes.pdf\">this link<\/a>. Besides my lecture notes, you can use the following excellent textbook<\/p>\n<ul style=\"text-align: left\">\n<li><a href=\"https:\/\/www.crcpress.com\/Introduction-to-Set-Theory-Revised-and-Expanded\/Hrbacek-Jech\/p\/book\/9780824779153\">Introduction to Set Theory<\/a>, Third Edition, Revised and Expanded<br \/>\nby Karel Hrbacek and Thomas Jech, ISBN: 0-8247-7915-0.<\/li>\n<\/ul>\n<p style=\"text-align: left\">a copy of which is available in the library. However, you should keep in mind that some notational conventions and details in my lecture notes may differ from the book. Those students who wish to have supplementary resources in Turkish can also read the old issues of <a href=\"https:\/\/www.matematikdunyasi.org\/\">Matematik D\u00fcnyas\u0131<\/a> that covered axiomatic set theory.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Lectures: <\/strong>Lectures will be held face-to-face in the designated classroom.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Supplementary lecture videos:<\/strong> My lectures for this course from Spring 2018 were recorded as a part of <a href=\"http:\/\/ocw.metu.edu.tr\/\">the METU OCW project<\/a>. You can access the YouTube playlist for these lectures <a href=\"https:\/\/www.youtube.com\/watch?v=N36p3gZNP4U&amp;list=PLuiPz6iU5SQ_3Gubdqa1JHBvM0GBFcIV0&amp;index=7\">from this link<\/a>. You should keep in mind that the video quality and resolution of a few videos in this playlist are not as good as they should have been.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Attendance:<\/strong> Attendance is <em>not<\/em> mandatory, however, is strongly suggested.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Grading:<\/strong>\u00a0There will be two <strong>midterm<\/strong> exams (each out of 100 points), one <strong>final<\/strong> exam (out of 100 points) and a <strong>bonus oral exam <\/strong>(out of 20 points). Each midterm will have %30 weight, the final exam will have %40 weight and the bonus oral exam will have %15 bonus weight in your overall score that is to be used for letter grades. More specifically, your total score will be calculated using the following function of four variables.<\/p>\n<p style=\"text-align: left\">Total score=(Midterm 1 + Midterm 2) x 0.30 + Final x 0.40 + Oral Exam x 0.75<\/p>\n<p style=\"text-align: left\">Your letter grades will be given based on your total score.<\/p>\n<p>I will use\u00a0<strong>Gradescope<\/strong> to grade your midterm and final exams, unless you prefer otherwise in which case you should let me know in advance.<\/p>\n<p>I would like to note that<strong>\u00a0I have been conducting oral exams for this elective course long before the COVID-19 pandemic<\/strong>; so it has been a tradition for me. In these oral exams, contrary to usual midterms and finals where you are expected to solve a relatively complicated problem or prove some implication, I usually ask\u00a0<strong>definitions, basic concepts, some basic examples and fundamental facts.<\/strong>\u00a0This type of oral exam cannot be handled by memorizing the course material without understanding the material. Please study the material well from the beginning of the semester, otherwise it may be impossible to digest all this material in couple of weeks while you prepare for the oral exam. We will decide on the oral exam schedule later during the semester.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Make-up policy:<\/strong> No make-ups will be given without an official report. This policy is non-negotiable. If you are going to miss an exam because of extraordinary conditions, which may not be documented via reports, you should contact me <em>in advance<\/em>.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Academic dishonesty policy:<\/strong> You are expected to be familiar with <a href=\"http:\/\/oidb.metu.edu.tr\/sites\/oidb.metu.edu.tr\/files\/Academic%20Integrity%20Guide%20for%20Students.pdf\">the university\u2019s academic integrity guide<\/a> for students. No form of academic dishonesty is tolerated. If you are caught cheating, then you will fail the course and official disciplinary action may be pursued.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Information for students with disabilities: <\/strong>Students who experience difficulties due to their disabilities and wish to obtain academic adjustments and\/or auxiliary aids must contact ODTU Disability Support Office and\/or course instructor and <a href=\"http:\/\/engelsiz.metu.edu.tr\/en\/advisor-students-disabilities\">the advisor of students with disabilities at academic departments<\/a> as soon as possible. For detailed information, please visit the website of <a href=\"https:\/\/engelsiz.metu.edu.tr\/en\/\">Disability Support Office<\/a>.<\/p>\n<hr \/>\n<p style=\"text-align: left\"><strong>Weekly course plan:<\/strong> Below is the tentative course plan that I usually use. You should keep in mind that I may add\/remove topics or change the order of topics <strong>depending on our progress each week<\/strong>.<\/p>\n<table class=\" alignleft\" width=\"623\">\n<tbody>\n<tr>\n<td width=\"192\"><strong>Week 0 <\/strong><\/td>\n<td width=\"432\">Some historical remarks. Language of set theory and the axioms of ZFC. Some elementary operations on sets.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 1<\/strong><\/td>\n<td width=\"432\">Ordered pairs, relations and functions. Products and sequences.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 2<\/strong><\/td>\n<td width=\"432\">Equivalence relations and partitions.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 3<\/strong><\/td>\n<td width=\"432\">Order relations. Well-orders and well-founded relations. Natural numbers.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 4<\/strong><\/td>\n<td width=\"432\">Natural numbers. Induction, recursion and arithmetic on natural numbers.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 5<\/strong><\/td>\n<td width=\"432\">Equinumerosity. Finite sets.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 6<\/strong><\/td>\n<td width=\"432\">Infinite sets. Cantor\u2019s theorem. Cantor-Schr\u00f6der-Bernstein theorem.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 7<\/strong><\/td>\n<td width=\"432\">Construction of various number systems.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 8<\/strong><\/td>\n<td width=\"432\">Ordinal numbers. The structure of the class of ordinals numbers.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 9<\/strong><\/td>\n<td width=\"432\">The structure of the class of ordinals numbers. Transfinite induction and transfinite recursion on ordinal numbers.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 10<\/strong><\/td>\n<td width=\"432\">Arithmetic of ordinal numbers. Cantor normal form of ordinals.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 11<\/strong><\/td>\n<td width=\"432\">Some equivalent forms and consequences of the Axiom of Choice. Cardinal numbers. Arithmetic of cardinal numbers.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 12<\/strong><\/td>\n<td width=\"432\">Arithmetic of cardinal numbers. Continuum Hypothesis and Generalized Continuum Hypothesis.<\/td>\n<\/tr>\n<tr>\n<td width=\"192\"><strong>Week 13<\/strong><\/td>\n<td width=\"432\">Cofinality. K\u00f6nig\u2019s theorem and its consequences. The von Neumann hierarchy. Epsilon-induction and epsilon-recursion.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: left\">\n","protected":false},"excerpt":{"rendered":"<p>MATH 320 &#8211; Set Theory Course Syllabus Instructor: Asst. Prof. Burak Kaya E-mail: burakk@metu.edu.tr Website: http:\/\/blog.metu.edu.tr\/burakk Office: M-126 Phone number: +90 (312) 210 2996 Office hours: Announced at this link Class hours: Monday 10:40-11:30 and Wednesday 13:40-15:30 Classroom: M-102 Prerequisites:\u00a0 \u00a0MATH 111. Course description: This is an introductory course to axiomatic set theory. We shall [&hellip;]<\/p>\n","protected":false},"author":4571,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-427","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/pages\/427","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/users\/4571"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/comments?post=427"}],"version-history":[{"count":0,"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/pages\/427\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/media?parent=427"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}