תשובות לערעורים ומועד מילואים | |
שלום רב לכל הסטודנטים. 1. הערעורים עבור מועד ב' נבדקו ונענו. אין אפשרות לערער על תשובה לערעור, ולכן אין לשלוח מיילים המבקשים זאת. 2. אם הנכם מעוניינם וזכאים להיבחן במועד מילואים, הנכם מתבקשים לשלוח בקשה לכתובת המייל u234293logicatgmail.com עד יום שלישי הקרוב (27.3) בשעה 23:59, בפורמט הבא: כותרת: מועד מילואים, שם הסטודנט/ית, מספר זהות של הסטודנט/ית. גוף ההודעה: סיבת הזכאות + צירוף האישורים המתאימים (אישורי מילואים). שימו לב: יש לשלוח את הבקשה גם אם כבר שלחתם בקשה ו/או אישור בעבר (כל בקשה שנשלחה בטרם פרסום הודעה זו לא תאפשר היבחנות במועד המילואים). בברכה, צוות הקורס |
עדכון אחרון ב-25/3/2018, 22:34:03 Last updated on 25/3/2018, 22:34:03 Последняя модификация25/3/2018, 22:34:03 تمت الحتلنة الأخيرة ب-25/3/2018, 22:34:03 |
Moed B appeals extension | |
Moed B appeals can be submitted by Sunday 25/3 at noon, according to the instructions in the previous announcement. |
פורסם ב-23/3/2018, 12:28:38 Created on 23/3/2018, 12:28:38 Создано23/3/2018, 12:28:38 تم النشر ب-23/3/2018, 12:28:38 |
Moed B Exam grades and Final grades are now online | |
For the original exam grades (as you will see on your scans), grades of 50-54 were increased to 55. Then, the HW bonus (rounded up) was given for students who passed the exam. The scans should be available in the next few days. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Friday, 23.3.18 at 12:00 (noon). No appeals will be accepted after this date. 2. Send your appeal by email to u234293logicatgmail.com, as a plain text (avoid Word files, PDFs and scans). There's no need to attach a copy of the exam. Remember to include your name and id number. 3. In the appeal, you should write, for each question you wish to appeal for, the reason of the appeal. Appeal only if you think we deducted points for a correct answer. Do not appeal if your answer is missing information or is not clear enough, since we used the same grading key for all students. Remember that in any case, we might recheck your entire exam. 4. An announcement will be published after ALL appeals are checked and answered. Please do not inquire about your appeal before you see such an announcement. |
עדכון אחרון ב-18/3/2018, 14:52:55 Last updated on 18/3/2018, 14:52:55 Последняя модификация18/3/2018, 14:52:55 تمت الحتلنة الأخيرة ب-18/3/2018, 14:52:55 |
בקשות למועד מיוחד | |
עקב בקשות למועד מיוחד, אני מפנה אתכם לקובץ שאלות ותשובות בנושא: http://www.cs.technion.ac.il/undergraduate/qa/qa-special/QA_Special.pdf לא יאושר מועד מיוחד אלא כפתרון במקרה של שירות מילואים בהתאם לתקנון. בהצלחה לניגשים למועד ב! קרן |
פורסם ב-6/3/2018, 09:39:14 Created on 6/3/2018, 09:39:14 Создано6/3/2018, 09:39:14 تم النشر ب-6/3/2018, 09:39:14 |
Reception hour change | |
Please notice that Sarai's reception hour before Moed B has changed to be held on Tuesday, 10.30-11.30 instead of 9.30-10.30 that day. |
פורסם ב-4/3/2018, 12:21:06 Created on 4/3/2018, 12:21:06 Создано4/3/2018, 12:21:06 تم النشر ب-4/3/2018, 12:21:06 |
Moed B reception hours + Daf Ezer | |
Moed B will be held on Sunday, 11.3, 9:00-12:00, at Fishbach building, rooms 403,405, 504-507 (rooms 504-506 are for time extension) and Meyer building, room 165. We will hold special reception hours before the exam: Yamit - Sunday 4.3, 17:30-18:30, Taub 301 Waseem - Monday 5.3 10:30-11:30, Taub 301 Keren - Monday 5.3 13:30-14:30, Taub 516 Sarai - Tuesday 6.3 10.30-11.30, Taub 618 Michael - Wednesday 7.3 9:30-10:30, Taub 301 Muhammed - Wednesday 7.3 18:30-19:30, Taub 301 Gail - Thursday 8.3 14:30-15:30, Taub 201 You can find the Daf Ezer for the exam under the Course Material tab. These 7 pages will be included in the exam (do not bring them with you) and is the only material you are allowed to have with you during the exam. Good luck, Course staff |
עדכון אחרון ב-4/3/2018, 12:21:45 Last updated on 4/3/2018, 12:21:45 Последняя модификация4/3/2018, 12:21:45 تمت الحتلنة الأخيرة ب-4/3/2018, 12:21:45 |
The Factor for Moed Alef | |
The grade you see in Exam_A is calculated as the following piece-wise linear function y of the grade x=ExamAoriginal: y = floor((x-x1)(y2-y1)/(x2-x1)+y1) If x is between 0 and 40, then (x1,y1)=(0,0), (x2,y2)=(40,50) If x is between 40 and 50, then (x1,y1)=(40,50), (x2,y2)=(50,70) If x is between 50 and 77, then (x1,y1)=(50,70), (x2,y2)=(77,90) If x is between 77 and 100, then (x1,y1)=(77,90), (x2,y2)=(100,100) (grades of 50-54 were increased to 55) |
פורסם ב-26/2/2018, 09:05:58 Created on 26/2/2018, 09:05:58 Создано26/2/2018, 09:05:58 تم النشر ب-26/2/2018, 09:05:58 |
Moed A Exam grades and Final grades are now online | |
Moed A Exam grades and Final grades are now online. The original exam grades (as you will see on your scans) were increased by a piece-wise linear function, after which grades of 50-54 were increased to 55. This resulted in a median of 72, 22.3% failures, and 11.5% of 90+ grades. Then, the HW bonus (rounded up) was given for students who passed the exam. The scans should be available in the next few days. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Sunday, 4.3.18 at 12:00 (noon). No appeals will be accepted after this date. 2. Send your appeal by email to u234293logicatgmail.com, as a plain text (avoid Word files, PDFs and scans). There's no need to attach a copy of the exam. Remember to include your name and id number. 3. In the appeal, you should write, for each question you wish to appeal for, the reason of the appeal. Appeal only if you think we deducted points for a correct answer. Do not appeal if your answer is missing information or is not clear enough, since we used the same grading key for all students. Remember that in any case, we might recheck your entire exam. 4. An announcement will be published after ALL appeals are checked and answered. Please do not inquire about your appeal before you see such an announcement. |
עדכון אחרון ב-22/2/2018, 14:20:31 Last updated on 22/2/2018, 14:20:31 Последняя модификация22/2/2018, 14:20:31 تمت الحتلنة الأخيرة ب-22/2/2018, 14:20:31 |
סקיצת פתרון | |
לסטודנטים שהיו בשעת הקבלה של ימית, הועלתה סקיצת פתרון לשאלה 3 סעיפים ג' וד' ממועד א של חורף 13-14 תחת הלשונית חומר הקורס. שימו לב שהסקיצה היא לא פתרון מלא ! בהצלחה |
עדכון אחרון ב-10/2/2018, 19:09:09 Last updated on 10/2/2018, 19:09:09 Последняя модификация10/2/2018, 19:09:09 تمت الحتلنة الأخيرة ب-10/2/2018, 19:09:09 |
שעת קבלה של ימית | |
סטודנטים יקרים, אתם מוזמנים להגיע החל מעכשיו לשעת הקבלה של ימית בטאוב 301. |
פורסם ב-8/2/2018, 16:34:11 Created on 8/2/2018, 16:34:11 Создано8/2/2018, 16:34:11 تم النشر ب-8/2/2018, 16:34:11 |
HW6 returned | |
HW6 has been graded, and returned to the secretariat. The solutions are available in the "Assignments" section - it is highly suggested you read them, regardless of your grade. |
פורסם ב-8/2/2018, 11:40:34 Created on 8/2/2018, 11:40:34 Создано8/2/2018, 11:40:34 تم النشر ب-8/2/2018, 11:40:34 |
שעת קבלה נוספת לקראת המבחן | |
וסים יקיים שעת קבלה לקראת המבחן ביום רביעי הקרוב ה-7.2 בשעה 12:00-13:00 בטאוב 301. |
פורסם ב-5/2/2018, 18:18:01 Created on 5/2/2018, 18:18:01 Создано5/2/2018, 18:18:01 تم النشر ب-5/2/2018, 18:18:01 |
HW5 returned | |
HW5 has been graded, and returned to the secretariat. The solutions are available in the "Assignments" section - it is highly suggested you read them, regardless of your grade. |
פורסם ב-5/2/2018, 01:28:31 Created on 5/2/2018, 01:28:31 Создано5/2/2018, 01:28:31 تم النشر ب-5/2/2018, 01:28:31 |
Moed A reception hours + Daf Ezer | |
Moed A will be held on Monday, 12.2, 9:00-12:00, at Ullman, rooms 301-306, 501-506, 601-605. We will hold special reception hours before the exam: Sarai - Sunday 4.2, 9:30-10:30, Taub 618 Michael - Tuesday 6.2 10:00-11:00 Taub 401 Muhammed - Tuesday 6.2 17:00-18:00 Taub 4 Keren - Wednesday 7.2 09:30-10:30, Taub 516 Yamit - Thursday 8.2 17:00-18:00, Taub 301 Gail - Sunday 11.2 13:00-14:00 Taub 301 You can find the Daf Ezer for the exam under the Course Material tab. These 7 pages will be included in the exam (do not bring them with you) and is the only material you are allowed to have with you during the exam. Good luck, Course staff |
פורסם ב-3/2/2018, 14:09:25 Created on 3/2/2018, 14:09:25 Создано3/2/2018, 14:09:25 تم النشر ب-3/2/2018, 14:09:25 |
HW5 & HW6 solutions | |
The solutions for HW5 and HW6 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-30/1/2018, 12:52:39 Created on 30/1/2018, 12:52:39 Создано30/1/2018, 12:52:39 تم النشر ب-30/1/2018, 12:52:39 |
Mini Exercises in Predicate Logic | |
A set of mini exercises in predicate logic has been published in Course Material - Additional Exercises. As before, they are for your own practice, and not for submission. They do not include exercises on the definability/undefinability of a collection of structures. |
פורסם ב-27/1/2018, 16:28:52 Created on 27/1/2018, 16:28:52 Создано27/1/2018, 16:28:52 تم النشر ب-27/1/2018, 16:28:52 |
HW3 - Common mistakes | |
A list of common mistakes has been published in the assignment section, in which you may understand your mistakes. It also has general comments and recommendations, it is advised you read and learn from them even if you got a good grade. |
פורסם ב-24/1/2018, 14:22:51 Created on 24/1/2018, 14:22:51 Создано24/1/2018, 14:22:51 تم النشر ب-24/1/2018, 14:22:51 |
תוקנו מספר טעויות בתרגיל בית 6 | |
1. בשאלה 1, בכל הסעיפם מדובר על WFF{not,->} 2. בשאלה 2, בסעיף ג' תוקנה הטעות בהגדרת הנאותות בסוגריים. 3. בשאלה 6 סעיף ד', תוקנה ההשמה כך שהיא מוגדרת על vi ולא על pi |
עדכון אחרון ב-22/1/2018, 00:04:30 Last updated on 22/1/2018, 00:04:30 Последняя модификация22/1/2018, 00:04:30 تمت الحتلنة الأخيرة ب-22/1/2018, 00:04:30 |
Daf Ezer | |
You can find the Daf Ezer for the exam under the Course Material tab. These 7 pages will be included in the exam (do not bring them with you) and is the only material you are allowed to have with you during the exam. |
פורסם ב-21/1/2018, 01:18:24 Created on 21/1/2018, 01:18:24 Создано21/1/2018, 01:18:24 تم النشر ب-21/1/2018, 01:18:24 |
השלמה לכיתת התרגול של גייל + תזכורות לכולם | |
שלום לכולם, ביום שני הקרוב (22.1) גייל תערוך שיעור השלמה לכיתת התרגול שלה. בשיעור זה יועבר החומר של תרגול 11 אשר לא הועבר בכיתה. התרגול יתקיים בטאוב 1, בשעה 10:30. לאחר מכן, ב11:30 יתקיים תרגול 13 לכלל הסטודנטים. תזכורות - השבוע יערכו ההשלמות הבאות: ראשון - הרצאה של קרן בין השעות 16:30-19:30 בטאוב 2 שני - השלמה של תרגול 13 בין השעות 11:30-13:30 בטאוב 1 חמישי - השלמה של תרגול 13 בין השעות 10:30-12:30 בטאוב 1. תרגול 12 והסדנאות יתקיימו כרגיל. |
עדכון אחרון ב-21/1/2018, 11:01:07 Last updated on 21/1/2018, 11:01:07 Последняя модификация21/1/2018, 11:01:07 تمت الحتلنة الأخيرة ب-21/1/2018, 11:01:07 |
HW3 graded | |
HW3 has been graded. The solutions are available in the "Assignments" section - it is highly suggested you read them, regardless of your grade. |
פורסם ב-20/1/2018, 23:08:55 Created on 20/1/2018, 23:08:55 Создано20/1/2018, 23:08:55 تم النشر ب-20/1/2018, 23:08:55 |
HW7 | |
HW7 was published under the 'Assignments' section. This HW is not for submission. However, solving it is highly recommended. |
פורסם ב-18/1/2018, 18:40:02 Created on 18/1/2018, 18:40:02 Создано18/1/2018, 18:40:02 تم النشر ب-18/1/2018, 18:40:02 |
HW4 returned | |
HW4 has been graded, and returned to the secretariat. The solutions are available in the "Assignments" section - it is highly suggested you read them, regardless of your grade. |
פורסם ב-18/1/2018, 16:35:27 Created on 18/1/2018, 16:35:27 Создано18/1/2018, 16:35:27 تم النشر ب-18/1/2018, 16:35:27 |
הודעה | |
בעקבות פנית נציג הסמסטר, צוות הקורס ישתדל, בהתאם לכוח האדם העומד לרשותנו, לתת משוב מסוים גם על הגשות לא מלאות של גיליון 6. אנו מזכירים שכל החומר הנלמד בקורס, ללא יוצא מן הכלל, נכלל בחומר למבחן. בנוסף אנו מזכירים שיהיה סעיף במבחן הלקוח מתוך תרגילי הבית. ציון תרגילי הבית יעוגל כלפי מעלה לשלם הקרוב ביותר. |
פורסם ב-18/1/2018, 15:31:39 Created on 18/1/2018, 15:31:39 Создано18/1/2018, 15:31:39 تم النشر ب-18/1/2018, 15:31:39 |
הבהרה | |
.בהרצאות הוגדרו הקשרים בתחשיב היחסים להיות זהים לאלו שהוגדרו עבור תחשיב הפסוקים. בתחשיב היחסים נתעניין בעיקר בסמנטיקה ולכן ניתן לאפשר להשתמש בקשר <-> שמשמעותו כפי שהוגדרה בתרגולים |
עדכון אחרון ב-17/1/2018, 22:58:20 Last updated on 17/1/2018, 22:58:20 Последняя модификация17/1/2018, 22:58:20 تمت الحتلنة الأخيرة ب-17/1/2018, 22:58:20 |
HW6 | |
HW6 was published under the 'Assignments' tab. The due date is Wednesday, January 24th, at 23:55 |
פורסם ב-16/1/2018, 21:59:43 Created on 16/1/2018, 21:59:43 Создано16/1/2018, 21:59:43 تم النشر ب-16/1/2018, 21:59:43 |
Exercise sheets in propositional logic | |
Two further sets of exercises have been published in the course material, in the "Additional Exercises" folder. The first set is on assignments and models in propositional logic, and tries to build an intuition of which kinds of groups of assignments are defineable. It does not include proofs of undefinability. Those who feel sure in their understanding of the material in it may skip straight to questions 4 and 5. The second set is on undefinability in propositional logic. It includes a refresher on the technique and an example proof. Note that these exercises are provided for self practice and do not necessarily cover all the material you are expected to know. They are not for submission, and solutions will not be published for them. Nevertheless, it is recommended to go over them and see that you can solve them yourself. |
פורסם ב-16/1/2018, 12:25:32 Created on 16/1/2018, 12:25:32 Создано16/1/2018, 12:25:32 تم النشر ب-16/1/2018, 12:25:32 |
לקראת תרגול 11 | |
שלום לכל הסטודנטים, אנא הדפיסו את דף העזר של תרגול 11 והביאו אותו לכיתה. בברכה, צוות הקורס |
עדכון אחרון ב-14/1/2018, 13:26:32 Last updated on 14/1/2018, 13:26:32 Последняя модификация14/1/2018, 13:26:32 تمت الحتلنة الأخيرة ب-14/1/2018, 13:26:32 |
תזכורות | |
היום תתקיים הרצאת השלמה (הרצאה 12) לקבוצה של שרי, בין השעות 16:30-19:30 בטאוב 2. בשבוע הבא תתקיים הרצאת השלמה (הרצאה 13) לקבוצה של קרן, ביום ראשון ה21.1, בין השעות 16:30-19:30 בטאוב 2. הסדנאות שמתקיימות בזמנים מקבילים יתקיימו כרגיל. בשבוע האחרון לא יתקיימו הרצאות. במקום שעות ההרצאה, יתקיימו שני תרגולי השלמה עבור תרגול 13. התרגולים יתקיימו ביום שני ה22.1, בין השעות 11:30-13:30 וביום חמישי ה25.1 בין השעות 10:30-12:30, שניהם בטאוב 1. מומלץ מאוד להגיע לאחד ממתרגולי ההשלמה (אין צורך להגיע לשניהם - מערך התרגולים זהה) ושימו לב כי ההשלמות נקבעו בזמני ההרצאה, לנוחותכם. תרגול 12 יתקיים כרגיל לכל הקבוצות, בשבוע האחרון של הסמסטר. בברכה, צוות הקורס |
פורסם ב-14/1/2018, 11:37:02 Created on 14/1/2018, 11:37:02 Создано14/1/2018, 11:37:02 تم النشر ب-14/1/2018, 11:37:02 |
HW5 | |
HW5 was published under the 'Assignments' tab. The due date is Wednesday, January 17th, at 23:55 |
פורסם ב-3/1/2018, 18:43:28 Created on 3/1/2018, 18:43:28 Создано3/1/2018, 18:43:28 تم النشر ب-3/1/2018, 18:43:28 |
Complementary lectures and tutorials - a few notes | |
Dear Students, Please pay attention to the following updates: Sarai's group: Lecture 12 will be held on Sunday(14/01), 16:30-19:30 at Taub 2. Lecture 13 will be held on Thursday(18/01), in place of lecture 12. Keren's group: Lecture 13 will be held on Sunday(21/01), 16:30-19:30 at Taub 2. Tutorials The tutorials of the last week will take place as usual (tutorial 12). In addition, two complementary tutorials, both with the material of tutorial 13, will be held in place of the tutorials that were cancelled at the beginning of the semester. These will be held at the time and place of the lectures (Monday, 11:30-13:30 and Thursday, 10:30-12:30 at Taub 1), and will be given for all the groups, so you should be present in one of them. (There is no need to come to both, they will go over the same material) All the changes are specified in the course schedule, under "Syllabus" tab. The course staff |
עדכון אחרון ב-1/1/2018, 19:55:43 Last updated on 1/1/2018, 19:55:43 Последняя модификация1/1/2018, 19:55:43 تمت الحتلنة الأخيرة ب-1/1/2018, 19:55:43 |
HW3 solutions | |
The solutions for HW3 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-29/12/2017, 13:58:27 Created on 29/12/2017, 13:58:27 Создано29/12/2017, 13:58:27 تم النشر ب-29/12/2017, 13:58:27 |
Clarification - using AND, OR, EXISTS and FORALL outside of formulas | |
Some of you may have seen on your homework remarks informing you not to use the signs ∧,∨ ,∀ and ∃ outside of formulas in propositional and predicate logic (תחשיב הפסוקים ותחשיב היחסים). This is not because the signs or use of them is "wrong", but rather because in this course it will become confusing later on, and may lead you to write confusing proofs - and even make mistakes. Because of this, in this course, it is best from now to start avoiding these signs outside of formulas, so that your proofs are clear and easy to read both for yourself and the examiner. |
עדכון אחרון ב-28/12/2017, 21:21:59 Last updated on 28/12/2017, 21:21:59 Последняя модификация28/12/2017, 21:21:59 تمت الحتلنة الأخيرة ب-28/12/2017, 21:21:59 |
HW2 returned | |
HW2 have been graded and returned to the secretariat The grades are available online A list of common mistakes has been published in the assignment section, in which you may understand your mistakes. It also has general comments and recommendations, it is advised you read and learn from them even if you got a good grade. |
פורסם ב-24/12/2017, 11:37:51 Created on 24/12/2017, 11:37:51 Создано24/12/2017, 11:37:51 تم النشر ب-24/12/2017, 11:37:51 |
דחיה בהגשת שיעורי בית - נהלים | |
שלום לכל הסטודנטים, מעתה, בקשות לדחייה בהגשת שיעורי בית יוגשו לא יאוחר מ-72 שעות לפני מועד הגשת התרגיל עבורו מבקשים דחייה בהגשה. בקשות לגיטימיות הן בקשות עקב ימי מילואים בלבד בצירוף אישור מילואים (לא אישור זימון). במידה ובזמן הבקשה אין בידיכם עדיין את אישור המילואים עצמו, צרפו את אישור הזימון ובעת הגשת התרגיל, צרפו את אישור המילואים. כל בקשה מסיבה אחרת או שתוגש פחות מ-72 שעות למועד ההגשה, לא תאושר ולא תקבל מענה. בנוסף, מעתה ניתן יהיה להגיש עבודות עד 72 שעות לאחר המועד בתנאים הבאים: ההגשה תתבצע דרך האתר בלבד, תחת הלשונית המיועדת להגשה מאוחרת אלקטרונית. כל 24 שעות איחור יגררו הורדה של 8 נקודות מהציון. אין צורך לבקש אישור על הגשות באיחור מסוג זה. בברכת חג שמח, צוות הקורס |
עדכון אחרון ב-18/12/2017, 00:14:32 Last updated on 18/12/2017, 00:14:32 Последняя модификация18/12/2017, 00:14:32 تمت الحتلنة الأخيرة ب-18/12/2017, 00:14:32 |
Question 5d in HW4 has been updated. |
פורסם ב-16/12/2017, 18:37:02 Created on 16/12/2017, 18:37:02 Создано16/12/2017, 18:37:02 تم النشر ب-16/12/2017, 18:37:02 |
HW4 | |
HW4 was published under the 'Assignments' tab. The due date is Wednesday, January 3rd, at 23:55 |
פורסם ב-13/12/2017, 17:51:27 Created on 13/12/2017, 17:51:27 Создано13/12/2017, 17:51:27 تم النشر ب-13/12/2017, 17:51:27 |
Complementary Tutorial in Diagonalisation | |
The complementary tutorial today will be in Taub 7, 12:30-13:30 |
פורסם ב-13/12/2017, 11:17:17 Created on 13/12/2017, 11:17:17 Создано13/12/2017, 11:17:17 تم النشر ب-13/12/2017, 11:17:17 |
Complementary Tutorial for Gail's class | |
Tomorrow, Wednesday 13/12, at 12:30-13:30, there will be a complementary tutorial for exercises 4,5, and 6 of tutorial 5 - diagonalisation. The solutions to these exercises are available on the course site, this is simply an alternative for those that would prefer to go over them in a frontal lesson, as we did not get to them in class. The location will be announced tomorrow. |
פורסם ב-12/12/2017, 18:26:28 Created on 12/12/2017, 18:26:28 Создано12/12/2017, 18:26:28 تم النشر ب-12/12/2017, 18:26:28 |
Extension on homework 3 | |
Following a request from the class representative, we have decided to extend the deadline for HW3 to Thursday, December 14th 13:00. Note that no further extension will be given, and that HW4 will be published as planned. |
פורסם ב-11/12/2017, 01:24:42 Created on 11/12/2017, 01:24:42 Создано11/12/2017, 01:24:42 تم النشر ب-11/12/2017, 01:24:42 |
הבהרה | |
שלום לכל הסטודנטים, כפי שפורסם בדפי ההנחיות באתר הקורס, חל איסור על הגשת פתרונות לתרגילי הבית שנכתבו מתוך חומר חיצוני. חומר חיצוני כולל פתרונות שנכתבו על ידי סטודנטים אחרים, פתרונות רשמיים שפורסמו על ידי צוות הקורס בסמסטר הנוכחי או בסמסטרים קודמים, או כל פתרון שמפורסם ברשת. באפשרותכם להיעזר בכל מקור חיצוני כדי להבין איך לפתור תרגיל. את כתיבת הפתרון עליכם לעשות בעצמכם. שימו לב שצוות הקורס אינו מטפל ישירות בהגשות שמפרות את המדיניות. במקום זה, הגשות כאלו עבור תרגיל בית 1 נשלחו לטיפול ועדת משמעת וכך גם נעשה בהמשך. תרגילי הבית אינם חובה ונועדו לספק לכם כלי נוסף לאימון ולקבלת משוב מצוות הקורס. בדיונים שערכנו עלו מספר הצעות למניעת הגשות שמפרות את המדיניות הזו, אך החלטנו שלא לנקוט בהן כי אנחנו מסרבים לפגיעה בסטודנטים שכן מעוניינים להתאמן ולקבל משוב מאיתנו במהלך הסמסטר. בברכה, קרן |
פורסם ב-6/12/2017, 13:50:29 Created on 6/12/2017, 13:50:29 Создано6/12/2017, 13:50:29 تم النشر ب-6/12/2017, 13:50:29 |
HW2 solutions | |
The solutions for HW2 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-5/12/2017, 23:54:04 Created on 5/12/2017, 23:54:04 Создано5/12/2017, 23:54:04 تم النشر ب-5/12/2017, 23:54:04 |
Survey | |
Dear Students, A short survey on the course is available here: https://docs.google.com/forms/d/e/1FAIpQLSdP-prI3vjdmIncJ8o66JGG2zqa82ND5PPLbvmCM-vuAUJYQg/viewform Please take a few minutes to fill it out (it is not mandatory). The survey is anonymous, and will be closed on Thursday, 14.12. Good luck! Course staff. |
עדכון אחרון ב-5/12/2017, 11:22:02 Last updated on 5/12/2017, 11:22:02 Последняя модификация5/12/2017, 11:22:02 تمت الحتلنة الأخيرة ب-5/12/2017, 11:22:02 |
Diagonalisation exercises | |
This week we learned diagonalisation in the tutorials. This is a method that takes some practice to get good at, and in the past students have asked for more exercises on it. A set of mini exercises on diagonalisation has been published in the course material, in the “Additional Exercises” folder. They are designed to help build an incremental understanding of the method, and while they are not for submission, you are encouraged to go over them and see that you can solve them yourself. If you have difficulty solving them, you are welcome to find us and ask us about them in the reception hours. |
פורסם ב-30/11/2017, 18:50:44 Created on 30/11/2017, 18:50:44 Создано30/11/2017, 18:50:44 تم النشر ب-30/11/2017, 18:50:44 |
HW3 | |
HW3 was published under the 'Assignments' tab. The due date is Wednesday, December 13th, at 23:55. |
פורסם ב-29/11/2017, 18:35:04 Created on 29/11/2017, 18:35:04 Создано29/11/2017, 18:35:04 تم النشر ب-29/11/2017, 18:35:04 |
HW1 returned | |
HW1 have been graded and returned to the secretariat The grades are available online A list of common mistakes has been published in the assignment section, in which you may understand your mistakes. It also has general comments and recommendations, it is advised you read and learn from them even if you got a good grade. |
פורסם ב-27/11/2017, 00:17:10 Created on 27/11/2017, 00:17:10 Создано27/11/2017, 00:17:10 تم النشر ب-27/11/2017, 00:17:10 |
Entering Taub 1 | |
Dear Students, In an attempt to facilitate entering and exiting Taub 1, we have coordinated the following with the class that takes place before our lecture on Mondays in Taub 1: The students of the previous class will EXIT the classroom from the door that is closer to the main entrance of the building. This is the door to your left, if you are standing in the classroom facing the whiteboard. Please ENTER the classroom from the door that is closer to the elevators. This is the door to your right, if you are standing in the classroom facing the whiteboard. Thanks for helping out with this! Keren |
פורסם ב-26/11/2017, 08:57:57 Created on 26/11/2017, 08:57:57 Создано26/11/2017, 08:57:57 تم النشر ب-26/11/2017, 08:57:57 |
A clarification of the last exercise in Keren's class 5 | |
We defined f* such that B=[f*] is the item in X that has no source. The definition of f* is: For i >= 0: f*(i) = 1 + sum_{0 <= j <= i} { | f^j(j) | }.<br> For i > 0: f*(-i) = - 1 - sum_{0 <= j <= i} { | f^j(-j) | }.<br> We then have that for every j in N: if k >=0 then f*(j+k) > f^j(j), and if k<0 then f*(-j+k) < f^j(-j), which means that f* is not in [f^j]. |
עדכון אחרון ב-20/11/2017, 16:57:31 Last updated on 20/11/2017, 16:57:31 Последняя модификация20/11/2017, 16:57:31 تمت الحتلنة الأخيرة ب-20/11/2017, 16:57:31 |
HW1 solutions | |
The solutions for HW1 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-20/11/2017, 12:46:36 Created on 20/11/2017, 12:46:36 Создано20/11/2017, 12:46:36 تم النشر ب-20/11/2017, 12:46:36 |
Question 2b in HW2 has been updated. |
עדכון אחרון ב-19/11/2017, 20:21:27 Last updated on 19/11/2017, 20:21:27 Последняя модификация19/11/2017, 20:21:27 تمت الحتلنة الأخيرة ب-19/11/2017, 20:21:27 |
Permanent Room Change | |
Starting this week, Gail's tutorial on Mondays 16:30-18:30 will move permanently to Taub 9. |
פורסם ב-19/11/2017, 15:08:00 Created on 19/11/2017, 15:08:00 Создано19/11/2017, 15:08:00 تم النشر ب-19/11/2017, 15:08:00 |
HW2 | |
HW2 was published under the 'Assignments' tab. The due date is Wednesday, November 29th, at 23:55. |
פורסם ב-15/11/2017, 19:05:38 Created on 15/11/2017, 19:05:38 Создано15/11/2017, 19:05:38 تم النشر ب-15/11/2017, 19:05:38 |
Room and Workshop Changes | |
Gail's tutorial today will be given in Taub 7. An update on a permanent room change will be given shortly. This week only, Muhammed's workshop will be given on Wednesday at 18:30-19:30 in Taub 4, meaning there will be no workshop in Taub 401 today 18:30-19:30. It is advised to come to the workshops to discuss the homework and any questions you have. 13/11/2017, 13:42:50 |
פורסם ב-13/11/2017, 15:04:25 Created on 13/11/2017, 15:04:25 Создано13/11/2017, 15:04:25 تم النشر ب-13/11/2017, 15:04:25 |
Yamit's workshop will take place on Thursday, 14:30-15:30, Taub 4. |
פורסם ב-8/11/2017, 17:55:28 Created on 8/11/2017, 17:55:28 Создано8/11/2017, 17:55:28 تم النشر ب-8/11/2017, 17:55:28 |
Message | |
Dear students, This week Yamit's workshop will take place on Thursday, 14:30-15:30 instead of Tuesday. A notice about the location will arrive soon. |
עדכון אחרון ב-9/11/2017, 20:13:11 Last updated on 9/11/2017, 20:13:11 Последняя модификация9/11/2017, 20:13:11 تمت الحتلنة الأخيرة ب-9/11/2017, 20:13:11 |
HW1 and workshops | |
HW1 was published under the 'Assignments' tab. The due date is Wednesday, November 15th, at 23:55. ------------------------------------------------------------------------------------------------- Each week we will give workshops instead of the TAs' office hours. In the workshop you can consult a TA regarding your homework. You are encouraged to come to at least one workshop per week. The time and place of the workshops appear under 'Staff'. The first workshop will be held on Sonday (5.11). |
פורסם ב-1/11/2017, 17:41:47 Created on 1/11/2017, 17:41:47 Создано1/11/2017, 17:41:47 تم النشر ب-1/11/2017, 17:41:47 |
Several messages | |
Dear students, 1. Every email to the course staff must include your full name and student number in its content. 2. Please read the information file on the website before sending questions by email. In particular, please do not inquire about the video, as everything is summarized in the information file: The video has a large overlap with the material taught this semester but some material may be different and some notations may be different. If you use the video, it is your responsibility to be aware of what is taught this semester. 3. Due to the large number of students this semester, submission of homework assignments is allowed only in pairs. The course staff |
עדכון אחרון ב-29/10/2017, 23:06:44 Last updated on 29/10/2017, 23:06:44 Последняя модификация29/10/2017, 23:06:44 تمت الحتلنة الأخيرة ب-29/10/2017, 23:06:44 |
Tutorial Handouts | |
Dear students, Each week we will publish a "tutorial handout" containing the definitions, theorems and exercises that will be taught in the upcoming tutorial. It is highly recommended to print out the handout before each tutorial and bring it to class. Good luck, The course staff |
עדכון אחרון ב-9/10/2017, 16:39:53 Last updated on 9/10/2017, 16:39:53 Последняя модификация9/10/2017, 16:39:53 تمت الحتلنة الأخيرة ب-9/10/2017, 16:39:53 |
Welcome to Logic and Set Theory! | |
Dear students, Welcome to the course "Logic and Set Theory" (234293). All course announcements will be published on the course site and through this mailing list. Each student registered to the course should have gotten this mail. Those who haven't gotten it are probably not registered, or are not on the mailing list. ---------------------------------------------------------------------------------------------------------------------------------------------------------- Please take a few moments to carefully read the info page that can be found under the 'Syllabus' section of the website. ---------------------------------------------------------------------------------------------------------------------------------------------------------- Each week we will give workshops instead of the TAs' office hours. In the workshop you can consult a TA regarding your homework. You are encouraged to come to at least one workshop per week. The time and place of the workshops will appear under 'Staff' soon. There will be no workshops before the publication of the first home assignment. ---------------------------------------------------------------------------------------------------------------------------------------------------------- Note that there will be no tutorials before the first lecture, thus, all the tutorials at the first week are cancelled: ---------------------------------------------------------------------------------------------------------------------------------------------------------- We wish you a fruitful and enjoyable semester, The course staff |
פורסם ב-7/10/2017, 17:00:48 Created on 7/10/2017, 17:00:48 Создано7/10/2017, 17:00:48 تم النشر ب-7/10/2017, 17:00:48 |