Differences

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

--- start [2018/08/21 01:13] – jonathan
+++ start [2018/08/29 00:07] (current) – 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]]. See the Resources Tab for information on the TLA+ and PVS tools, private Github accounts and Predicate Logic and Set Theory.
+[[https://moodle.yorku.ca/moodle/course/view.php?id=139851|Moodle EECS431-F18]].
+See the [[resources:|Resources]] Tab for information on the required Textbook, the TLA+ and PVS tools, private Educational Github repositories and Predicate Logic and Set Theory.
 ===== Lecture Times =====
-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 are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the first 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
     * Tuesday lectures are to be held in: Bergeron Room 313.
     * Thursday lectures are to be held in: Bergeron Room 313.
-  * **Labs**: There is a formal Lab every Thursday in  LAS1004, from 5.30pm to 6.30pm. Labs start right away on the first day of class (with Lab0). Login to this Wiki with your Prism account, and go to the SVN tab (on the left).
+  * **Labs**: There is a formal Lab every Thursday in  LAS1002 and LAS1004, from 5.30pm to 6.30pm. Labs start right away on the first day of class (with Lab0). Login to this Wiki with your Prism account, and go to the SVN tab (on the left).
   * **Labtests**: There is a graded Labtest (using multiple choice) each week during the Lab, starting on Thursday 13 September. The Labtest will be on all the work up to (but not including that day).