fix two links
[~bandali/bndl.org] / static / 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