deploy: e3002f3

Author: klaeufer

.buildinfo

@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file records the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 0aa66096d3f4d0b85709f811e94eb0f4
+config: 9f824f4c85798d56f46b926537b76b86
 tags: 645f666f9bcd5a90fca523b33c5a78b7

10-overview.html

@@ -6,7 +6,7 @@
 <link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="2. Software Engineering Context" href="15-softwareengineering.html"><link rel="prev" title="Lecture Notes: Formal Methods in Software Engineering" href="index.html">
 
     <!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
-        <title>1. Overview - Loyola University Chicago COMP 335 Lecture Notes v26sp.14</title>
+        <title>1. Overview - Loyola University Chicago COMP 335 Lecture Notes v26sp.15</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
     <link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
     <link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
       </label>
     </div>
     <div class="header-center">
-      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</div></a>
+      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</div></a>
     </div>
     <div class="header-right">
       <div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
 
       <div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
 
-  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</span>
+  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</span>
 
 </a><form class="sidebar-search-container" method="get" action="search.html" role="search">
   <input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -377,7 +377,7 @@ <h2><span class="section-number">1.4. </span>Bloom’s taxonomy<a class="headerl
   </div>
 </div><script src="_static/jquery.js?v=5d32c60e"></script>
     <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-    <script src="_static/documentation_options.js?v=cf920d0a"></script>
+    <script src="_static/documentation_options.js?v=6bea8913"></script>
     <script src="_static/doctools.js?v=fd6eb6e6"></script>
     <script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
     <script src="_static/scripts/furo.js?v=46bd48cc"></script>

15-softwareengineering.html

@@ -6,7 +6,7 @@
 <link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="3. Foundations in Discrete Structures" href="20-foundations.html"><link rel="prev" title="1. Overview" href="10-overview.html">
 
     <!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
-        <title>2. Software Engineering Context - Loyola University Chicago COMP 335 Lecture Notes v26sp.14</title>
+        <title>2. Software Engineering Context - Loyola University Chicago COMP 335 Lecture Notes v26sp.15</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
     <link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
     <link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
       </label>
     </div>
     <div class="header-center">
-      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</div></a>
+      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</div></a>
     </div>
     <div class="header-right">
       <div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
 
       <div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
 
-  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</span>
+  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</span>
 
 </a><form class="sidebar-search-container" method="get" action="search.html" role="search">
   <input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -599,7 +599,7 @@ <h3><span class="section-number">2.5.4. </span>Recap<a class="headerlink" href="
   </div>
 </div><script src="_static/jquery.js?v=5d32c60e"></script>
     <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-    <script src="_static/documentation_options.js?v=cf920d0a"></script>
+    <script src="_static/documentation_options.js?v=6bea8913"></script>
     <script src="_static/doctools.js?v=fd6eb6e6"></script>
     <script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
     <script src="_static/scripts/furo.js?v=46bd48cc"></script>

20-foundations.html

@@ -6,7 +6,7 @@
 <link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="4. Software Testing" href="30-testing.html"><link rel="prev" title="2. Software Engineering Context" href="15-softwareengineering.html">
 
     <!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
-        <title>3. Foundations in Discrete Structures - Loyola University Chicago COMP 335 Lecture Notes v26sp.14</title>
+        <title>3. Foundations in Discrete Structures - Loyola University Chicago COMP 335 Lecture Notes v26sp.15</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
     <link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
     <link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
       </label>
     </div>
     <div class="header-center">
-      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</div></a>
+      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</div></a>
     </div>
     <div class="header-right">
       <div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
 
       <div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
 
-  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</span>
+  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</span>
 
 </a><form class="sidebar-search-container" method="get" action="search.html" role="search">
   <input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -246,10 +246,6 @@
         <article role="main" id="furo-main-content">
           <section id="foundations-in-discrete-structures">
 <span id="chapter-logic"></span><h1><span class="section-number">3. </span>Foundations in Discrete Structures<a class="headerlink" href="#foundations-in-discrete-structures" title="Link to this heading"></a></h1>
