User Tools

Site Tools


start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
start [2018/08/21 01:15] jonathanstart [2018/08/29 00:07] (current) jonathan
Line 11: Line 11:
 [[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]]. 
  
-See the **Resources** Tab for information on the required Textbook, the TLA+ and PVS tools, private Github accounts and Predicate Logic and Set Theory. +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 ===== ===== 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   * **Lectures**: Tuesdays & Thursdays 4pm-5.30pm
start.1534814109.txt.gz · Last modified: 2018/08/21 01:15 by jonathan