start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
start [2018/08/20 01:35] – jonathan | start [2018/08/21 01:14] – jonathan | ||
---|---|---|---|
Line 9: | Line 9: | ||
Some of your work is submitted at the Moodle site | Some of your work is submitted at the Moodle site | ||
- | [[https:// | + | [[https:// |
- | ===== Lecture Times ===== | + | See the **Resources** Tab for information on the required Textbook, the TLA+ and PVS tools, private Github accounts and Predicate Logic and Set Theory. |
- | Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the class, in LAS 1002/ | + | ===== Lecture Times ===== |
- | **The first Lab is Thursday 6, September 2018 **. Thus the first class and the first lab start on the same day. | + | Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the class, in LAS 1002/ |
* **Lectures**: | * **Lectures**: |
start.txt · Last modified: 2018/08/29 00:07 by jonathan