Differences

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

--- start [2015/09/17 21:37] – jonathan
+++ start [2015/12/04 17:37] (current) – jonathan
@@ Line 8: / Line 8: @@
 ← 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 =====
   * Tuesdays & Thursdays 4pm-5.30pm
-    * 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 =====
@@ Line 42: / Line 45: @@
   * Latex, for writing well formatted documents. (Word and other document systems do not do as well as Latex for formatting mathematics). See [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:latex:|LaTeX]] for more information.
 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:
+  setenv PVS_LIBRARY_PATH "/cse/local/pkg/pvs/nasalib"
+  source /cs/local/packages/texlive/cshrc.texlive
 ===== Virtual Machine with PVS/Latex =====