-<div class="admonition-todo admonition" id="id1">
-<p class="admonition-title">Todo</p>
-<p>Under construction for spring 2026</p>
-</div>
 <section id="propositional-logic">
 <h2><span class="section-number">3.1. </span>Propositional Logic<a class="headerlink" href="#propositional-logic" title="Link to this heading"></a></h2>
 <p>Propositional logic, also known as propositional calculus or boolean logic, is a branch of logic that deals with propositions and their combinations using logical connectives.</p>
@@ -305,8 +301,8 @@ <h3><span class="section-number">3.1.2. </span>Examples<a class="headerlink" hre
 <section id="predicate-logic">
 <h2><span class="section-number">3.2. </span>Predicate Logic<a class="headerlink" href="#predicate-logic" title="Link to this heading"></a></h2>
 <p>Predicate logic, also known as first-order logic, extends propositional logic by dealing with predicates and quantifiers. Unlike propositional logic, which operates on simple, unanalyzable propositions, predicate logic analyzes the internal structure of propositions.</p>
-<section id="id2">
-<h3><span class="section-number">3.2.1. </span>Key Concepts<a class="headerlink" href="#id2" title="Link to this heading"></a></h3>
+<section id="id1">
+<h3><span class="section-number">3.2.1. </span>Key Concepts<a class="headerlink" href="#id1" title="Link to this heading"></a></h3>
 <dl>
 <dt>Predicate</dt><dd><p>A predicate is a function that takes an object and returns a truth value. It essentially describes a property or a relation among objects.</p>
 </dd>
@@ -322,8 +318,8 @@ <h3><span class="section-number">3.2.1. </span>Key Concepts<a class="headerlink"
 </dd>
 </dl>
 </section>
-<section id="id3">
-<h3><span class="section-number">3.2.2. </span>Examples<a class="headerlink" href="#id3" title="Link to this heading"></a></h3>
+<section id="id2">
+<h3><span class="section-number">3.2.2. </span>Examples<a class="headerlink" href="#id2" title="Link to this heading"></a></h3>
 <p>Consider a domain of discourse consisting of animals.
 Let <span class="math notranslate nohighlight">\(P(x)\)</span> represent “x is a cat.”</p>
 <p>Now, consider the statement:</p>
@@ -355,7 +351,7 @@ <h3><span class="section-number">3.2.2. </span>Examples<a class="headerlink" hre
 <section id="recap">
 <h3><span class="section-number">3.2.3. </span>Recap<a class="headerlink" href="#recap" title="Link to this heading"></a></h3>
 <p>Predicate logic allows for the expression of more complex and nuanced statements about the world compared to propositional logic. Its use of quantifiers and predicates enables detailed analysis of the properties of objects and their relationships.</p>
-<div class="admonition-todo admonition" id="id4">
+<div class="admonition-todo admonition" id="id3">
 <p class="admonition-title">Todo</p>
 <p>Add material on Sets, Proofs, and Induction</p>
 </div>
@@ -434,8 +430,8 @@ <h2><span class="section-number">3.3. </span>Further Reading<a class="headerlink
 </ul>
 </li>
 <li><a class="reference internal" href="#predicate-logic">3.2. Predicate Logic</a><ul>
-<li><a class="reference internal" href="#id2">3.2.1. Key Concepts</a></li>
-<li><a class="reference internal" href="#id3">3.2.2. Examples</a></li>
+<li><a class="reference internal" href="#id1">3.2.1. Key Concepts</a></li>
+<li><a class="reference internal" href="#id2">3.2.2. Examples</a></li>
 <li><a class="reference internal" href="#recap">3.2.3. Recap</a></li>
 </ul>
 </li>
