From a9bc018ee07125709a2814a194a7bfb3433907fe Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Mon, 20 Apr 2020 00:50:48 -0400 Subject: [PATCH 1/1] update se212-f19 page and files --- cv.m4 | 2 +- se212-f19.m4 | 43 +++ static/se212-f19/se212-t01.html | 343 ------------------ static/{se212-f19 => }/se212-h02q04d-soln.grg | 0 static/{se212-f19 => }/se212-t01.org | 0 static/{se212-f19 => }/se212-t05.org | 0 6 files changed, 44 insertions(+), 344 deletions(-) create mode 100644 se212-f19.m4 delete mode 100644 static/se212-f19/se212-t01.html rename static/{se212-f19 => }/se212-h02q04d-soln.grg (100%) rename static/{se212-f19 => }/se212-t01.org (100%) rename static/{se212-f19 => }/se212-t05.org (100%) diff --git a/cv.m4 b/cv.m4 index 4a485f4..b90a594 100644 --- a/cv.m4 +++ b/cv.m4 @@ -49,7 +49,7 @@ Fall 2014.

SE 212: -IA in Fall 2019, +IA in Fall 2019, TA in Fall 2018
SE 463: TA in Summer 2019 and 2018

Material from SE 212 tutorials

This page contains slides and other material from +SE 212 +tutorials held by me in Fall 2019. ~~If you have any +questions, concerns, or suggestions about the presented material, +please email me at bandali@uwaterloo.ca or come see me during my +Friday +office hours.~~

+ +

Tutorial 1: +
- TUT 101 slides
- TUT 102 slides
- Org beamer sources
+
Tutorial 2: +
- Homework 2 q04d +solution
+
Tutorial 3: â
Tutorial 4: â
Tutorial 5: +
- Slides
- Org beamer sources
+
Tutorial 6: â
Tutorial 7: worked through questions 1â5 of Homework 7
Tutorial 8: â
Tutorial 9: â
Tutorial 10: worked through questions 1â10 of Homework 10

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

Validate