projects / ~bandali / bndl.org / blame
| Commit | Line | Data |
|---|---|---|
| ff620ce6 AB |
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 |