Welcome to Logic for CS!
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 Sunday, October 27th (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 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
|עדכון אחרון ב- 1/10/2019, 10:48:30 Last updated on 1/10/2019, 10:48:30 Последняя модификация 1/10/2019, 10:48:30 تمت الحتلنة الأخيرة ب- 1/10/2019, 10:48:30|