@@ -453,7 +449,7 @@ <h2><span class="section-number">3.3. </span>Further Reading<a class="headerlink
   </div>
 </div><script src="_static/jquery.js?v=5d32c60e"></script>
     <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-    <script src="_static/documentation_options.js?v=cf920d0a"></script>
+    <script src="_static/documentation_options.js?v=6bea8913"></script>
     <script src="_static/doctools.js?v=fd6eb6e6"></script>
     <script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
     <script src="_static/scripts/furo.js?v=46bd48cc"></script>

30-testing.html

@@ -6,7 +6,7 @@
 <link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="5. Formal Specification" href="35-specification.html"><link rel="prev" title="3. Foundations in Discrete Structures" href="20-foundations.html">
 
     <!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
-        <title>4. Software Testing - Loyola University Chicago COMP 335 Lecture Notes v26sp.14</title>
+        <title>4. Software Testing - Loyola University Chicago COMP 335 Lecture Notes v26sp.15</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
     <link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
     <link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
       </label>
     </div>
     <div class="header-center">
-      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</div></a>
+      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</div></a>
     </div>
     <div class="header-right">
       <div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
 
       <div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
 
-  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</span>
+  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</span>
 
 </a><form class="sidebar-search-container" method="get" action="search.html" role="search">
   <input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -629,7 +629,7 @@ <h2><span class="section-number">4.14. </span>Further Reading<a class="headerlin
   </div>
 </div><script src="_static/jquery.js?v=5d32c60e"></script>
     <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-    <script src="_static/documentation_options.js?v=cf920d0a"></script>
+    <script src="_static/documentation_options.js?v=6bea8913"></script>
     <script src="_static/doctools.js?v=fd6eb6e6"></script>
     <script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
     <script src="_static/scripts/furo.js?v=46bd48cc"></script>

35-specification.html

@@ -6,7 +6,7 @@
 <link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="6. Model Checking" href="40-modelchecking.html"><link rel="prev" title="4. Software Testing" href="30-testing.html">
 
     <!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
-        <title>5. Formal Specification - Loyola University Chicago COMP 335 Lecture Notes v26sp.14</title>
+        <title>5. Formal Specification - Loyola University Chicago COMP 335 Lecture Notes v26sp.15</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
     <link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
     <link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
       </label>
     </div>
     <div class="header-center">
-      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</div></a>
+      <a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</div></a>
     </div>
     <div class="header-right">
       <div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
 
       <div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
 
-  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.14</span>
+  <span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.15</span>
 
 </a><form class="sidebar-search-container" method="get" action="search.html" role="search">
   <input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -249,10 +249,6 @@
 <p>In this chapter, we discuss formal specification of software systems.
 We will use Alloy, a lightweight modeling language based on relational logic, to express our specifications.
 We focus on modeling data structures, defining constraints, specifying operations, and reasoning about system behavior using Alloy’s built-in analysis tools.</p>
-<div class="admonition note">
-<p class="admonition-title">Note</p>
-<p>This chapter is in its initial stages for spring 2026 and subject to ongoing revisions!</p>
-</div>
 <p>More details, including additional examples, are available in the book <a class="reference external" href="https://haslab.github.io/formal-software-design">Formal Software Design with Alloy 6</a>.</p>
 <section id="introduction-to-alloy">
 <h2><span class="section-number">5.1. </span>Introduction to Alloy<a class="headerlink" href="#introduction-to-alloy" title="Link to this heading"></a></h2>
@@ -442,7 +438,7 @@ <h2><span class="section-number">5.9. </span>Conclusion<a class="headerlink" hre
   </div>
 </div><script src="_static/jquery.js?v=5d32c60e"></script>
     <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-    <script src="_static/documentation_options.js?v=cf920d0a"></script>
+    <script src="_static/documentation_options.js?v=6bea8913"></script>
     <script src="_static/doctools.js?v=fd6eb6e6"></script>
     <script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
     <script src="_static/scripts/furo.js?v=46bd48cc"></script>