| | 1 | #+macro: topic Propositional Logic |
| | 2 | |
| | 3 | #+macro: room MC 4040 |
| | 4 | #+macro: sec1 SE 212 TUT 101 |
| | 5 | #+macro: sec2 SE 212 TUT 102 |
| | 6 | #+macro: time1 02:30-03:20W |
| | 7 | #+macro: time2 03:30-04:20W |
| | 8 | |
| | 9 | #+macro: sec {{{sec2}}} |
| | 10 | #+macro: sectime {{{time2}}} |
| | 11 | |
| | 12 | #+title: {{{topic}}} |
| | 13 | #+subtitle: ({{{sec}}}) |
| | 14 | #+author: Amin Bandali |
| | 15 | #+email: bandali@uwaterloo.ca |
| | 16 | #+date: Wed Sep 11, 2019 |
| | 17 | #+language: en |
| | 18 | #+options: email:t num:t toc:nil \n:nil ::t |:t ^:t -:t f:t *:t <:t |
| | 19 | #+options: tex:t d:nil todo:t pri:nil tags:not-in-toc |
| | 20 | #+select_tags: export |
| | 21 | #+exclude_tags: noexport |
| | 22 | #+startup: beamer |
| | 23 | #+latex_class: beamer |
| | 24 | # #+latex_class_options: [bigger] |
| | 25 | #+latex_header: \setbeamercovered{transparent} |
| | 26 | #+latex: \setbeamertemplate{itemize items}[circle] |
| | 27 | #+beamer_color_theme: beaver |
| | 28 | |
| | 29 | * Are you at the right place? |
| | 30 | |
| | 31 | We’re in {{{room}}}, for {{{sec}}} ({{{sectime}}}) |
| | 32 | |
| | 33 | * |
| | 34 | |
| | 35 | #+latex: \definecolor{darkred}{rgb}{0.8,0,0} |
| | 36 | #+latex: {\Large \color{darkred} |
| | 37 | #+begin_center |
| | 38 | George |
| | 39 | #+end_center |
| | 40 | #+latex: } |
| | 41 | |
| | 42 | * |
| | 43 | |
| | 44 | #+latex: \vspace{-2.5em} |
| | 45 | file:./george.png |
| | 46 | |
| | 47 | #+latex: {\footnotesize |
| | 48 | https://www.student.cs.uwaterloo.ca/~se212/george/ask-george/ |
| | 49 | #+latex: } |
| | 50 | |
| | 51 | * Tool support |
| | 52 | |
| | 53 | Over the years, students have developed a number of tools for using |
| | 54 | George and/or editing =.grg= files, such as plugins for Vim and Atom. |
| | 55 | |
| | 56 | Check them out at |
| | 57 | |
| | 58 | #+begin_center |
| | 59 | Course website → George User Manual → Contributions |
| | 60 | #+end_center |
| | 61 | |
| | 62 | * George mode for Emacs (new!) |
| | 63 | |
| | 64 | - Syntax highlighting + a number of convenience functions |
| | 65 | - Grab it from https://git.sr.ht/~bandali/george-mode \\ |
| | 66 | (soon on Contributions page) |
| | 67 | |
| | 68 | * =a00q01.grg= (demo) |
| | 69 | |
| | 70 | Walk through answering =a00q01.grg= and submitting on MarkUs |
| | 71 | |
| | 72 | * Homework 1 |
| | 73 | :PROPERTIES: |
| | 74 | :BEAMER_act: [<+->] |
| | 75 | :END: |
| | 76 | |
| | 77 | - Let’s do a couple of questions from Homework 1 |
| | 78 | - Now you try the rest, let me know if you have any questions |
projects / ~bandali / bndl.org / blame_incremental