From: Amin Bandali Date: Mon, 20 Apr 2020 04:50:48 +0000 (-0400) Subject: update se212-f19 page and files X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/a9bc018ee07125709a2814a194a7bfb3433907fe update se212-f19 page and files --- 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