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 [2015/09/24 13:31] jonathanstart [2015/12/04 17:37] (current) jonathan
Line 8: Line 8:
 ← Please read the **forum** regularly for course updates. ← Please read the **forum** regularly for course updates.
  
 +Project submissions instructions are [[https://wiki.eecs.yorku.ca/course_archive/2015-16/F/4312/protected:project:submit:|here]]
  
 ===== Lecture Times ===== ===== Lecture Times =====
Line 14: Line 15:
     * Tuesday lectures are to be held in <del>CB120</del> PSE321     * Tuesday lectures are to be held in <del>CB120</del> PSE321
     * Thursday lectures are to be held in <del>CB120</del> PSE321.      * Thursday lectures are to be held in <del>CB120</del> PSE321. 
-    * There is a formal Lab every Thursday in LAS1002 from 5.30pm to 6.30pm in LAS1002. <hi>Labs start right away on the first day of class (with Lab0)</hi>. Login with your Prism account, then do: ''~sel/retrieve/4312/lab0''+    * There is a formal Lab every Thursday in LAS1002 from 5.30pm to 6.30pm in LAS1002. Labs start right away on the first day of class (with Lab0). Login with your Prism account, then do: ''~sel/retrieve/4312/lab0''. There is a Quiz after Lab submission. 
 +    * <hi>Office hours: Thursdays, 2pm-3pm in the SEL (LAS2056)</hi>
  
 ===== Learning outcomes ===== ===== Learning outcomes =====
Line 45: Line 47:
 In class we will only cover some (but not all) of the above. So you will need to master the above material at your own pace. There will be some informal labs to help with PVS. In class we will only cover some (but not all) of the above. So you will need to master the above material at your own pace. There will be some informal labs to help with PVS.
  
-Place the following in the .cshrc file in your home directory of your Prism account+Place the following in the .cshrc file in your home directory of your Prism account:
  
   setenv PVS_LIBRARY_PATH "/cse/local/pkg/pvs/nasalib"   setenv PVS_LIBRARY_PATH "/cse/local/pkg/pvs/nasalib"
start.1443101501.txt.gz · Last modified: by jonathan