index.html (6869B)
1 <html> 2 <head> 3 <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.6/highlight.min.js"></script> 4 <script type="text/javascript" async src="https://cdn.jsdelivr.net/gh/mathjax/MathJax@2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> 5 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.6/styles/default.min.css"> 6 <link rel="Stylesheet" type="text/css" href="style.css" /> 7 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> 8 <script> 9 document.addEventListener('DOMContentLoaded', function() { 10 document.querySelectorAll('pre.code').forEach(function(item) { 11 hljs.highlightBlock(item) 12 }) 13 }); 14 </script> 15 <title>index</title> 16 </head> 17 <body> 18 <style type="text/css"> 19 nav a { 20 text-align: left; 21 } 22 nav #name { 23 text-align: right; 24 float: right; 25 font-style: italic; 26 } 27 </style> 28 <nav> 29 <a href="index.html">Index</a> 30 <span id="name">Alex Balgavy</span> 31 </nav> 32 <hr> 33 <div class="content"> 34 35 36 <div id="Logic and Modeling"><h1 id="Logic and Modeling" class="header"><a href="#Logic and Modeling">Logic and Modeling</a></h1></div> 37 <p> 38 Here's the <a href="http://avigad.github.io/logic_and_proof/propositional_logic.html">online book</a>. 39 </p> 40 41 <p> 42 Also, <a href="../../logic-modelling.apkg">here's my Anki deck</a>. 43 </p> 44 45 <p> 46 <a href="The one-page cheat sheet.html">The one-page cheat sheet</a>. 47 </p> 48 49 <ul> 50 <li> 51 <a href="propositional-logic.html#Propositional logic">Propositional logic</a> 52 53 <ul> 54 <li> 55 <a href="propositional-logic.html#Propositional logic-Notation review">Notation review</a> 56 57 <li> 58 <a href="propositional-logic.html#Propositional logic-Rules of inference">Rules of inference</a> 59 60 <li> 61 <a href="propositional-logic.html#Propositional logic-Forward and backward reasoning">Forward and backward reasoning</a> 62 63 <li> 64 <a href="propositional-logic.html#Propositional logic-Proof by contradiction">Proof by contradiction</a> 65 66 <li> 67 <a href="propositional-logic.html#Propositional logic-Vocab definitions">Vocab definitions</a> 68 69 <li> 70 <a href="propositional-logic.html#Propositional logic-Classical reasoning">Classical reasoning</a> 71 72 <li> 73 <a href="propositional-logic.html#Propositional logic-Syntax vs Semantics">Syntax vs Semantics</a> 74 75 <li> 76 <a href="propositional-logic.html#Propositional logic-Soundness and completeness">Soundness and completeness</a> 77 78 </ul> 79 <li> 80 <a href="first-order-logic.html#First order logic">First order logic</a> 81 82 <ul> 83 <li> 84 <a href="first-order-logic.html#First order logic-Functions, predicates, relations">Functions, predicates, relations</a> 85 86 <li> 87 <a href="first-order-logic.html#First order logic-Quantifiers, binding">Quantifiers, binding</a> 88 89 <ul> 90 <li> 91 <a href="first-order-logic.html#First order logic-Quantifiers, binding-Natural deduction rules">Natural deduction rules</a> 92 93 </ul> 94 <li> 95 <a href="first-order-logic.html#First order logic-Relativization and sorts">Relativization and sorts</a> 96 97 <li> 98 <a href="first-order-logic.html#First order logic-Models">Models</a> 99 100 <li> 101 <a href="first-order-logic.html#First order logic-Interpreting formulas without quantifiers">Interpreting formulas without quantifiers</a> 102 103 <li> 104 <a href="first-order-logic.html#First order logic-Interpretation of formulas with quantifiers and free variables">Interpretation of formulas with quantifiers and free variables</a> 105 106 <li> 107 <a href="first-order-logic.html#First order logic-Interpreting terms in model with environment">Interpreting terms in model with environment</a> 108 109 <li> 110 <a href="first-order-logic.html#First order logic-Semantical entailment in predicate logic">Semantical entailment in predicate logic</a> 111 112 <li> 113 <a href="first-order-logic.html#First order logic-Logical equivalence">Logical equivalence</a> 114 115 <li> 116 <a href="first-order-logic.html#First order logic-Satisfiability, validity, consistency">Satisfiability, validity, consistency</a> 117 118 <li> 119 <a href="first-order-logic.html#First order logic-Translating into predicate logic">Translating into predicate logic</a> 120 121 <li> 122 <a href="first-order-logic.html#First order logic-Rules for quantifiers and connectives">Rules for quantifiers and connectives</a> 123 124 <li> 125 <a href="first-order-logic.html#First order logic-Semantics of first order logic">Semantics of first order logic</a> 126 127 </ul> 128 <li> 129 <a href="sets.html#Sets">Sets</a> 130 131 <ul> 132 <li> 133 <a href="sets.html#Sets-Relations">Relations</a> 134 135 <ul> 136 <li> 137 <a href="sets.html#Sets-Relations-Order types">Order types</a> 138 139 </ul> 140 <li> 141 <a href="sets.html#Sets-Natural numbers & induction">Natural numbers & induction</a> 142 143 <li> 144 <a href="sets.html#Sets-Recursive definitions">Recursive definitions</a> 145 146 </ul> 147 <li> 148 <a href="modal-logic.html#Modal logic">Modal logic</a> 149 150 <ul> 151 <li> 152 <a href="modal-logic.html#Modal logic-Truth in worlds">Truth in worlds</a> 153 154 <li> 155 <a href="modal-logic.html#Modal logic-Truth in Kripke models">Truth in Kripke models</a> 156 157 <li> 158 <a href="modal-logic.html#Modal logic-Semantic implication/entailment">Semantic implication/entailment</a> 159 160 <li> 161 <a href="modal-logic.html#Modal logic-Frames">Frames</a> 162 163 </ul> 164 <li> 165 <a href="meta-theorems-of-predicate-logic.html#Meta-Theorems of Predicate Logic">Meta-Theorems of Predicate Logic</a> 166 167 <li> 168 <a href="definability-and-undefinability-results.html#Definability and Undefinability results">Definability and Undefinability results</a> 169 170 <ul> 171 <li> 172 <a href="definability-and-undefinability-results.html#Definability and Undefinability results-for model cardinality">for model cardinality</a> 173 174 <li> 175 <a href="definability-and-undefinability-results.html#Definability and Undefinability results-for reachability">for reachability</a> 176 177 <li> 178 <a href="definability-and-undefinability-results.html#Definability and Undefinability results-General overview">General overview</a> 179 180 </ul> 181 <li> 182 <a href="decidability-and-undecidability.html#Decidability and Undecidability">Decidability and Undecidability</a> 183 184 <ul> 185 <li> 186 <a href="decidability-and-undecidability.html#Decidability and Undecidability-Decision problems">Decision problems</a> 187 188 <ul> 189 <li> 190 <a href="decidability-and-undecidability.html#Decidability and Undecidability-Decision problems-Termination problem">Termination problem</a> 191 192 <li> 193 <a href="decidability-and-undecidability.html#Decidability and Undecidability-Decision problems-Post's Correspondence Problem">Post's Correspondence Problem</a> 194 195 </ul> 196 <li> 197 <a href="decidability-and-undecidability.html#Decidability and Undecidability-Undecidability of Validity and Provability">Undecidability of Validity and Provability</a> 198 199 <li> 200 <a href="decidability-and-undecidability.html#Decidability and Undecidability-Undecidability of Satisfiability">Undecidability of Satisfiability</a> 201 202 </ul> 203 <li> 204 <a href="incompleteness-theorem.html#Incompleteness theorem">Incompleteness theorem</a> 205 206 </ul> 207 208 </div> 209 </body> 210 </html>