X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/cd68557ac93aa5080eb5c4fa4fb44dcb22dab048..577bfe36d675e89cf680abcf81d12ef4fc2b750a:/se212-f19/se212-t01.html diff --git a/se212-f19/se212-t01.html b/se212-f19/se212-t01.html deleted file mode 100644 index d81cbd7..0000000 --- a/se212-f19/se212-t01.html +++ /dev/null @@ -1,343 +0,0 @@ - - - - - - - -Propositional Logic - - - - - - -

-

Propositional Logic -
-(SE 212 TUT 102) -

- -

-

1 Are you at the right place?

-

-

-Weâre in MC 4040, for SE 212 TUT 102 (03:30-04:20W) -

-

-

- -

-

2

-

-

-

-George -

-

-

-

- -

-

3

-

- -

-

-

-

- -

-https://www.student.cs.uwaterloo.ca/~se212/george/ask-george/ -

-

-

- -

-

4 Tool support

-

-

-Over the years, students have developed a number of tools for using -George and/or editing .grg files, such as plugins for Vim and Atom. -

- -

-Check them out at -

- -

-

-Course website â George User Manual â Contributions -

-

-

-

- -

-

5 George mode for Emacs (new!)

-

-

Syntax highlighting + a number of convenience functions
Grab it from https://git.sr.ht/~bandali/george-mode
-(soon on Contributions page)

-

-

- -

-

6 `a00q01.grg` (demo)

-

-

-Walk through answering a00q01.grg and submitting on MarkUs -

-

-

- -

-

7 Homework 1

-

-

Letâs do a couple of questions from Homework 1
Now you try the rest, let me know if you have any questions

-

-

-

-

-

Date: Wed Sep 11, 2019

-

Author: Amin Bandali

-

Email: bandali@uwaterloo.ca

-

Created: 2019-09-18 Wed 23:12

-

-

- -