Differences

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

--- resources [2018/09/02 20:26] – jonathan
+++ resources [2018/10/31 22:35] (current) – jonathan
@@ Line 10: / Line 10: @@
   * [[http://tla.eecs.yorku.ca| TLA+ Resources]]
   * [[http://pvs.eecs.yorku.ca|PVS Resources]]
+  * [[http://seldoc.eecs.yorku.ca/doku.php/eiffel/virtualbox/start|SEL-VM]]. This is the SEL VM that has TLA, PVS, Rodin, Eiffel, etc. It is somewhat challenging to install PVS on your Laptop, with all the bug fixes and NASA software. We therefore advise that you use the SEL-VM.
+  * [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:latex:start|Latex]] (login with your EECS account).
+In your .cshrc you will need the following:
+<code>
+source /cs/local/packages/texlive/cshrc.texlive
+setenv PVS_LIBRARY_PATH "/cse/local/pkg/pvs/nasalib"
+</code>
+The first item is for LaTeX using Texlive: invoke ''texlive-setup'' from the command line and it will be appended to your ''.cshrc'' file.
+The second for PVS (especially ''proveit'' and the NASA libraries) should be there already via: ''/cs/local/share/cshrc.common''
 ===== Git and Github =====
@@ Line 21: / Line 34: @@
   * Rule #3: Use Pull Requests to merge code to Master
-===== Github Educational Accounts =====
+==== Github Educational Accounts ====
 Educational Accounts have unlimited private repositories (required for academic integrity)
@@ Line 29: / Line 42: @@
 ===== Logic and Discrete Mathematics =====
-**Specifying Systems** TLA+ Book by Leslie Lamport, has an introductory section on predicate logic and set theory. See [[tla.eecs.yorku.ca|TLA]]
+<hi>This course will use mathematics for specifying hardware and software systems.</hi>
+In case you need to review, **Specifying Systems** TLA+ Book by Leslie Lamport, has an introductory section on predicate logic and set theory. See [[http://tla.eecs.yorku.ca|TLA]]. You may want to review your texts from MATH1090 and MTAH1019. The SVN has a folder ''Logic'' with a list of theorems for predicate logic and set theory as well as document showing some proofs (equational and sequent  calculus). This should help with your review of predicate logic and set theory.
 A gentle introduction to logic and discrete mathematics (if MATH1090 did not quite engage you) is [[https://www.amazon.ca/Introduction-Mathematical-Thinking-Keith-Devlin/dp/0615653634|Introduction to Mathematical Thinking Paperback, by Keith Devlin, 2012]] (102 pages and cost is under $10). It is also a free course at [[https://www.coursera.org|coursera]].