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

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
   3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
   4 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
   5 <head>
   6 <!-- 2019-09-18 Wed 23:12 -->
   7 <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
   8 <meta name="viewport" content="width=device-width, initial-scale=1" />
   9 <title>Propositional Logic</title>
  10 <meta name="generator" content="Org mode" />
  11 <meta name="author" content="Amin Bandali" />
  12 <style type="text/css">
  13  <!--/*--><![CDATA[/*><!--*/
  14   .title  { text-align: center;
  15              margin-bottom: .2em; }
  16   .subtitle { text-align: center;
  17               font-size: medium;
  18               font-weight: bold;
  19               margin-top:0; }
  20   .todo   { font-family: monospace; color: red; }
  21   .done   { font-family: monospace; color: green; }
  22   .priority { font-family: monospace; color: orange; }
  23   .tag    { background-color: #eee; font-family: monospace;
  24             padding: 2px; font-size: 80%; font-weight: normal; }
  25   .timestamp { color: #bebebe; }
  26   .timestamp-kwd { color: #5f9ea0; }
  27   .org-right  { margin-left: auto; margin-right: 0px;  text-align: right; }
  28   .org-left   { margin-left: 0px;  margin-right: auto; text-align: left; }
  29   .org-center { margin-left: auto; margin-right: auto; text-align: center; }
  30   .underline { text-decoration: underline; }
  31   #postamble p, #preamble p { font-size: 90%; margin: .2em; }
  32   p.verse { margin-left: 3%; }
  33   pre {
  34     border: 1px solid #ccc;
  35     box-shadow: 3px 3px 3px #eee;
  36     padding: 8pt;
  37     font-family: monospace;
  38     overflow: auto;
  39     margin: 1.2em;
  40   }
  41   pre.src {
  42     position: relative;
  43     overflow: visible;
  44     padding-top: 1.2em;
  45   }
  46   pre.src:before {
  47     display: none;
  48     position: absolute;
  49     background-color: white;
  50     top: -10px;
  51     right: 10px;
  52     padding: 3px;
  53     border: 1px solid black;
  54   }
  55   pre.src:hover:before { display: inline;}
  56   /* Languages per Org manual */
  57   pre.src-asymptote:before { content: 'Asymptote'; }
  58   pre.src-awk:before { content: 'Awk'; }
  59   pre.src-C:before { content: 'C'; }
  60   /* pre.src-C++ doesn't work in CSS */
  61   pre.src-clojure:before { content: 'Clojure'; }
  62   pre.src-css:before { content: 'CSS'; }
  63   pre.src-D:before { content: 'D'; }
  64   pre.src-ditaa:before { content: 'ditaa'; }
  65   pre.src-dot:before { content: 'Graphviz'; }
  66   pre.src-calc:before { content: 'Emacs Calc'; }
  67   pre.src-emacs-lisp:before { content: 'Emacs Lisp'; }
  68   pre.src-fortran:before { content: 'Fortran'; }
  69   pre.src-gnuplot:before { content: 'gnuplot'; }
  70   pre.src-haskell:before { content: 'Haskell'; }
  71   pre.src-hledger:before { content: 'hledger'; }
  72   pre.src-java:before { content: 'Java'; }
  73   pre.src-js:before { content: 'Javascript'; }
  74   pre.src-latex:before { content: 'LaTeX'; }
  75   pre.src-ledger:before { content: 'Ledger'; }
  76   pre.src-lisp:before { content: 'Lisp'; }
  77   pre.src-lilypond:before { content: 'Lilypond'; }
  78   pre.src-lua:before { content: 'Lua'; }
  79   pre.src-matlab:before { content: 'MATLAB'; }
  80   pre.src-mscgen:before { content: 'Mscgen'; }
  81   pre.src-ocaml:before { content: 'Objective Caml'; }
  82   pre.src-octave:before { content: 'Octave'; }
  83   pre.src-org:before { content: 'Org mode'; }
  84   pre.src-oz:before { content: 'OZ'; }
  85   pre.src-plantuml:before { content: 'Plantuml'; }
  86   pre.src-processing:before { content: 'Processing.js'; }
  87   pre.src-python:before { content: 'Python'; }
  88   pre.src-R:before { content: 'R'; }
  89   pre.src-ruby:before { content: 'Ruby'; }
  90   pre.src-sass:before { content: 'Sass'; }
  91   pre.src-scheme:before { content: 'Scheme'; }
  92   pre.src-screen:before { content: 'Gnu Screen'; }
  93   pre.src-sed:before { content: 'Sed'; }
  94   pre.src-sh:before { content: 'shell'; }
  95   pre.src-sql:before { content: 'SQL'; }
  96   pre.src-sqlite:before { content: 'SQLite'; }
  97   /* additional languages in org.el's org-babel-load-languages alist */
  98   pre.src-forth:before { content: 'Forth'; }
  99   pre.src-io:before { content: 'IO'; }
 100   pre.src-J:before { content: 'J'; }
 101   pre.src-makefile:before { content: 'Makefile'; }
 102   pre.src-maxima:before { content: 'Maxima'; }
 103   pre.src-perl:before { content: 'Perl'; }
 104   pre.src-picolisp:before { content: 'Pico Lisp'; }
 105   pre.src-scala:before { content: 'Scala'; }
 106   pre.src-shell:before { content: 'Shell Script'; }
 107   pre.src-ebnf2ps:before { content: 'ebfn2ps'; }
 108   /* additional language identifiers per "defun org-babel-execute"
 109        in ob-*.el */
 110   pre.src-cpp:before  { content: 'C++'; }
 111   pre.src-abc:before  { content: 'ABC'; }
 112   pre.src-coq:before  { content: 'Coq'; }
 113   pre.src-groovy:before  { content: 'Groovy'; }
 114   /* additional language identifiers from org-babel-shell-names in
 115      ob-shell.el: ob-shell is the only babel language using a lambda to put
 116      the execution function name together. */
 117   pre.src-bash:before  { content: 'bash'; }
 118   pre.src-csh:before  { content: 'csh'; }
 119   pre.src-ash:before  { content: 'ash'; }
 120   pre.src-dash:before  { content: 'dash'; }
 121   pre.src-ksh:before  { content: 'ksh'; }
 122   pre.src-mksh:before  { content: 'mksh'; }
 123   pre.src-posh:before  { content: 'posh'; }
 124   /* Additional Emacs modes also supported by the LaTeX listings package */
 125   pre.src-ada:before { content: 'Ada'; }
 126   pre.src-asm:before { content: 'Assembler'; }
 127   pre.src-caml:before { content: 'Caml'; }
 128   pre.src-delphi:before { content: 'Delphi'; }
 129   pre.src-html:before { content: 'HTML'; }
 130   pre.src-idl:before { content: 'IDL'; }
 131   pre.src-mercury:before { content: 'Mercury'; }
 132   pre.src-metapost:before { content: 'MetaPost'; }
 133   pre.src-modula-2:before { content: 'Modula-2'; }
 134   pre.src-pascal:before { content: 'Pascal'; }
 135   pre.src-ps:before { content: 'PostScript'; }
 136   pre.src-prolog:before { content: 'Prolog'; }
 137   pre.src-simula:before { content: 'Simula'; }
 138   pre.src-tcl:before { content: 'tcl'; }
 139   pre.src-tex:before { content: 'TeX'; }
 140   pre.src-plain-tex:before { content: 'Plain TeX'; }
 141   pre.src-verilog:before { content: 'Verilog'; }
 142   pre.src-vhdl:before { content: 'VHDL'; }
 143   pre.src-xml:before { content: 'XML'; }
 144   pre.src-nxml:before { content: 'XML'; }
 145   /* add a generic configuration mode; LaTeX export needs an additional
 146      (add-to-list 'org-latex-listings-langs '(conf " ")) in .emacs */
 147   pre.src-conf:before { content: 'Configuration File'; }
 148
 149   table { border-collapse:collapse; }
 150   caption.t-above { caption-side: top; }
 151   caption.t-bottom { caption-side: bottom; }
 152   td, th { vertical-align:top;  }
 153   th.org-right  { text-align: center;  }
 154   th.org-left   { text-align: center;   }
 155   th.org-center { text-align: center; }
 156   td.org-right  { text-align: right;  }
 157   td.org-left   { text-align: left;   }
 158   td.org-center { text-align: center; }
 159   dt { font-weight: bold; }
 160   .footpara { display: inline; }
 161   .footdef  { margin-bottom: 1em; }
 162   .figure { padding: 1em; }
 163   .figure p { text-align: center; }
 164   .equation-container {
 165     display: table;
 166     text-align: center;
 167     width: 100%;
 168   }
 169   .equation {
 170     vertical-align: middle;
 171   }
 172   .equation-label {
 173     display: table-cell;
 174     text-align: right;
 175     vertical-align: middle;
 176   }
 177   .inlinetask {
 178     padding: 10px;
 179     border: 2px solid gray;
 180     margin: 10px;
 181     background: #ffffcc;
 182   }
 183   #org-div-home-and-up
 184    { text-align: right; font-size: 70%; white-space: nowrap; }
 185   textarea { overflow-x: auto; }
 186   .linenr { font-size: smaller }
 187   .code-highlighted { background-color: #ffff00; }
 188   .org-info-js_info-navigation { border-style: none; }
 189   #org-info-js_console-label
 190     { font-size: 10px; font-weight: bold; white-space: nowrap; }
 191   .org-info-js_search-highlight
 192     { background-color: #ffff00; color: #000000; font-weight: bold; }
 193   .org-svg { width: 90%; }
 194   /*]]>*/-->
 195 </style>
 196 <script type="text/javascript">
 197 /*
 198 @licstart  The following is the entire license notice for the
 199 JavaScript code in this tag.
 200
 201 Copyright (C) 2012-2019 Free Software Foundation, Inc.
 202
 203 The JavaScript code in this tag is free software: you can
 204 redistribute it and/or modify it under the terms of the GNU
 205 General Public License (GNU GPL) as published by the Free Software
 206 Foundation, either version 3 of the License, or (at your option)
 207 any later version.  The code is distributed WITHOUT ANY WARRANTY;
 208 without even the implied warranty of MERCHANTABILITY or FITNESS
 209 FOR A PARTICULAR PURPOSE.  See the GNU GPL for more details.
 210
 211 As additional permission under GNU GPL version 3 section 7, you
 212 may distribute non-source (e.g., minimized or compacted) forms of
 213 that code without the copy of the GNU GPL normally required by
 214 section 4, provided you include this license notice and a URL
 215 through which recipients can access the Corresponding Source.
 216
 217
 218 @licend  The above is the entire license notice
 219 for the JavaScript code in this tag.
 220 */
 221 <!--/*--><![CDATA[/*><!--*/
 222  function CodeHighlightOn(elem, id)
 223  {
 224    var target = document.getElementById(id);
 225    if(null != target) {
 226      elem.cacheClassElem = elem.className;
 227      elem.cacheClassTarget = target.className;
 228      target.className = "code-highlighted";
 229      elem.className   = "code-highlighted";
 230    }
 231  }
 232  function CodeHighlightOff(elem, id)
 233  {
 234    var target = document.getElementById(id);
 235    if(elem.cacheClassElem)
 236      elem.className = elem.cacheClassElem;
 237    if(elem.cacheClassTarget)
 238      target.className = elem.cacheClassTarget;
 239  }
 240 /*]]>*///-->
 241 </script>
 242 </head>
 243 <body>
 244 <div id="content">
 245 <h1 class="title">Propositional Logic
 246 <br />
 247 <span class="subtitle">(SE 212 TUT 102)</span>
 248 </h1>
 249
 250 <div id="outline-container-org3ca277c" class="outline-2">
 251 <h2 id="org3ca277c"><span class="section-number-2">1</span> Are you at the right place?</h2>
 252 <div class="outline-text-2" id="text-1">
 253 <p>
 254 We’re in MC 4040, for SE 212 TUT 102 (03:30-04:20W)
 255 </p>
 256 </div>
 257 </div>
 258
 259 <div id="outline-container-orgc50c656" class="outline-2">
 260 <h2 id="orgc50c656"><span class="section-number-2">2</span> </h2>
 261 <div class="outline-text-2" id="text-2">
 262 <div class="org-center">
 263 <p>
 264 George
 265 </p>
 266 </div>
 267 </div>
 268 </div>
 269
 270 <div id="outline-container-orgc4929c6" class="outline-2">
 271 <h2 id="orgc4929c6"><span class="section-number-2">3</span> </h2>
 272 <div class="outline-text-2" id="text-3">
 273
 274 <div class="figure">
 275 <p><img src="./george.png" alt="george.png" />
 276 </p>
 277 </div>
 278
 279 <p>
 280 <a href="https://www.student.cs.uwaterloo.ca/~se212/george/ask-george/">https://www.student.cs.uwaterloo.ca/~se212/george/ask-george/</a>
 281 </p>
 282 </div>
 283 </div>
 284
 285 <div id="outline-container-org67896df" class="outline-2">
 286 <h2 id="org67896df"><span class="section-number-2">4</span> Tool support</h2>
 287 <div class="outline-text-2" id="text-4">
 288 <p>
 289 Over the years, students have developed a number of tools for using
 290 George and/or editing <code>.grg</code> files, such as plugins for Vim and Atom.
 291 </p>
 292
 293 <p>
 294 Check them out at
 295 </p>
 296
 297 <div class="org-center">
 298 <p>
 299 Course website → George User Manual → Contributions
 300 </p>
 301 </div>
 302 </div>
 303 </div>
 304
 305 <div id="outline-container-org88ee3fd" class="outline-2">
 306 <h2 id="org88ee3fd"><span class="section-number-2">5</span> George mode for Emacs (new!)</h2>
 307 <div class="outline-text-2" id="text-5">
 308 <ul class="org-ul">
 309 <li>Syntax highlighting + a number of convenience functions</li>
 310 <li>Grab it from <a href="https://git.sr.ht/~bandali/george-mode">https://git.sr.ht/~bandali/george-mode</a> <br />
 311 (soon on Contributions page)</li>
 312 </ul>
 313 </div>
 314 </div>
 315
 316 <div id="outline-container-org0ba02d1" class="outline-2">
 317 <h2 id="org0ba02d1"><span class="section-number-2">6</span> <code>a00q01.grg</code> (demo)</h2>
 318 <div class="outline-text-2" id="text-6">
 319 <p>
 320 Walk through answering <code>a00q01.grg</code> and submitting on MarkUs
 321 </p>
 322 </div>
 323 </div>
 324
 325 <div id="outline-container-orgb863070" class="outline-2">
 326 <h2 id="orgb863070"><span class="section-number-2">7</span> Homework 1</h2>
 327 <div class="outline-text-2" id="text-7">
 328 <ul class="org-ul">
 329 <li>Let’s do a couple of questions from Homework 1</li>
 330 <li>Now you try the rest, let me know if you have any questions</li>
 331 </ul>
 332 </div>
 333 </div>
 334 </div>
 335 <div id="postamble" class="status">
 336 <p class="date">Date: Wed Sep 11, 2019</p>
 337 <p class="author">Author: Amin Bandali</p>
 338 <p class="email">Email: <a href="mailto:bandali@uwaterloo.ca">bandali@uwaterloo.ca</a></p>
 339 <p class="date">Created: 2019-09-18 Wed 23:12</p>
 340 <p class="validation"><a href="http://validator.w3.org/check?uri=referer">Validate</a></p>
 341 </div>
 342 </body>
 343 </html>