resources
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
resources [2018/08/21 01:11] – jonathan | resources [2018/10/31 22:35] (current) – jonathan | ||
---|---|---|---|
Line 10: | Line 10: | ||
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
+ | * [[http:// | ||
+ | * [[https:// | ||
+ | |||
+ | In your .cshrc you will need the following: | ||
+ | |||
+ | < | ||
+ | source / | ||
+ | setenv PVS_LIBRARY_PATH "/ | ||
+ | </ | ||
+ | |||
+ | The first item is for LaTeX using Texlive: invoke '' | ||
+ | |||
+ | The second for PVS (especially '' | ||
===== Git and Github ===== | ===== Git and Github ===== | ||
Line 21: | Line 34: | ||
* Rule #3: Use Pull Requests to merge code to Master | * Rule #3: Use Pull Requests to merge code to Master | ||
- | [[https:// | + | ==== Github Educational Accounts ==== |
+ | Educational Accounts have unlimited private repositories (required for academic integrity) | ||
+ | |||
+ | * [[https:// | ||
+ | * [[https:// | ||
===== Logic and Discrete Mathematics ===== | ===== Logic and Discrete Mathematics ===== | ||
+ | |||
+ | < | ||
+ | |||
+ | 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:// | ||
A gentle introduction to logic and discrete mathematics (if MATH1090 did not quite engage you) is [[https:// | A gentle introduction to logic and discrete mathematics (if MATH1090 did not quite engage you) is [[https:// |
resources.1534813915.txt.gz · Last modified: 2018/08/21 01:11 by jonathan