git.shemshak.org - ~bandali/bndl.org/blob - static/se212-f19/se212-t01.org

   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