Differences

This shows you the differences between two versions of the page.

--- start [2018/08/20 01:35] – jonathan
+++ start [2018/08/21 01:14] – jonathan
@@ Line 9: / Line 9: @@
 Some of your work is submitted at the Moodle site
-[[https://moodle.yorku.ca/moodle/course/view.php?id=139851|Moodle EECS431-F18]]
+[[https://moodle.yorku.ca/moodle/course/view.php?id=139851|Moodle EECS431-F18]].
-===== Lecture Times =====
+See the **Resources** Tab for information on the required Textbook, the TLA+ and PVS tools, private Github accounts and Predicate Logic and Set Theory.
-Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the class, in LAS 1002/1004.
+===== Lecture Times =====
-**The first Lab is Thursday 6, September 2018 **. Thus the first class and the first lab start on the same day.
+Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the class, in LAS 1002/1004.  **The first Lab is Thursday 6, September 2018 **. Thus the first class and the first lab start on the same day.
   * **Lectures**: Tuesdays & Thursdays 4pm-5.30pm