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:09] – jonathan | resources [2018/10/31 22:35] (current) – jonathan | ||
---|---|---|---|
Line 7: | Line 7: | ||
* This course uses the mathematical logic you learned in MATH1090 and your discrete mathematics courses. You may want to review your notes from those courses. See more below. | * This course uses the mathematical logic you learned in MATH1090 and your discrete mathematics courses. You may want to review your notes from those courses. See more below. | ||
+ | |||
* [[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 15: | Line 29: | ||
In this course, you have the option of working in teams. So acquire an [[https:// | In this course, you have the option of working in teams. So acquire an [[https:// | ||
+ | |||
+ | * Rule 1: Create a Git repository for every new project | ||
+ | * Rule #2: Create a new branch for every new feature | ||
+ | * Rule #3: Use Pull Requests to merge code to Master | ||
+ | |||
+ | ==== 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.1534813794.txt.gz · Last modified: 2018/08/21 01:09 by jonathan