Moed C | |
| Anyone for whom a Moed C was approved but did not receive an email about the time of the exam should write to Tomer (tkotek@cs). |
| פורסם ב-13/5/2012, 13:26:18 Created on 13/5/2012, 13:26:18 Создано13/5/2012, 13:26:18 تم النشر ب-13/5/2012, 13:26:18 |
Moed B appeals | |
| Moed B appeals have been answered. |
| פורסם ב-1/4/2012, 17:36:41 Created on 1/4/2012, 17:36:41 Создано1/4/2012, 17:36:41 تم النشر ب-1/4/2012, 17:36:41 |
Moed B | |
|
The Moed B grades are available. FinalB is your final grade in the course. The scans of Moed B will probably be available tomorrow. Regarding appeals: 1. Appeals may be submitted until 27.3 at 16:00. No appeals will be accepted after this date. 2. Send the email to tkotek@cs. DO NOT attach a copy of the exam. 3. Appeal only if you think we deducted points for something that is correct. 4. Do not appeal if your answer is missing information or is not clear enough. 5. In extreme cases we might recheck your entire exam. 6. 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. |
| פורסם ב-19/3/2012, 22:37:21 Created on 19/3/2012, 22:37:21 Создано19/3/2012, 22:37:21 تم النشر ب-19/3/2012, 22:37:21 |
Tomer's reception hour | |
| The time of Tomer's reception hour is changed to 17:00 (Wednesday 14/3, room 201). |
| פורסם ב-12/3/2012, 17:06:55 Created on 12/3/2012, 17:06:55 Создано12/3/2012, 17:06:55 تم النشر ب-12/3/2012, 17:06:55 |
Moed A appeals | |
| Moed A appeals have been answered. |
| פורסם ב-8/3/2012, 01:44:55 Created on 8/3/2012, 01:44:55 Создано8/3/2012, 01:44:55 تم النشر ب-8/3/2012, 01:44:55 |
Correction | |
|
Moed B will be held on THURSDAY, 15.3 at 16:30 in Ullman floor 7. |
| עדכון אחרון ב-6/3/2012, 21:17:26 Last updated on 6/3/2012, 21:17:26 Последняя модификация6/3/2012, 21:17:26 تمت الحتلنة الأخيرة ب-6/3/2012, 21:17:26 |
Moed B reception hours | |
|
Moed B will be held on Sunday 15.3 at 16:30 in Ullman floor 7. We will hold special reception hours before the exam: Monday, 12/3: Shirley 10:30-11:30, Taub 401 Gal 17:30-18:30, Taub 401 Tuesday, 13/3: Noga 15:30-16:30, Taub 401 Dana 17:00-18:00, Taub 401 Wednesday, 14/3: Amir 10:30-11:30, Taub 201 Tomer 15:00-16:00, Taub 201 Good luck! |
| עדכון אחרון ב-6/3/2012, 15:13:56 Last updated on 6/3/2012, 15:13:56 Последняя модификация6/3/2012, 15:13:56 تمت الحتلنة الأخيرة ب-6/3/2012, 15:13:56 |
Moed A grades histogram | |
|
A histogram of the Moed A final grades is available here: http://webcourse.cs.technion.ac.il/234293/Winter2011-2012/ho/WCFiles/HistA.gif |
| פורסם ב-1/3/2012, 13:10:16 Created on 1/3/2012, 13:10:16 Создано1/3/2012, 13:10:16 تم النشر ب-1/3/2012, 13:10:16 |
Moed A appeals - small correction | |
| The last date for submissions of appeals is 6.3. |
| פורסם ב-29/2/2012, 09:48:47 Created on 29/2/2012, 09:48:47 Создано29/2/2012, 09:48:47 تم النشر ب-29/2/2012, 09:48:47 |
Moed A appeals | |
|
The scans of Moed A should be available today or tomorrow. Regarding appeals: 1. Appeals may be submitted until 6.2 (this Tuesday) at 16:00. No appeals will be accepted after this date. 2. Send the email to tkotek@cs. DO NOT attach a copy of the exam. 3. Appeal only if you think we deducted points for something that is correct. 4. Do not appeal if your answer is missing information or is not clear enough. 5. In extreme cases we might recheck your entire exam. 6. 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. |
| פורסם ב-29/2/2012, 09:45:09 Created on 29/2/2012, 09:45:09 Создано29/2/2012, 09:45:09 تم النشر ب-29/2/2012, 09:45:09 |
Grades | |
|
Grades of Moed Alef are now visible. The average of the exam grades is 57.76. The average of the final grades is 63.77. |
| עדכון אחרון ב-28/2/2012, 23:41:51 Last updated on 28/2/2012, 23:41:51 Последняя модификация28/2/2012, 23:41:51 تمت الحتلنة الأخيرة ب-28/2/2012, 23:41:51 |
HW11 and HW12 returned | |
| The grades to HW11 and HW12 are available online and their solutions are published. |
| פורסם ב-14/2/2012, 12:30:49 Created on 14/2/2012, 12:30:49 Создано14/2/2012, 12:30:49 تم النشر ب-14/2/2012, 12:30:49 |
Moed A reception hours on Sunday | |
|
The room for the reception hours on Sunday is Taub 401. The times have slightly changed: Amir 10:30-11:30 Gal 11:30-12:30 Good luck on the exam! |
| פורסם ב-13/2/2012, 11:16:07 Created on 13/2/2012, 11:16:07 Создано13/2/2012, 11:16:07 تم النشر ب-13/2/2012, 11:16:07 |
Moed A reception hours + Daf Ezer | |
|
Moed A will be held on Sunday 19.2 at 17:00 in Ullman floors 6 and 7. We will hold special reception hours before the exam: Wednesday, 15.2, 16:30-17:30, Tomer, Taub 401 Thursday, 16.2, 10:30-11:30, Shirley, Taub 401 Thursday, 16.2, 12:30-13:30, Dana, Taub 401 Thursday, 16.2, 15:30-16:30, Ami, Taub 401 Sunday, 19.2, 10:00-11:00, Amir Sunday, 19.2, 11:00-12:00, Gal We will post the rooms for the reception hours on Sunday later. For the sake of efficiency, students planning to attend Gal's reception hour on Sunday are encouraged to send their questions to him by email by Saturday at 22:00. You can find the Daf Ezer for the exam in the Course Material tab, these 7 pages will be included in the exam (do not bring them with you) and that is the only material you are allowed to have with you during the exam. Good luck! |
| פורסם ב-12/2/2012, 09:45:54 Created on 12/2/2012, 09:45:54 Создано12/2/2012, 09:45:54 تم النشر ب-12/2/2012, 09:45:54 |
HW13 | |
| HW13 is now published under the assignments tab. It is not for submission but the material it covers may be in the exam. It is highly recommended that you solved the homework. |
| פורסם ב-31/1/2012, 15:44:38 Created on 31/1/2012, 15:44:38 Создано31/1/2012, 15:44:38 تم النشر ب-31/1/2012, 15:44:38 |
Definability of models | |
| The topic of definability of models in predicate calculus is part of the material of the course and may appear in the exam. This message is intended to correct any misunderstanding. |
| פורסם ב-30/1/2012, 14:27:45 Created on 30/1/2012, 14:27:45 Создано30/1/2012, 14:27:45 تم النشر ب-30/1/2012, 14:27:45 |
HW12 Q4 | |
| The definition of logical entailment of a formula from a set of formulas has been added to Q4 dalet. |
| פורסם ב-29/1/2012, 10:42:23 Created on 29/1/2012, 10:42:23 Создано29/1/2012, 10:42:23 تم النشر ب-29/1/2012, 10:42:23 |
Clarification regarding the HW grade | |
|
Your final homework grade will be the average of all HWs except for one HW from 2-6 and one HW from 7-11. That means you need to submit HW12. |
| פורסם ב-26/1/2012, 10:12:46 Created on 26/1/2012, 10:12:46 Создано26/1/2012, 10:12:46 تم النشر ب-26/1/2012, 10:12:46 |
HW12 correction | |
|
There was a mistake in Q4 gimmel. A new version of HW12 is now available on the site. The change in that Seif is underlined. Also note that R is a binary relation symbol. |
| פורסם ב-25/1/2012, 10:35:13 Created on 25/1/2012, 10:35:13 Создано25/1/2012, 10:35:13 تم النشر ب-25/1/2012, 10:35:13 |
HW12 | |
| HW12 is now published under the assignments tab. The due date is Tuesday, 31/1. |
| פורסם ב-24/1/2012, 16:02:21 Created on 24/1/2012, 16:02:21 Создано24/1/2012, 16:02:21 تم النشر ب-24/1/2012, 16:02:21 |
HW11 | |
| HW11 is now published under the assignments tab. The due date is Tuesday, 24/1. |
| פורסם ב-17/1/2012, 14:19:51 Created on 17/1/2012, 14:19:51 Создано17/1/2012, 14:19:51 تم النشر ب-17/1/2012, 14:19:51 |
Handout for Tutorial 12 | |
|
Please print and bring with you to tutorial 12 (the next tutorial, starting this Tuesday) the file "Logic-tutorial12_handout.pdf", you can find it in the Course Material tab. Here is a direct link: http://webcourse.cs.technion.ac.il/234293/Winter2011-2012/ho/WCFiles/Logic-tutorial12_handout.pdf |
| פורסם ב-16/1/2012, 17:31:19 Created on 16/1/2012, 17:31:19 Создано16/1/2012, 17:31:19 تم النشر ب-16/1/2012, 17:31:19 |
HW10 Question 4 | |
| There was a mistake in the structure of the question. You can find the correct version under 'home assignments'. |
| פורסם ב-12/1/2012, 11:19:44 Created on 12/1/2012, 11:19:44 Создано12/1/2012, 11:19:44 تم النشر ب-12/1/2012, 11:19:44 |
HW10 is published | |
| HW10 is now published under the assignments tab. The due date is Tuesday, 17/1. |
| פורסם ב-10/1/2012, 15:44:41 Created on 10/1/2012, 15:44:41 Создано10/1/2012, 15:44:41 تم النشر ب-10/1/2012, 15:44:41 |
HW9 is published | |
| HW9 is now published under the assignments tab. The due date is Tuesday, 10/1. |
| פורסם ב-3/1/2012, 13:57:12 Created on 3/1/2012, 13:57:12 Создано3/1/2012, 13:57:12 تم النشر ب-3/1/2012, 13:57:12 |
Tomer's reception hour | |
| Tomer's reception hour tomorrow is cancelled. This is a one-time change. |
| פורסם ב-2/1/2012, 17:04:13 Created on 2/1/2012, 17:04:13 Создано2/1/2012, 17:04:13 تم النشر ب-2/1/2012, 17:04:13 |
HW8 deadline and correction | |
|
You may submit HW8 until Thursday 5.1 at 12:30 with no penalty. We remind you that you may also submit late until Sunday 8.1 with a deduction of 5 points. Please note that HW9 will be published on schedule. There was a mistake in the last part of Q6. Sigma should be Sigma' . This is now corrected. |
| פורסם ב-29/12/2011, 12:04:41 Created on 29/12/2011, 12:04:41 Создано29/12/2011, 12:04:41 تم النشر ب-29/12/2011, 12:04:41 |
HW8 is published | |
| HW8 is now published under the assignments tab. The due date is Tuesday, 3/1. |
| פורסם ב-27/12/2011, 19:42:14 Created on 27/12/2011, 19:42:14 Создано27/12/2011, 19:42:14 تم النشر ب-27/12/2011, 19:42:14 |
Room change and handout for tutorial 9 | |
|
Tomer's complementary tutorial tomorrow (Tuesday) will be given in Taub 5. Please print and bring with you to tutorial 9 the file "Logic-tutorial9_handout.pdf", you can find it in the Course Material tab. Here is a direct link: http://webcourse.cs.technion.ac.il/234293/Winter2011-2012/ho/WCFiles/Logic-tutorial9_handout.pdf |
| פורסם ב-26/12/2011, 16:39:37 Created on 26/12/2011, 16:39:37 Создано26/12/2011, 16:39:37 تم النشر ب-26/12/2011, 16:39:37 |
Late submissions to HW6 and slight correction to HW7 | |
|
You may hand in late submissions to HW6 until Tuesday 27.12 at 12:30. In Q3A of HW7, the part in parentheses was stated incorrectly. This is now fixed. The main statement in Q3A was not changed. |
| פורסם ב-24/12/2011, 21:10:44 Created on 24/12/2011, 21:10:44 Создано24/12/2011, 21:10:44 تم النشر ب-24/12/2011, 21:10:44 |
HW7 is published | |
| HW7 is now published under the assignments tab. The due date is Tuesday, 27/12. |
| פורסם ב-20/12/2011, 15:11:05 Created on 20/12/2011, 15:11:05 Создано20/12/2011, 15:11:05 تم النشر ب-20/12/2011, 15:11:05 |
Handout for Tutorial 8 and complementary tutorials due to Hanuka | |
|
1. Please print and bring with you to tutorial 8 (the next tutorial, starting this Tuesday) the file "Logic-tutorial8-handout.pdf", you can find it in the Course Material tab. Here is a direct link: http://webcourse.cs.technion.ac.il/234293/Winter2011-2012/ho/WCFiles/Logic-tutorial8-handout.pdf 2. Due to Hanuka, Noga's group will miss tutorial 8 and Tomer's group will miss tutorial 9. Tuesday 27.12 is Matkonet Yom Rishon. In order that the tutorials stay synchronized, we will have complementary tutorials for the two groups. Both will be held on Tuesday 27.12 at 16:30 (but will be on different material). Noga will give her complementary tutorial in Taub 6. Students from Noga's group who are not able to come to the complementary tutorial should come to one of the regular tutorials on 20-22.12 or 27.12. Tomer will give his complementary tutorial in Taub 3. Students from Tomer's group who are not able to come to the complementary tutorial should come to one of the regular tutorials between 28.12 and 2.1. |
| פורסם ב-19/12/2011, 15:07:05 Created on 19/12/2011, 15:07:05 Создано19/12/2011, 15:07:05 تم النشر ب-19/12/2011, 15:07:05 |
Deadline of HW6 postponed | |
| Due to deadlines of large assignments in other courses, we postpone the deadline of HW6 to Thursday 22.12 at 12:30. |
| פורסם ב-19/12/2011, 11:51:00 Created on 19/12/2011, 11:51:00 Создано19/12/2011, 11:51:00 تم النشر ب-19/12/2011, 11:51:00 |
HW6 is published | |
| HW6 is now published under the assignments tab. The due date is Tuesday, 20/12. |
| פורסם ב-13/12/2011, 16:13:22 Created on 13/12/2011, 16:13:22 Создано13/12/2011, 16:13:22 تم النشر ب-13/12/2011, 16:13:22 |
Small correction to HW5 Q3B | |
| Here you should assume A is non-empty (if A is empty, then there are no functions at all from N to A). |
| פורסם ב-13/12/2011, 16:10:46 Created on 13/12/2011, 16:10:46 Создано13/12/2011, 16:10:46 تم النشر ب-13/12/2011, 16:10:46 |
HW5 Q4A correction | |
| Question 4 Aleph was stated incorrectly. The set K should be the set of all almost-constant functions (and not just any set of almost-constant functions). |
| עדכון אחרון ב-7/12/2011, 17:19:29 Last updated on 7/12/2011, 17:19:29 Последняя модификация7/12/2011, 17:19:29 تمت الحتلنة الأخيرة ب-7/12/2011, 17:19:29 |
HW5 is published | |
| HW5 is now published under the assignments tab. The due date is Tuesday, 13/12. Notice we extended the due time to 23:55. Late submission due time remains Sunday 18/12 at 12:30 (and not 23:55). |
| פורסם ב-6/12/2011, 13:51:00 Created on 6/12/2011, 13:51:00 Создано6/12/2011, 13:51:00 تم النشر ب-6/12/2011, 13:51:00 |
Clarification regarding Q1 in HW4 | |
|
The goal of Question 1 is to prove the conclusion, that an element x has a generating sequence if and only if it belongs to X(B,F). This was sketched in class but not proved. You cannot use the conclusion to prove any of (a), (b) or (c). |
| פורסם ב-4/12/2011, 12:55:01 Created on 4/12/2011, 12:55:01 Создано4/12/2011, 12:55:01 تم النشر ب-4/12/2011, 12:55:01 |
HW4 deadline | |
|
HW4 can be submitted without penalty until Thursday 8.12 at 12:30. This is due to several close deadlines in other courses. Note that: a. HW5 will be published as planned on Tuesday 6.12. b. The late submission deadline is still Sunday 11.12 at 12:30. So please plan ahead. |
| פורסם ב-30/11/2011, 15:47:28 Created on 30/11/2011, 15:47:28 Создано30/11/2011, 15:47:28 تم النشر ب-30/11/2011, 15:47:28 |
HW4 is published | |
| HW4 is now published under the assignments tab. The due date is Tuesday, 6/12 at 12:30. |
| פורסם ב-29/11/2011, 14:18:45 Created on 29/11/2011, 14:18:45 Создано29/11/2011, 14:18:45 تم النشر ب-29/11/2011, 14:18:45 |
Monday workshop and late submissions | |
|
The workshop on Mondays will start on 15:15 instead of 15:30. This is a permanent change. From now on, late submissions which are due on Friday are extended to Sunday at 12:30. |
| פורסם ב-28/11/2011, 14:23:46 Created on 28/11/2011, 14:23:46 Создано28/11/2011, 14:23:46 تم النشر ب-28/11/2011, 14:23:46 |
HW3 is published | |
|
HW3 is now published under the assignments tab. The due date is Tuesday, 29/11 at 12:30 (noon). |
| פורסם ב-22/11/2011, 16:18:07 Created on 22/11/2011, 16:18:07 Создано22/11/2011, 16:18:07 تم النشر ب-22/11/2011, 16:18:07 |
Properties of relations | |
| Under 'Course Material' you can find a pdf file which discusses a few properties of relations which are related to symmetry. The purpose of this file is to clarify the definitions due to a discrepancy between the lectures and the tutorials. |
| פורסם ב-20/11/2011, 16:42:35 Created on 20/11/2011, 16:42:35 Создано20/11/2011, 16:42:35 تم النشر ب-20/11/2011, 16:42:35 |
Clarification regarding Q7 in HW2 | |
| The property Alpha that should be found in this question needs to be one that the Cartesian product A x A satisfies. |
| פורסם ב-20/11/2011, 11:25:11 Created on 20/11/2011, 11:25:11 Создано20/11/2011, 11:25:11 تم النشر ب-20/11/2011, 11:25:11 |
Info page | |
|
The website now contains an info page regarding the course. It can be found under the 'Syllabus' tab. You should read this file carefully. It contains important information regarding the homework, grading policy and other issues. Here is a direct link: http://webcourse.cs.technion.ac.il/234293/Winter2011-2012/comp/WCFiles/logic-winter1112-info.pdf |
| פורסם ב-17/11/2011, 16:35:32 Created on 17/11/2011, 16:35:32 Создано17/11/2011, 16:35:32 تم النشر ب-17/11/2011, 16:35:32 |
Workshops | |
|
Each week we will give two workshops of two hours each. In the workshop you work on the homework and can consult a TA. You are encouraged to come to at least one workshop per week. The workshop will be held at: Monday 15:30-17:30, Taub 601 (seminar room on the sixth floor) Thursday 16:30-18:30, Taub 701 (seminar room on the seventh floor) Amir, Shirley and Tomer will continue to give reception hours as listed under 'Staff'. See you there, The course staff |
| עדכון אחרון ב-15/11/2011, 17:42:42 Last updated on 15/11/2011, 17:42:42 Последняя модификация15/11/2011, 17:42:42 تمت الحتلنة الأخيرة ب-15/11/2011, 17:42:42 |
HW2 is published | |
|
HW2 is now published under the assignments tab. The due date is Tuesday, 22/11 at 12:30 (noon). Submission of homework is in pairs. A new HW will be published every week. Good luck! |
| פורסם ב-15/11/2011, 14:34:52 Created on 15/11/2011, 14:34:52 Создано15/11/2011, 14:34:52 تم النشر ب-15/11/2011, 14:34:52 |
Tutorials next week + complementary tutorial | |
|
Tomer will give a complementary tutorial this Sunday at 16:30-18:30 in Taub 9. This Tutorial will be Tutorial 1 -- that is, it will be on the same material as the regular tutorials given today and on Sunday and Monday. Starting Tuesday all of the tutorials will move on to Tutorial 2. Students who intend to go to the Tuesday or Wednesday tutorials should come to the complementary tutorial. Students who plan to go to any of the other groups do not need to come. |
| פורסם ב-3/11/2011, 13:44:08 Created on 3/11/2011, 13:44:08 Создано3/11/2011, 13:44:08 تم النشر ب-3/11/2011, 13:44:08 |
End of strike | |
|
We are glad to let you know that the strike has ended and Ami's tutorial tomorrow (Thursday) will be held as planned. |
| פורסם ב-2/11/2011, 18:25:02 Created on 2/11/2011, 18:25:02 Создано2/11/2011, 18:25:02 تم النشر ب-2/11/2011, 18:25:02 |
Amir's reception hour | |
|
Amir's reception hour tomorrow (Tue 1.11.11) will be held at 14:30-15:30 instead of the usual 13:30-14:30. Next week it will be at the usual time. |
| פורסם ב-31/10/2011, 21:08:59 Created on 31/10/2011, 21:08:59 Создано31/10/2011, 21:08:59 تم النشر ب-31/10/2011, 21:08:59 |
Tomorrow's lecture | |
|
The lecture tomorrow (Monday) will be given by Amir. |
| פורסם ב-30/10/2011, 17:29:02 Created on 30/10/2011, 17:29:02 Создано30/10/2011, 17:29:02 تم النشر ب-30/10/2011, 17:29:02 |
HW and video link | |
|
HW1 from the previous semester is available under Assignments. You are encouraged to solve it completely and in writing. HW1 is not for submission and a solution is provided. A link to a video of the tutorials from a previous semester can be found under Links. |
| פורסם ב-25/10/2011, 17:48:20 Created on 25/10/2011, 17:48:20 Создано25/10/2011, 17:48:20 تم النشر ب-25/10/2011, 17:48:20 |
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 site and through this mailing list. As you probably know, the Teaching Staff Organization has announced a strike. This means that all of our tutorials, as well as Shirley's lectures on Monday, will not be held until further notice. However, as a one-time change, Amir will give both of the lectures on the first week. We hope that the strike is over soon and wish you a fruitful and enjoyable semester, The course staff. |
| פורסם ב-23/10/2011, 14:57:52 Created on 23/10/2011, 14:57:52 Создано23/10/2011, 14:57:52 تم النشر ب-23/10/2011, 14:57:52 |