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 after the first lecture (there will be no tutorials on Wednesday, October 21st).
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 attend at least one workshop per week.
There will be no workshops before the publication of the first home assignment.
Please send all of your administrative questions via your semester representative.
We wish you a fruitful and enjoyable semester,
The course staff
|פורסם ב- 12/10/2020, 19:12:27 Created on 12/10/2020, 19:12:27 Создано 12/10/2020, 19:12:27 تم النشر ب- 12/10/2020, 19:12:27|