{"id":305,"date":"2021-09-29T19:11:06","date_gmt":"2021-09-29T19:11:06","guid":{"rendered":"https:\/\/blog.metu.edu.tr\/burakk\/?page_id=305"},"modified":"2021-10-18T11:35:56","modified_gmt":"2021-10-18T11:35:56","slug":"math-406-spring-2021","status":"publish","type":"page","link":"https:\/\/blog.metu.edu.tr\/burakk\/math-406-spring-2021\/","title":{"rendered":"MATH 406 (Fall 2021)"},"content":{"rendered":"<p><strong>MATH 406, Introduction to mathematical logic and model theory<\/strong><br \/>\nCourse Syllabus<\/p>\n<table 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\">Wednesday 13:40-15:30<br \/>\nFriday 13:40-14:30<\/td>\n<\/tr>\n<tr>\n<td width=\"132\"><strong>Classroom:<\/strong><\/td>\n<td width=\"491\">M-103<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<hr \/>\n<p><strong>Prerequisites:<\/strong> \u00a0 There are no official prerequisites for <a href=\"https:\/\/catalog.metu.edu.tr\/course.php?prog=236&amp;course_code=2360406\">this course<\/a>. However, since most examples in the course will be of algebraic nature, you are strongly suggested to have a solid understanding of topics in MATH116\/367.<\/p>\n<p><strong>Instruction method:<\/strong> Although the instruction method for this course has been <a href=\"https:\/\/math.metu.edu.tr\/en\/announcement\/instruction-methods-2021-2022-fall-semester-courses-1\">announced<\/a> as &#8220;hybrid&#8221;, <strong>100% of the lectures will be held face-to-face. <\/strong>I would like to point out that this possibility (that all lectures are held face-to-face) was stated in the relevant announcement.<\/p>\n<p>I will be holding lectures online <strong>only in the case<\/strong> that I have to be quarantined due to COVID-19 precautions. I am hoping that I stay not infected and this situation never occurs.<\/p>\n<p>While the lectures will be held face-to-face, I will also be recording each lecture and the recordings will be available each week on ODTU Class and YouTube. <strong>Consequently, students who do not want to show up for the class can watch the lecture videos online.<\/strong><\/p>\n<p>Due to COVID-19 precautions, our classroom M-103 has been declared to have capacity for only 14 students. In other words, more than 14 students cannot be present in the classroom simultaneously. As a result of this restriction, I will do the following:<\/p>\n<ul>\n<li>After the registration and add-drop periods, registered students will fill out two different surveys to let me know whether they want to attend the lectures face-to-face or will follow lectures online via recordings.<\/li>\n<li>If more than 14 students decide to attend the lecture face-to-face, then I will split students into groups and ask each group to show up in the classroom only on certain days and follow lectures via recordings on the other days. Otherwise, we cannot follow the capacity restrictions.<\/li>\n<li>When you are registering for the course, be aware of this possibility.<\/li>\n<li><strong>Unfortunately, I cannot think of another solution to this issue and you are more than welcome to suggest solutions. If you are unhappy with this decision, you can talk to the chair of the department or dean&#8217;s office. I am willing to implement other solutions that will allow more students to attend the face-to-face lectures.<\/strong><\/li>\n<\/ul>\n<p><strong>Course description:<\/strong> This is an introductory undergraduate level course to <a href=\"https:\/\/www.wikiwand.com\/en\/Mathematical_logic\">mathematical logic<\/a>. The aim of the course is to introduce first-order logic, prove the related fundamental results (such as completeness, compactness and L\u00f6wenheim-Skolem theorems) and cover the basics of first-order<a href=\"https:\/\/www.wikiwand.com\/en\/Model_theory\"> model theory<\/a>. (If time permits, we may prove G\u00f6del&#8217;s incompleteness theorem and Tarski&#8217;s theorem of undefinability of truth. However, I suspect that we will not have enough time. Depending on the audience&#8217;s wishes, we may have extra lectures to cover these.)<\/p>\n<p><strong>Textbook:<\/strong> We shall be using several parts of the following two textbooks.<\/p>\n<ul>\n<li><a href=\"https:\/\/textbooks.opensuny.org\/a-friendly-introduction-to-mathematical-logic\/\">A Friendly Introduction to Mathematical Logic<\/a> by Christopher Leary\u00a0and\u00a0Lars Kristiansen, ISBN: 978-1-942341-07-9.<\/li>\n<li><a href=\"https:\/\/www.cambridge.org\/core\/books\/an-invitation-to-model-theory\/CC61059C533D4799D77E1BECEBC21C47\">An Invitation to Model Theory<\/a> by Jonathan Kirby, <span class=\"medium-4\">Online ISBN:<\/span><span class=\"medium-8\">9781316683002.<\/span><\/li>\n<\/ul>\n<p>Besides these, curious students may take a look at the books<\/p>\n<ul>\n<li><a href=\"https:\/\/link.springer.com\/book\/10.1007%2F978-1-4614-5746-6\">A Course on Mathematical Logic<\/a> by <span class=\"authors__name\">Shashi Mohan Srivastava, Print ISBN: 978-1-4614-5745-9.<\/span><\/li>\n<li><a href=\"https:\/\/link.springer.com\/book\/10.1007%2F978-1-4471-2176-3\">Mathematical Logic and Model Theory<\/a> by Alexander Prestel and Charles N. Delzell, Online ISBN: 978-1-4471-2176-3.<\/li>\n<\/ul>\n<p>as well as <a href=\"https:\/\/www.math.ucla.edu\/~ynm\/lectures\/lnl.pdf\">Yiannis N. Moschovakis&#8217; lecture notes at this link<\/a> as a supplementary resource. Those students who are interested in reading a <em>graduate-level<\/em> textbook in model theory may look at <a href=\"https:\/\/link.springer.com\/book\/10.1007%2Fb98860\">Dave Marker&#8217;s classical textbook on the topic<\/a> as well.<\/p>\n<p>We will be using the first textbook to cover the first-order logic and related fundamental results, and using the second textbook to cover basics of model theory. Each of these textbooks has its upsides and downsides. Consequently, I may be using one book to cover a certain result and use another one to cover another result.<\/p>\n<p><strong>Attendance:<\/strong> Attendance is not mandatory. Indeed, in some cases, you may have to not attend certain lectures. Please read the intruction method part of the syllabus to learn about why and when this may happen.<\/p>\n<p>Based on a note by the Dean&#8217;s Office which is forwarded to the faculty members of department, no student is going to be admitted to the classroom without registering their HES code to the university&#8217;s system via <a href=\"https:\/\/portal.metu.edu.tr\/\">portal.metu.edu.tr<\/a>.<\/p>\n<p>Recall also that the university administration <a href=\"https:\/\/oidb.metu.edu.tr\/tr\/2021-2022-akademik-yili-guz-donemi\">announced<\/a> on September 3, 2021 that<\/p>\n<p>&#8220;Y\u00fcz y\u00fcze e\u011fitim yap\u0131lan ders ve uygulama mekanlar\u0131nda ve t\u00fcm kapal\u0131 alanlarda maske takma zorunlulu\u011fu getirilecektir. Bu \u015fart\u0131 yerine getirmek istemeyenler dersliklere ve ilgili alanlara al\u0131nmayacak; bu konudaki takip, uygulama ve sorumluluklar ilgili akademik ve idari birim y\u00f6neticilerine verilecektir.&#8221;<\/p>\n<p>and that<\/p>\n<p>&#8220;B\u00fct\u00fcn \u00f6\u011frencilerin ve t\u00fcm personelin dersliklere, ortak \u00e7al\u0131\u015fma ve kullan\u0131m alanlar\u0131na girebilmeleri i\u00e7in e-Nab\u0131z ko\u015fullar\u0131na g\u00f6re a\u015f\u0131 s\u00fcre\u00e7lerini tamamlam\u0131\u015f olmalar\u0131; hen\u00fcz a\u015f\u0131lar\u0131n\u0131 tamamlamam\u0131\u015f olan \u00f6\u011frencilerin ve personelin ise beyan edilen g\u00fcn dahil en fazla 3 g\u00fcn \u00f6nce al\u0131nm\u0131\u015f negatif sonu\u00e7lu PCR testi sunmalar\u0131 gereklidir.&#8221;<\/p>\n<p>You can find English versions of these announcements <a href=\"https:\/\/oidb.metu.edu.tr\/en\/2021-2022-academic-year-fall-semester\">following this link<\/a> in Academic Procedures Item 9 and Administrative Procedures Item 1.<\/p>\n<p><em>For this reason, any student who refuses to wear a mask in the classroom will be reported to the chair of the department and will be physically removed from the classroom by the authorities, if necessary. Your vaccination status or PCR tests may also be checked while entering the classroom.<\/em><\/p>\n<hr \/>\n<p style=\"padding-left: 40px\"><strong>Exams and grading:<\/strong> There will be two midterm exams (each out of 60 points) and a final exam (out of 80 points) together with a bonus take-home assignment (out of 10 points) that will be given after the final-exam. Your total grade (out of 110 points) will be computed by the following formula:<\/p>\n<p>Total grade=(Midterm 1+Midterm 2+Final exam)*0.5+Take-home assignment<\/p>\n<p><strong>Both midterms and the final exam are planned to be held in-person and are NOT online exams.<\/strong><\/p>\n<p>Let me now talk about some imaginary scenarios which hopefully are not going to not take place. <strong>If at any point during the semester, the Council of Higher Education or the university administration decides that we cannot hold face-to-face exams due to new COVID-19 restrictions<\/strong>, then<\/p>\n<ul>\n<li>the remaining exams will be conduced as <strong>webcam-proctored online exams<\/strong> via Zoom or BigBlueButton and these remaining exams will be worth 80% of what they are originally planned to be worth. In this case, there will be an oral exam that is worth the remaining points (excluding the bonus take-home assignment).<\/li>\n<li>For example, suppose that before we conduct the first midterm, the university decides that there will be no more in-person exams due to new COVID-19 restrictions. In that case, the two midterms and the final exam will be worth 48 points, 48 points and 64 points respectively. Then the exams add up to (48+48+64)*0.5=80 points. This means that the oral exam will be worth 20 points.<\/li>\n<li>Now, suppose that after we conduct the first midterm as an in-person exam, the university decides that there will be no more in-person exams due to new COVID-19 restrictions. In that case, the second midterm and the final exam will be worth 48 points and 64 points respectively. Then the exams add up to (60+48+64)*0.5=86 points. This means that the oral exam will be worth 14 points.<\/li>\n<li>Finally, suppose that we conduct both midterms as in-person exams and then it is decided that there will be no more in-person exams due to new COVID-19 restrictions. In that case, the final is worth 64 points. Then the exams add up to (60+60+64)*0.5=92 points. This means that the oral exam will be worth 8 points.<\/li>\n<\/ul>\n<p>While it may be obvious at this point, to avoid confusion, let me emphasize the following: <strong>There will not be an oral exam if we can have all exams held in-person<\/strong>.<\/p>\n<hr \/>\n<p><strong>Academic dishonesty policy:<\/strong> You are expected to be familiar with the university\u2019s academic integrity guide for students. No form of academic dishonesty is tolerated.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>MATH 406, Introduction to mathematical logic and model 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: Wednesday 13:40-15:30 Friday 13:40-14:30 Classroom: M-103 Prerequisites: \u00a0 There are no official prerequisites for this course. However, since most [&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-305","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/pages\/305","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=305"}],"version-history":[{"count":0,"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/pages\/305\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.metu.edu.tr\/burakk\/wp-json\/wp\/v2\/media?parent=305"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}