resources
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
resources [2018/09/02 20:33] – 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 | ||
- | ===== Github Educational Accounts | + | ==== Github Educational Accounts ==== |
Educational Accounts have unlimited private repositories (required for academic integrity) | Educational Accounts have unlimited private repositories (required for academic integrity) | ||
Line 29: | Line 42: | ||
===== Logic and Discrete Mathematics ===== | ===== Logic and Discrete Mathematics ===== | ||
- | This course will use mathematics for specifying hardware and software systems. | + | <hi>This course will use mathematics for specifying hardware and software systems.</ |
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:// | 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:// |
resources.1535920392.txt.gz · Last modified: 2018/09/02 20:33 by jonathan