הבהרה בקשר למועד מילואים | |
יש לשלוח מייל כפי שפורסם בהודעה גם אם כבר שלחתם מייל כזה בעבר למרצה או המתרגלת האחראית. אישורים למילואים יתקבלו אם ורק אם הם נשלחו בפורמט המבוקש בהודעה, לאחר פרסום ההודעה באתר ולמתרגלת האחראית בלבד. בברכה, צוות הקורס |
עדכון אחרון ב-11/11/2018, 16:36:38 Last updated on 11/11/2018, 16:36:38 Последняя модификация11/11/2018, 16:36:38 تمت الحتلنة الأخيرة ب-11/11/2018, 16:36:38 |
מועד מילואים | |
שלום לכולם, מי שזכאי ומעוניין לגשת למועד מילואים, נא לשלוח מייל לימית עד ליום חמישי ה22.11 בשעה 23:55 לכתובת u234293logicatgmail.com. בכותרת המייל רשמו: מועד מילואים, שם מלא, תעודת זהות ובגוף המייל צרפו את אישור המילואים. בברכה, צוות הקורס |
פורסם ב-8/11/2018, 20:09:26 Created on 8/11/2018, 20:09:26 Создано8/11/2018, 20:09:26 تم النشر ب-8/11/2018, 20:09:26 |
Moed B Exam grades and Final grades are now online | |
Moed B Exam grades and Final grades are now online. 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 Wednesday, 7.11.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. |
פורסם ב-26/10/2018, 14:40:33 Created on 26/10/2018, 14:40:33 Создано26/10/2018, 14:40:33 تم النشر ب-26/10/2018, 14:40:33 |
שעת הקבלה של ימית תתקיים ב11:30 במקום ב10:30 |
פורסם ב-11/10/2018, 10:00:28 Created on 11/10/2018, 10:00:28 Создано11/10/2018, 10:00:28 تم النشر ب-11/10/2018, 10:00:28 |
Moed B reception hours + Daf Ezer | |
Moed B will be held on Tuesday, 16.10, 13:00-16:00, at Davis, rooms 430, 433, 440, 442, 443, 640, 641. We will hold special reception hours before the exam: Sarai - Monday 8.10, 10:30-11:30, Taub 618 Orna - Monday 8.10, 13:30-14:30, Taub 620 Michael - Tuesday 9.10, 10:30-11:30, Taub 301 Muhammed - Wednesday 10.10, 18:30-19:30, Taub 201 Yamit - Thursday 11.10, 10:30-11:30, Taub 201 Gail - Sunday 14.10, 15:00-16:00, Taub 301 Maya - Sunday 14.10, 16:00-17:00, Taub 301 Waseem - Monday 15.10, 12:30-13: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 |
עדכון אחרון ב-6/10/2018, 23:33:14 Last updated on 6/10/2018, 23:33:14 Последняя модификация6/10/2018, 23:33:14 تمت الحتلنة الأخيرة ب-6/10/2018, 23:33:14 |
הארכת מועד הערעורים | |
עקב עיכוב בעליית חלק מהסריקות, ניתן להגיש ערעור עד ליום ראשון ה29.7 בשעה 12:00. לא יתקבלו ערעורים לאחר תאריך זה. |
פורסם ב-22/7/2018, 15:33:02 Created on 22/7/2018, 15:33:02 Создано22/7/2018, 15:33:02 تم النشر ب-22/7/2018, 15:33:02 |
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, 25.8% failures, and 14.9% 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 Thursday, 26.7.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. |
פורסם ב-15/7/2018, 16:30:23 Created on 15/7/2018, 16:30:23 Создано15/7/2018, 16:30:23 تم النشر ب-15/7/2018, 16:30:23 |
מבנה המבחן | |
שלום לכולם, במבחן יהיו 4 שאלות בברכה, צוות הקורס |
פורסם ב-3/7/2018, 17:51:30 Created on 3/7/2018, 17:51:30 Создано3/7/2018, 17:51:30 تم النشر ب-3/7/2018, 17:51:30 |
HW5 solutions | |
The solutions for HW5 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-1/7/2018, 16:58:55 Created on 1/7/2018, 16:58:55 Создано1/7/2018, 16:58:55 تم النشر ب-1/7/2018, 16:58:55 |
שעת הקבלה של ימית תתקיים היום ב12:00 בטאוב 3 |
פורסם ב-28/6/2018, 10:58:48 Created on 28/6/2018, 10:58:48 Создано28/6/2018, 10:58:48 تم النشر ب-28/6/2018, 10:58:48 |
Moed A reception hours + Daf Ezer | |
Moed A will be held on Thursday, 5.7, 9:00-12:00, at Ullman, rooms 505-506, 601-606, 701-705, 707-708. We will hold special reception hours before the exam: Sarai - Thursday 28.6, 9:30-10:30, Taub 618 Yamit - Thursday 28.6, 12:00-13:00, Ulman 211 Orna - Sunday 1.7, 12:30-13:30, Taub 620 Michael - Monday 2.7, 11:30-12:30, Ulman 449 Muhammed - Monday 2.7, 18:30-19:30, Ulman 449 Gail - Tuesday 3.7, 14:30-15:30, Ulman 450 Maya - Tuesday 3.7, 18:30-19:30, Ulman 450 Waseem - Wednesday 4.7, 13:30-14:30, Ulman 204 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 |
עדכון אחרון ב-26/6/2018, 20:01:55 Last updated on 26/6/2018, 20:01:55 Последняя модификация26/6/2018, 20:01:55 تمت الحتلنة الأخيرة ب-26/6/2018, 20:01:55 |
ביטול שעות קבלה | |
שעת הקבלה של ארנה השבוע מבוטלת. בנוסף הסדנאות של מאיה וימית היום מבוטלות. כל שאר שעות הקבלה והסדנאות יתקיימו כרגיל. |
פורסם ב-25/6/2018, 14:49:04 Created on 25/6/2018, 14:49:04 Создано25/6/2018, 14:49:04 تم النشر ب-25/6/2018, 14:49:04 |
דחייה בהגשת תרגיל בית 5 | |
לאור בקשות ופניית נציג הסמסטר, הגשת תרגיל בית 5 נדחית ליום ראשון ה1.7 בשעה 11:55. שימו לב כי לאחר שעה זו התרגיל יאסף ולא תהיה אפשרות להגיש את התרגיל באיחור. |
פורסם ב-24/6/2018, 15:56:12 Created on 24/6/2018, 15:56:12 Создано24/6/2018, 15:56:12 تم النشر ب-24/6/2018, 15:56:12 |
התרגול של מוחמד יתקיים כרגיל מחר ב16:30 בטאוב 3 |
פורסם ב-24/6/2018, 15:17:58 Created on 24/6/2018, 15:17:58 Создано24/6/2018, 15:17:58 تم النشر ب-24/6/2018, 15:17:58 |
תרגול השלמה עבור קבוצת התרגול של גייל - היום | |
היום ב17:30 ייערך תרגול השלמה בטאוב 4 עבור הקבוצה של גייל |
פורסם ב-24/6/2018, 09:38:45 Created on 24/6/2018, 09:38:45 Создано24/6/2018, 09:38:45 تم النشر ب-24/6/2018, 09:38:45 |
תרגיל בית 6 | |
שלום לכולם, לנוחותכם, הוקדם פרסומו של תרגיל בית 6 והוא נמצא כעת בלשונית תרגילי הבית. שימו לב שהתרגיל לא להגשה ומפורסם גם הפתרון. שאלת שיעורי הבית שתופיע במבחן יכולה להיות מכל אחד מתרגילי הבית, כולל תרגיל בית 0 ותרגיל בית 6 שהיו לא להגשה. בהצלחה, צוות הקורס |
פורסם ב-21/6/2018, 19:29:43 Created on 21/6/2018, 19:29:43 Создано21/6/2018, 19:29:43 تم النشر ب-21/6/2018, 19:29:43 |
תוקנה שאלה 6 בתרגיל בית 5. |
פורסם ב-21/6/2018, 19:26:08 Created on 21/6/2018, 19:26:08 Создано21/6/2018, 19:26:08 تم النشر ب-21/6/2018, 19:26:08 |
HW4 solutions | |
The solutions for HW4 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-16/6/2018, 22:57:05 Created on 16/6/2018, 22:57:05 Создано16/6/2018, 22:57:05 تم النشر ب-16/6/2018, 22:57:05 |
HW5 | |
HW5 was published under the 'Assignments' tab. The due date is Saturday, June 30th, at 23:55. |
עדכון אחרון ב-17/6/2018, 15:29:30 Last updated on 17/6/2018, 15:29:30 Последняя модификация17/6/2018, 15:29:30 تمت الحتلنة الأخيرة ب-17/6/2018, 15:29:30 |
HW2 returned | |
HW2 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. |
פורסם ב-14/6/2018, 07:50:05 Created on 14/6/2018, 07:50:05 Создано14/6/2018, 07:50:05 تم النشر ب-14/6/2018, 07:50:05 |
ההרצאה של שרי ביום חמישי הקרוב תתקיים בטאוב 1 (במקום בטאוב 2) |
פורסם ב-12/6/2018, 17:11:41 Created on 12/6/2018, 17:11:41 Создано12/6/2018, 17:11:41 تم النشر ب-12/6/2018, 17:11:41 |
תרגול 11 | |
סטודנטים יקרים, תרגול 11 גדוש בהגדרות ולכן למען הנוחות אנא הדפיסו את דף העזר והגיעו איתו לתרגול. בברכה, צוות הקורס |
פורסם ב-11/6/2018, 12:34:42 Created on 11/6/2018, 12:34:42 Создано11/6/2018, 12:34:42 تم النشر ب-11/6/2018, 12:34:42 |
HW3 solutions | |
The solutions for HW3 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-4/6/2018, 22:44:11 Created on 4/6/2018, 22:44:11 Создано4/6/2018, 22:44:11 تم النشر ب-4/6/2018, 22:44:11 |
HW4 | |
HW4 was published under the 'Assignments' tab. The due date is Wednesday, June 13th, at 23:55. |
פורסם ב-31/5/2018, 18:27:38 Created on 31/5/2018, 18:27:38 Создано31/5/2018, 18:27:38 تم النشر ب-31/5/2018, 18:27:38 |
הסדנה של ימית תתקיים ב13:30 בטאוב 5 |
פורסם ב-30/5/2018, 12:39:22 Created on 30/5/2018, 12:39:22 Создано30/5/2018, 12:39:22 تم النشر ب-30/5/2018, 12:39:22 |
הסדנה של ימית | |
הסדנה של ימית לא תתקיים היום באופן חד פעמי, תתקיים סדנה חלופית ביום רביעי הקרוב בשעה 13:30. הודעה על מיקום תגיע בהמשך. |
פורסם ב-28/5/2018, 14:50:18 Created on 28/5/2018, 14:50:18 Создано28/5/2018, 14:50:18 تم النشر ب-28/5/2018, 14:50:18 |
Grades for Homework 1 | |
Grades for Homework 1 have been published and will be passed to the secretariat on Monday. A list of common mistakes, including "style guidelines" for proofs, has been published alongside homework 1 in the homework section. Please read the style guidelines and try to adhere to them, they will make your proofs more coherent and organised - which is better for yourself and for the graders! |
עדכון אחרון ב-27/5/2018, 20:10:52 Last updated on 27/5/2018, 20:10:52 Последняя модификация27/5/2018, 20:10:52 تمت الحتلنة الأخيرة ب-27/5/2018, 20:10:52 |
Mini Exercises on various subjects | |
We have released the mini-exercises on diagonalisation, as well as assignments, models, definability and undefinability in predicate logic. You can find them under course material -> additional exercises. Diagonalisation has been fully covered in class, and you should soon be ready to solve the exercises in predicate logic as well. The exercises are designed to incrementally build your understanding of the tools and techniques used in these subjects, and while they are not for submission, it is recommended that you make sure you can solve them yourself. Good luck The course staff |
פורסם ב-27/5/2018, 18:03:02 Created on 27/5/2018, 18:03:02 Создано27/5/2018, 18:03:02 تم النشر ب-27/5/2018, 18:03:02 |
Mini Exercises on various subjects | |
We have released the mini-exercises on diagonalisation, as well as assignments, models, definability and undefinability in predicate logic. You can find them under course material -> additional exercises. Diagonalisation has been fully covered in class, and you should soon be ready to solve the exercises in predicate logic as well. The exercises are designed to incrementally build your understanding of the tools and techniques used in these subjects, and while they are not for submission, it is recommended that you make sure you can solve them yourself. Good luck The course staff |
פורסם ב-27/5/2018, 16:22:27 Created on 27/5/2018, 16:22:27 Создано27/5/2018, 16:22:27 تم النشر ب-27/5/2018, 16:22:27 |
HW2 solutions | |
The solutions for HW2 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-22/5/2018, 13:10:51 Created on 22/5/2018, 13:10:51 Создано22/5/2018, 13:10:51 تم النشر ب-22/5/2018, 13:10:51 |
תרגיל בית 3 - עדכון | |
שלום רב, תרגיל בית 3 עודכן בשאלה 2, סעיפים א-ד. השינוי: בכל מקום בו היה כתוב F2, עודכן ל-F1. מכיוון שחלק מהסטודנטים כבר פתרו את התרגיל בגרסתו הקודמת, תשובות המתאימות לגרסה הלא מעודכנת יתקבלו. עם זאת, שימו לב כי ישנה חשיבות רבה לפתרון התרגיל כפי שהוא מופיע כעת, ולכן מומלץ לפתור אותו בכל מקרה. בהצלחה, צוות הקורס |
עדכון אחרון ב-21/5/2018, 23:26:06 Last updated on 21/5/2018, 23:26:06 Последняя модификация21/5/2018, 23:26:06 تمت الحتلنة الأخيرة ب-21/5/2018, 23:26:06 |
HW3 | |
HW3 was published under the 'Assignments' tab. The due date is Wednesday, May 30th, at 23:55. |
פורסם ב-16/5/2018, 17:49:52 Created on 16/5/2018, 17:49:52 Создано16/5/2018, 17:49:52 تم النشر ب-16/5/2018, 17:49:52 |
דחייה בהגשת תרגיל בית 2 | |
לסטודנטים שלום רב, בעקבות פניית נציג סמסטר ועקב קיומם של פסטיבל הסטודנט וחג השבועות, הוחלט לדחות את מועד הגשת התרגיל ליום שני ה-21.5 בשעה 13:00 בצהריים. שימו לב לשעה, לא ינתנו דחיות נוספות מעבר לדחיה זו ולכן תכננו את הזמן בהתאם על מנת להגיש את העבודה במועד הראוי ולהימנע מאי נעימות, איחורים לא יתקבלו. דחיות שאושרו עקב מילואים יחלו ממועד ההגשה החדש. שימו לב שתרגיל בית 3 יפורסם מחר לאחר קיום התרגול האחרון, לא תיתנן הארכה לתרגיל זה. בברכת פסטיבל סטודנט מהנה וחג שמח, צוות הקורס |
עדכון אחרון ב-15/5/2018, 17:16:43 Last updated on 15/5/2018, 17:16:43 Последняя модификация15/5/2018, 17:16:43 تمت الحتلنة الأخيرة ب-15/5/2018, 17:16:43 |
Complementary tutorial for Mayas group - Reminder | |
The complementary tutorial (7) for Maya's group will be held Today (Sunday 13.05), 17:30-19:30, at Taub 5. |
פורסם ב-13/5/2018, 12:38:30 Created on 13/5/2018, 12:38:30 Создано13/5/2018, 12:38:30 تم النشر ب-13/5/2018, 12:38:30 |
HW1 solutions | |
The solutions for HW1 are available in the "Assignments" section - it is highly suggested you read them. |
פורסם ב-3/5/2018, 16:48:28 Created on 3/5/2018, 16:48:28 Создано3/5/2018, 16:48:28 تم النشر ب-3/5/2018, 16:48:28 |
HW2 | |
HW2 was published under the 'Assignments' tab. The due date is Wednesday, May 16th, at 23:55. |
פורסם ב-3/5/2018, 16:47:35 Created on 3/5/2018, 16:47:35 Создано3/5/2018, 16:47:35 تم النشر ب-3/5/2018, 16:47:35 |
תרגול השלמה לקבוצה של מאיה | |
התרגול של מאיה ביום חמישי 26.4 מבוטל. במקום יתקיים תרגול השלמה ביום ראשון 29.4 בשעה 17:30-19:30 בטאוב 4. |
עדכון אחרון ב-24/4/2018, 21:55:17 Last updated on 24/4/2018, 21:55:17 Последняя модификация24/4/2018, 21:55:17 تمت الحتلنة الأخيرة ب-24/4/2018, 21:55:17 |
שינוי כיתת תרגול לקבוצה של גייל באופן קבוע | |
החל מהשבוע התרגולים של גייל יתקיימו בבניין חומרים חדר 401. |
פורסם ב-22/4/2018, 21:59:14 Created on 22/4/2018, 21:59:14 Создано22/4/2018, 21:59:14 تم النشر ب-22/4/2018, 21:59:14 |
הבהרה עבור תרגיל בית 1 | |
שימו לב שבשאלות 3,4 מדובר על הסגור הטרנזיטיבי, R+ כפי שהוגדר בכיתה. |
פורסם ב-22/4/2018, 21:58:50 Created on 22/4/2018, 21:58:50 Создано22/4/2018, 21:58:50 تم النشر ب-22/4/2018, 21:58:50 |
HW1 | |
HW1 was published under the 'Assignments' tab. The due date is Wednesday, May 2nd, at 23:55. |
פורסם ב-17/4/2018, 21:06:46 Created on 17/4/2018, 21:06:46 Создано17/4/2018, 21:06:46 تم النشر ب-17/4/2018, 21:06:46 |
התרגול של גייל מתקיים בדיוויס 440 |
פורסם ב-11/4/2018, 15:38:50 Created on 11/4/2018, 15:38:50 Создано11/4/2018, 15:38:50 تم النشر ب-11/4/2018, 15:38:50 |
רישום לקורס | |
שלום רב לכל הסטודנטים, צוות הקורס אינו אחראי על כל נושא הרישום לקורס. במידה ונתקלתם בבעיות ברישום, נא לפנות למזכירות תואר ראשון. בברכה, צוות הקורס |
פורסם ב-8/4/2018, 23:56:13 Created on 8/4/2018, 23:56:13 Создано8/4/2018, 23:56:13 تم النشر ب-8/4/2018, 23:56:13 |
שיעורי השלמה | |
שלום לכ להסטודנטים, להלן שיעורי ההשלמה אשר עתידים להתקיים במהלך הסמסטר: יום רביעי 11.4, 12:30-14:30, טאוב 1 - הרצאה מספר 3, השלמה משותפת לכיתות של ארנה ושרי. יום ראשון 15.4, 17:30-19:30, טאוב 7 - תרגול מספר 3 - השלמה משותפת לכיתות של ימית, וסים, מיכאל וגייל. יום ראשון 13.5, 17:30-19:30, טאוב 5 - תרגול מספר 7 - השלמה לכיתה של מאיה. שימו לב שתרגול 3 ותרגול 7 יתקיימו עבור שאר הכיתות כרגיל, ולכן מי שלא יכול להגיע להשלמה, יכול לבחור להגיע לאחת הכיתות האחרות המתקיימות באותו השבוע. לנוחותכם, כל ההשלמות מפורטות בלו"ז שנמצא תחת הלשונית "סילבוס" ביחד עם כל ההרצאות, התרגולים ותאריכי פרסום והגשת שיעורי הבית, על מנת שתוכלו להערך מראש ולתכנן בהתאם את המשך הסמסטר. בהצלחה וחג שמח, צוות הקורס |
עדכון אחרון ב-5/4/2018, 13:38:58 Last updated on 5/4/2018, 13:38:58 Последняя модификация5/4/2018, 13:38:58 تمت الحتلنة الأخيرة ب-5/4/2018, 13:38:58 |
HW0 | |
HW0 was published under the 'Assignments' section. This HW is not for submission. However, solving it is highly recommended. |
פורסם ב-29/3/2018, 21:14:00 Created on 29/3/2018, 21:14:00 Создано29/3/2018, 21:14:00 تم النشر ب-29/3/2018, 21:14:00 |
Course schedule is published | |
A tentative course schedule is published (under the 'syllabus'' tab). Please note that the schedule may change during the semester. |
פורסם ב-29/3/2018, 21:16:42 Created on 29/3/2018, 21:16:42 Создано29/3/2018, 21:16:42 تم النشر ب-29/3/2018, 21:16:42 |
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 |
פורסם ב-17/3/2018, 18:28:39 Created on 17/3/2018, 18:28:39 Создано17/3/2018, 18:28:39 تم النشر ب-17/3/2018, 18:28:39 |
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 |
פורסם ב-17/3/2018, 16:17:25 Created on 17/3/2018, 16:17:25 Создано17/3/2018, 16:17:25 تم النشر ب-17/3/2018, 16:17:25 |