Problems with the grades submission
|
Dear students, Please check that your final UG grade was submitted properly. Contact Gali as soon as possible if it wasn't. |
| פורסם ב-11/11/2020, 13:16:58 Created on 11/11/2020, 13:16:58 Создано11/11/2020, 13:16:58 تم النشر ب-11/11/2020, 13:16:58 |
Moed C
|
Moed C will be held on Sunday, November 15th. All eligible students should contact Gali as soon as possible (if you haven't done so yet). |
| פורסם ב-8/11/2020, 15:44:58 Created on 8/11/2020, 15:44:58 Создано8/11/2020, 15:44:58 تم النشر ب-8/11/2020, 15:44:58 |
The exam appeals
|
The exam appeals have been answered. The grades will be submitted soon. All students who weren't able to attend the final exam due to reserve duty, should send an email to Gali before October 29th (even if you've already done that). Please include your id number, full name and a confirmation (for doing it in practice) from your unit. |
| פורסם ב-24/10/2020, 15:10:31 Created on 24/10/2020, 15:10:31 Создано24/10/2020, 15:10:31 تم النشر ب-24/10/2020, 15:10:31 |
Moed B Exam grades and Final grades are now online
|
The scans should be available soon. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Monday, 19.10.20 at 12:00 (noon). No appeals will be accepted after this date. 2. Send your appeal by email to usheffigaatgmail.com , as a plain text (avoid txt files, 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. |
| פורסם ב-13/10/2020, 13:33:21 Created on 13/10/2020, 13:33:21 Создано13/10/2020, 13:33:21 تم النشر ب-13/10/2020, 13:33:21 |
Oral Exam
|
The following students should join our Zoom Room for oral examination: 318361490 204122246 311283345 305728180 204511414 209008879 315636829 316148568 206709065 315697300 207061235 206836876 308561026 206267387 204132104 308561026 315765974 315226928 314655911 |
| פורסם ב-1/10/2020, 14:49:40 Created on 1/10/2020, 14:49:40 Создано1/10/2020, 14:49:40 تم النشر ب-1/10/2020, 14:49:40 |
The Exam File
|
Dear students, The exam was published under the 'Course Material' tab. The password will be given to you by your room supervisor. Good luck, The course staff |
| פורסם ב-1/10/2020, 12:39:24 Created on 1/10/2020, 12:39:24 Создано1/10/2020, 12:39:24 تم النشر ب-1/10/2020, 12:39:24 |
The Exam Tomorrow
|
Dear students, Please take a few moments to carefully read the logic-spring20-exam-B-info.pdf file again (it was published under 'Assignments'). Make sure you have a room assignment, and join your room tomorrow around 12:15. If there are any issues, you can join the following Zoom room: https://technion.zoom.us/j/99668092316 Notice that you cannot print the DAF EZER in advance. It will be attached to the exam. Good luck, The course staff |
| פורסם ב-30/9/2020, 13:14:13 Created on 30/9/2020, 13:14:13 Создано30/9/2020, 13:14:13 تم النشر ب-30/9/2020, 13:14:13 |
The info file
| If you are going to attend the exam tomorrow, and haven't submitted the logic-spring20-exam-B-info.pdf file via the submission link, please send it to ucourse234292attechnion.ac.il |
| עדכון אחרון ב-30/9/2020, 12:49:05 Last updated on 30/9/2020, 12:49:05 Последняя модификация30/9/2020, 12:49:05 تمت الحتلنة الأخيرة ب-30/9/2020, 12:49:05 |
Gali's reception hour
| The link for Gali's reception hour is: https://technion.zoom.us/j/93881530706 |
| פורסם ב-30/9/2020, 09:40:07 Created on 30/9/2020, 09:40:07 Создано30/9/2020, 09:40:07 تم النشر ب-30/9/2020, 09:40:07 |
Yakir's Reception Hour
|
Hello all, Here is the Zoom info for today's reception hour: Yakir Vizel is inviting you to a scheduled Zoom meeting. Topic: Reception Hour Time: Sep 29, 2020 10:00 Jerusalem Join Zoom Meeting https://technion.zoom.us/j/99800383315 Meeting ID: 998 0038 3315 One tap mobile +972553301762,,99800383315# Israel +97239786688,,99800383315# Israel Dial by your location +972 55 330 1762 Israel +972 3 978 6688 Israel Meeting ID: 998 0038 3315 Find your local number: https://technion.zoom.us/u/aeuOknxHpY |
| פורסם ב-29/9/2020, 09:59:36 Created on 29/9/2020, 09:59:36 Создано29/9/2020, 09:59:36 تم النشر ب-29/9/2020, 09:59:36 |
Moed B Reception Hours
|
We will hold special reception hours before the exam: Adar - Wednesday 23/09 12:00-13:00. link: https://technion.zoom.us/j/91477623456 Liron - Thursday 24/09 09:00-10:00. link: https://technion.zoom.us/j/91658776564 Yakir - Tuesday 29/09 10:00-11:00. link: https://technion.zoom.us/j/95384231154 Gali - Wednesday 30/09 10:00-11:00. link: https://technion.zoom.us/j/96812958839 You are requested to send your questions by email in advance. Other questions will not be answered. Good luck, Course staff |
| עדכון אחרון ב-21/9/2020, 21:19:28 Last updated on 21/9/2020, 21:19:28 Последняя модификация21/9/2020, 21:19:28 تمت الحتلنة الأخيرة ب-21/9/2020, 21:19:28 |
Moed B
|
Dear students, Moed B will be held online on Thursday, October 1st, at 13:00. Instead of a 2.5 hours exam, we cut it down to a 1.5 hours exam. The exam will not include a question from the home assignments. You can find the Daf Ezer for the exam under the Course Material tab. It will be included in the exam. Please take a few moments to carefully read the logic-spring20-exam-B-info.pdf file, which appears under the 'Assignments' tab. In order to attend the exam, you will have to submit this file via the submission link (for more details, read the file). The submission link also appears under the 'Assignments' tab, and will be closed on Tuesday at 13:00 (48 hours before the exam). Please send all of your administrative questions via your semester representative. Individual questions will not be answered. If you have any questions regarding the exam registration, please contact Ortal (uortalamatcs.technion.ac.il). A detailed reception hours schedule will be published soon. Good luck, The course staff |
| עדכון אחרון ב-18/9/2020, 15:47:39 Last updated on 18/9/2020, 15:47:39 Последняя модификация18/9/2020, 15:47:39 تمت الحتلنة الأخيرة ب-18/9/2020, 15:47:39 |
The exam next week
|
This message is for students that were registered to the course in the last winter semester: Notice that all exam guidelines will be published only via the winter semester site: https://webcourse.cs.technion.ac.il/234292/Winter2019-2020/ |
| פורסם ב-12/8/2020, 11:45:56 Created on 12/8/2020, 11:45:56 Создано12/8/2020, 11:45:56 تم النشر ب-12/8/2020, 11:45:56 |
Moed A appeals
| Moed A appeals have been answered. |
| פורסם ב-6/8/2020, 22:13:09 Created on 6/8/2020, 22:13:09 Создано6/8/2020, 22:13:09 تم النشر ب-6/8/2020, 22:13:09 |
Moed A Exam grades and Final grades are now online
|
Moed A Exam grades and Final grades are now online. The scans should be available soon. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Sunday, 2.8.20 at 12:00 (noon). No appeals will be accepted after this date. 2. Send your appeal by email to usheffigaatgmail.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/7/2020, 15:01:28 Last updated on 22/7/2020, 15:01:28 Последняя модификация22/7/2020, 15:01:28 تمت الحتلنة الأخيرة ب-22/7/2020, 15:01:28 |
Interview
|
The following, please come to the following link: https://technion.zoom.us/j/91462676173 318967809 313602153 204380703 205949886 205823511 321990178 315816314 318711157 313546327 315085738 207992207 314553413 315226928 205962210 208741405 |
| פורסם ב-12/7/2020, 10:45:46 Created on 12/7/2020, 10:45:46 Создано12/7/2020, 10:45:46 تم النشر ب-12/7/2020, 10:45:46 |
Moed A
|
Dear students, The exam will be published at 9:00 under the 'Course Material' tab. Good luck, The course staff |
| פורסם ב-12/7/2020, 08:19:07 Created on 12/7/2020, 08:19:07 Создано12/7/2020, 08:19:07 تم النشر ب-12/7/2020, 08:19:07 |
Updated Guidelines
|
Hello all, Updated guidelines (including a Q&A section) can be found under Course Material. Make sure you read it before the exam. Good Luck, The course staff |
| פורסם ב-11/7/2020, 23:12:08 Created on 11/7/2020, 23:12:08 Создано11/7/2020, 23:12:08 تم النشر ب-11/7/2020, 23:12:08 |
Moed A
|
Dear students, As for DAF EZER: It will be part of your exam. Meaning, it will appear at the end of the exam, thus, you can use it. If you choose to print your exam, then of course you can print the DAF EZER. However, you can only print it as part of the process of printing the exam, and cannot print it in advance. We hope this resolves the issues and ambiguity surrounding this matter. For the exam tomorrow, please make sure to join your rooms starting 8:30. If you try to join your room after the Exam is published on the webcourse, you won't be able to take part in the exam. If there are any issues, you can join the following Zoom room: https://technion.zoom.us/j/91462676173 Students that were originally assigned to Ulman 506, your new room is: Ulman 700 https://technion.zoom.us/j/95944784610?pwd=KzM3VCtLa0IvMzBVWVlZTm00cStZQT09 Students that were originally assigned to Ulman 702, your new room is: Ulman 606 https://technion.zoom.us/j/91630377077?pwd=UEUzbFNqeHlBRkRlNjU5UEYxMnNHQT09 Make sure to check your room assignment on students.technion.ac.il Good luck, The course staff |
| פורסם ב-11/7/2020, 23:02:30 Created on 11/7/2020, 23:02:30 Создано11/7/2020, 23:02:30 تم النشر ب-11/7/2020, 23:02:30 |
Simulation - Reminder
|
Dear students, This is just a reminder that we will have a simulation tonight at 21:00. Some of you may get new links for their exam rooms, use the new links. If you have issues during the simulation, join the following Zoom room: https://technion.zoom.us/j/93936295219 The course staff |
| עדכון אחרון ב-11/7/2020, 20:23:06 Last updated on 11/7/2020, 20:23:06 Последняя модификация11/7/2020, 20:23:06 تمت الحتلنة الأخيرة ب-11/7/2020, 20:23:06 |
Updated Guidelines
|
Hello all, Updated guidelines can be found under Course Material. The course staff |
| פורסם ב-11/7/2020, 12:26:07 Created on 11/7/2020, 12:26:07 Создано11/7/2020, 12:26:07 تم النشر ب-11/7/2020, 12:26:07 |
Simulation
|
Dear students, We will have a Simulation for the exam tomorrow (Saturday) at 21:00. Please join your exam rooms, see that everything works properly, and let us know if there are issues. If a room is not available, wait for a few minutes, and try again. If your room is not available till 21:30, let us know. Good luck, The course staff |
| פורסם ב-10/7/2020, 23:03:08 Created on 10/7/2020, 23:03:08 Создано10/7/2020, 23:03:08 تم النشر ب-10/7/2020, 23:03:08 |
Moed A Registration Link
|
The exam registration link was re-opened. It will be closed again at 13:00 PM. Make sure you register *before* 13:00 PM. |
| פורסם ב-10/7/2020, 11:11:34 Created on 10/7/2020, 11:11:34 Создано10/7/2020, 11:11:34 تم النشر ب-10/7/2020, 11:11:34 |
Moed A
|
Dear students, You should now be able to access your exam information on https://students.technion.ac.il/ (room, Zoom link) We will have a simulation tomorrow where the Supervisors will open the rooms and you will be able to join them and see that everything works properly. We will update regarding the exact time later today (probably around 20:00). Unfortunately we could not run the simulation earlier because Technion only assigned Supervisors for this exam last night. If you have more questions or concerns, let us know. Good luck! The course staff |
| פורסם ב-10/7/2020, 10:41:59 Created on 10/7/2020, 10:41:59 Создано10/7/2020, 10:41:59 تم النشر ب-10/7/2020, 10:41:59 |
Moed A Registration and Additional Information
|
Dear students, The exam registration is now open (under the 'Assignments' tab). Notice that you have to register for the exam in order to attend it. For more details, read the logic-spring20-exam-A-info.pdf file. The registration link will be closed on Friday at 9:00 AM (48 hours before the exam). Please take a few moments to carefully read the two info pages that can be found under 'Moed A Registration'. Good luck, Course staff |
| עדכון אחרון ב-7/7/2020, 21:49:10 Last updated on 7/7/2020, 21:49:10 Последняя модификация7/7/2020, 21:49:10 تمت الحتلنة الأخيرة ب-7/7/2020, 21:49:10 |
Moed A Reception Hours
|
We will hold special reception hours before the exam: Waseem - Wednesday 08/07 11:00-12:00. link: https://technion.zoom.us/j/91602211723 Gali - Wednesday 08/07 16:00-17:00. link: https://technion.zoom.us/j/96812958839 Yakir - Thursday 09/07 10:00-11:00. link: https://technion.zoom.us/j/95384231154 Liron - Friday 10/07 12:00-13:00. link: https://technion.zoom.us/j/91658776564 You are requested to send your questions by email in advance. Other questions will not be answered. Good luck, Course staff |
| פורסם ב-7/7/2020, 19:43:14 Created on 7/7/2020, 19:43:14 Создано7/7/2020, 19:43:14 تم النشر ب-7/7/2020, 19:43:14 |
Moed A
|
Dear students, As you know, due to the current COVID situation, the Technion has moved to online exams. This semester has been difficult for all of us. As much as it is difficult to study remotely without interacting with the course staff, it is difficult to teach for the exact same reasons. Not being able to interact with the students takes away a lot from us. We thank you for all your suggestions regarding alternative ways for evaluating the students. We came up with the following: 1. The exam will be held as planned on Sunday, July 12. 2. Instead of a 2.5 hours exam, we cut it down to 1.5 hours exam. 3. The exam will not include a question from the home assignments. 4. Once the exam is over, we will randomly pick some students for 10 minutes interviews about the exam. The purpose of these interviews is to test how well the students understand the answers they provided for the exam questions. This will be a good tool for us to understand if there are issues with the exam, as well as identify cases of misconduct (i.e. copying). Note that you need to register for the exam and provide all needed documents as per Technion’s regulations. We will open registration and will publish the exam guidelines later today. If you have any questions regarding the exam, and material, do not hesitate to contact us. All the best, The course staff |
| פורסם ב-7/7/2020, 18:48:03 Created on 7/7/2020, 18:48:03 Создано7/7/2020, 18:48:03 تم النشر ب-7/7/2020, 18:48:03 |
Daf Ezer
|
You can find the Daf Ezer for the exam under the Course Material tab. The Daf Ezer is the only material you are allowed to have with you during the exam. More exam details will be published soon. Good luck, Course staff |
| פורסם ב-5/7/2020, 16:56:36 Created on 5/7/2020, 16:56:36 Создано5/7/2020, 16:56:36 تم النشر ب-5/7/2020, 16:56:36 |
HW6
|
HW6 was published under the 'Assignments' tab. This HW is NOT for submission, and we are not going to check it. However, it is highly recommended that you solve it. |
| פורסם ב-2/7/2020, 08:53:24 Created on 2/7/2020, 08:53:24 Создано2/7/2020, 08:53:24 تم النشر ب-2/7/2020, 08:53:24 |
HW5
|
HW5 was published under the 'Assignments' tab. The due date is Wednesday, July 1st, at 23:55. |
| פורסם ב-17/6/2020, 11:27:05 Created on 17/6/2020, 11:27:05 Создано17/6/2020, 11:27:05 تم النشر ب-17/6/2020, 11:27:05 |
Liron's Workshop
|
Liron's workshop on Wednesday (June 10th) will be held at 16:30 instead of 14:30. This is a one time change. |
| עדכון אחרון ב-7/6/2020, 13:02:47 Last updated on 7/6/2020, 13:02:47 Последняя модификация7/6/2020, 13:02:47 تمت الحتلنة الأخيرة ب-7/6/2020, 13:02:47 |
HW4
|
HW4 was published under the 'Assignments' tab. The due date is Wednesday, June 17th, at 23:55. |
| פורסם ב-27/5/2020, 16:55:19 Created on 27/5/2020, 16:55:19 Создано27/5/2020, 16:55:19 تم النشر ب-27/5/2020, 16:55:19 |
HW Grades Transmission
|
Dear students, The HW transmission process (for students that were registered to the course in the last winter semester) is done. The course staff |
| פורסם ב-25/5/2020, 15:03:49 Created on 25/5/2020, 15:03:49 Создано25/5/2020, 15:03:49 تم النشر ب-25/5/2020, 15:03:49 |
Workshops
|
From now on, we are going to give weekly workshops via Zoom. In the workshops you can consult us regarding the tutorials and homework assignments. The time and links for the workshops appear under 'Staff'. You are still encouraged to post all of your questions through the course Piazza. |
| פורסם ב-14/5/2020, 13:10:12 Created on 14/5/2020, 13:10:12 Создано14/5/2020, 13:10:12 تم النشر ب-14/5/2020, 13:10:12 |
HW3
|
HW3 was published under the 'Assignments' tab. The due date is Wednesday, May 27th, at 23:55. |
| פורסם ב-13/5/2020, 13:13:40 Created on 13/5/2020, 13:13:40 Создано13/5/2020, 13:13:40 تم النشر ب-13/5/2020, 13:13:40 |
An Update Regarding the HW Grades Transmission
|
Dear students, This announcement also refers to students that were registered to the course in the last winter semester. We have decided to transmit your HW grades from the winter semester automatically. An announcement will be published after the transmission is done. Please do not inquire about your HW grades before you see such an announcement. Notice that according to our decision, you are still eligible for three exam options (as published), although your HW grades are going to be transmitted. Regards, The course staff |
| עדכון אחרון ב-8/5/2020, 01:25:21 Last updated on 8/5/2020, 01:25:21 Последняя модификация8/5/2020, 01:25:21 تمت الحتلنة الأخيرة ب-8/5/2020, 01:25:21 |
HW Grades Transmission
|
Dear students, This announcement refers to students that were registered to the course in the last winter semester. Due to the current situation, we have decided to permit HW grades transmission to this semester. All eligible students should contact Gali before May 12th. Please include your ID and full name. Regards, The course staff |
| פורסם ב-23/4/2020, 11:25:47 Created on 23/4/2020, 11:25:47 Создано23/4/2020, 11:25:47 تم النشر ب-23/4/2020, 11:25:47 |
HW2
|
HW2 was published under the 'Assignments' tab. The due date is Wednesday, May 13th, at 23:55. |
| פורסם ב-22/4/2020, 14:11:33 Created on 22/4/2020, 14:11:33 Создано22/4/2020, 14:11:33 تم النشر ب-22/4/2020, 14:11:33 |
Course Schedule for Next Week
|
The lectures and tutorials of the 4th week have been uploaded to Panopto. The tutorial directory for the 4th week contains an extra tutorial. Watching this video is highly recommended, although it is not necessary. For your convenience, you can find the file Week4_Summary.pdf under the 'Course Material' tab. HW2 will be published on Wednesday, April 22nd, as originally scheduled. Notice that, as appears in the course schedule (can be found under the 'Syllabus' tab), you are not supposed to watch any lecture or tutorial videos during the week of 26/04-02/05. The 5th lecture and tutorial are scheduled to the following week (starting on May 3rd). |
| פורסם ב-14/4/2020, 18:35:43 Created on 14/4/2020, 18:35:43 Создано14/4/2020, 18:35:43 تم النشر ب-14/4/2020, 18:35:43 |
HW1
|
HW1 was published under the 'Assignments' tab. The due date is Wednesday, April 22nd, at 23:55. |
| פורסם ב-1/4/2020, 14:20:11 Created on 1/4/2020, 14:20:11 Создано1/4/2020, 14:20:11 تم النشر ب-1/4/2020, 14:20:11 |
Online Lectures and Tutorials
|
Dear students, For your convenience, the lectures and tutorials of the first three weeks have been uploaded to Panopto (the rest will be uploaded in the upcoming weeks). Link: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Sessions/List.aspx#folderID=%227cf130dc-747c-476e-940f-ab8800c3a604%22 The uploaded lectures and tutorials are organized by week numbers, and contain only the relevant video segments. Therefore, from now on, we are not going to publish weekly schedules. Best regards, The course staff |
| פורסם ב-25/3/2020, 19:39:34 Created on 25/3/2020, 19:39:34 Создано25/3/2020, 19:39:34 تم النشر ب-25/3/2020, 19:39:34 |
Inductive Sets - Summary
|
For your convenience, you can find the file Inductive_Sets_Summary.pdf under the 'Course Material' tab. This file summarizes the definitions introduced during the first two lectures and tutorials (not including the second hour of the second lecture). We remind you that you are more than welcome to post all of your questions on Piazza. |
| פורסם ב-19/3/2020, 19:40:18 Created on 19/3/2020, 19:40:18 Создано19/3/2020, 19:40:18 تم النشر ب-19/3/2020, 19:40:18 |
Course Schedule for the Next Two Weeks
|
Notice that this schedule also appears under the 'Course Material' tab. Week #1: Lecture (due date: 23/03): The relevant recorded lectures are: 1. lecture 10 (הגדרת קבוצות באינדוקציה) 2. lecture 11 (הגדרת קבוצות באינדוקציה) It is also highly recommended that you watch the last 15 minutes of lecture 9 (פונקציות והגדרת קבוצות באינדוקציה) before watching lectures 10-11, for being familiar with the discussed terms. Tutorial (due dates: 23/03-25/03): The relevant recorded tutorial is tutorial 7 (הגדרת קבוצות באינדוקציה) Week #2: Lecture (due date: 30/03): The relevant recorded lectures are: 1. lecture 12 (הגדרת קבוצות באינדוקציה) 2. lecture 20 (תחשיב הפסוקים, סינטקס). Please skip the first 11 minutes, as they are not in the scope of our course. Tutorial (due dates: 30/03-01/04): The relevant recorded tutorial is tutorial 8 (הגדרת קבוצות באינדוקציה) Good luck, The course staff |
| פורסם ב-17/3/2020, 22:58:28 Created on 17/3/2020, 22:58:28 Создано17/3/2020, 22:58:28 تم النشر ب-17/3/2020, 22:58:28 |
Online Teaching
|
Dear students, As you are well aware, due to the current epidemic, there will be no frontal lectures, tutorials nor office-hours in the coming weeks. As per Technion’s guidelines, we are going to rely on recorded lectures and tutorials from the previous Logic and Set Theory course (234293). Since the syllabus of the previous course is a “superset” of the syllabus of the current course, we will instruct you on what videos you need to watch each week. Below are the links for the videos. Lectures link: https://video.technion.ac.il/Courses/Logic_Set_Theory.html Tutorials link: https://video.technion.ac.il/Courses/Logic_CS_Tut.html Please make sure you have access to the video server, and that you can log in using your campus user. The schedule for the first two weeks will be published in our next announcement. You are expected to follow it, and watch each video by its due date. We highly recommend that you watch the videos during your scheduled lectures and tutorials times (i.e., watch the lectures on Mondays, 12:30-14:30). As for home assignments, they will be given as planned, and submitted electronically. You are more than welcome to post all of your questions (regarding the lectures, tutorials, homework assignments, etc.) through the course Piazza. Link: https://piazza.com/technion.ac.il/spring2020/234292/home We are going to answer your Piazza questions during designated hours (you can find them, tagged as our office hours, under 'Staff'). However, if you feel like you need further assistance, please let us know and we will do our best to help. We hope this crisis will be behind us soon and we will be able to return to our usual routine. Best regards, and be safe, The course staff |
| עדכון אחרון ב-17/3/2020, 22:38:17 Last updated on 17/3/2020, 22:38:17 Последняя модификация17/3/2020, 22:38:17 تمت الحتلنة الأخيرة ب-17/3/2020, 22:38:17 |
Welcome to Logic for CS!
|
Dear students, Welcome to the course "Logic for CS" (234292). 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. The first tutorial will take place on Monday, March 23rd (after the first lecture). 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'. There will be no workshops before the publication of the first home assignment. We wish you a fruitful and enjoyable semester, The course staff |
| פורסם ב-5/3/2020, 14:14:27 Created on 5/3/2020, 14:14:27 Создано5/3/2020, 14:14:27 تم النشر ب-5/3/2020, 14:14:27 |