Skip to content

Commit

Permalink
Latest build deployed.
Browse files Browse the repository at this point in the history
  • Loading branch information
@Samuel-Lubliner
Samuel-Lubliner committed Feb 19, 2024
1 parent cccc22f commit 0367b53
Show file tree
Hide file tree
Showing 29 changed files with 4,253 additions and 122 deletions.
2 changes: 1 addition & 1 deletion .mapping.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"source/main.ptx": ["Discrete-Math-with-SageMath"], "source/frontmatter.ptx": ["frontmatter"], "source/getting-started/ch-getting-started.ptx": ["ch-getting-started"], "source/getting-started/sec-sage-browser.ptx": ["sage-browser"], "source/getting-started/sec-about-sage.ptx": ["about-sage"], "source/getting-started/sec-debugging.ptx": ["debugging"], "source/getting-started/sec-documentation.ptx": ["documentation"], "source/set-theory/ch-set-theory.ptx": ["ch-set-theory"], "source/set-theory/sec-creating-sets.ptx": ["creating-sets"], "source/set-theory/sec-cardinality.ptx": ["cardinality"], "source/set-theory/sec-operation-on-sets.ptx": ["sec-operation-on-sets"], "source/backmatter.ptx": ["backmatter"]}
{"source/main.ptx": ["Discrete-Math-with-SageMath"], "source/frontmatter.ptx": ["frontmatter"], "source/getting-started/ch-getting-started.ptx": ["ch-getting-started"], "source/getting-started/sec-sage-browser.ptx": ["sage-browser"], "source/getting-started/sec-about-sage.ptx": ["about-sage"], "source/getting-started/sec-debugging.ptx": ["debugging"], "source/getting-started/sec-documentation.ptx": ["documentation"], "source/set-theory/ch-set-theory.ptx": ["ch-set-theory"], "source/set-theory/sec-creating-sets.ptx": ["creating-sets"], "source/set-theory/sec-cardinality.ptx": ["cardinality"], "source/set-theory/sec-operation-on-sets.ptx": ["sec-operation-on-sets"], "source/combinatorics/ch-combinatorics.ptx": ["ch-combinatorics"], "source/combinatorics/sec-combinatorics.ptx": ["sec-combinatorics"], "source/logic/ch-logic.ptx": ["ch-logic"], "source/logic/sec-logical-operation.ptx": ["sec-logical-operation"], "source/logic/sec-truth-table.ptx": ["sec-truth-table"], "source/logic/sec-tautology.ptx": ["sec-tautology"], "source/relations/ch-relations.ptx": ["ch-relations"], "source/relations/sec-intro-relations.ptx": ["intro-relations"], "source/relations/sec-relations-on-a-set.ptx": ["relations-on-a-set"], "source/relations/sec-properties.ptx": ["properties"], "source/relations/sec-equivalence.ptx": ["equivalence"], "source/relations/sec-partial-order.ptx": ["partial-order"], "source/backmatter.ptx": ["backmatter"]}
56 changes: 54 additions & 2 deletions Discrete-Math-with-SageMath.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -173,18 +173,70 @@ <h2 class="search-results-heading">Search Results: </h2>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-operation-on-sets.html#sec-operation-on-sets-3" class="internal"><span class="codenumber">2.3.2</span> <span class="title">Set Union</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-operation-on-sets.html#sec-operation-on-sets-4" class="internal"><span class="codenumber">2.3.3</span> <span class="title">Set Intersection</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-operation-on-sets.html#sec-operation-on-sets-5" class="internal"><span class="codenumber">2.3.4</span> <span class="title">Set Difference</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-operation-on-sets.html#sec-operation-on-sets-6" class="internal"><span class="codenumber">2.3.5</span> <span class="title">Set Complement</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-operation-on-sets.html#sec-operation-on-sets-7" class="internal"><span class="codenumber">2.3.6</span> <span class="title">Cartesian Product of Sets</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-operation-on-sets.html#sec-operation-on-sets-6" class="internal"><span class="codenumber">2.3.5</span> <span class="title">Multiple Sets</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-operation-on-sets.html#sec-operation-on-sets-7" class="internal"><span class="codenumber">2.3.6</span> <span class="title">Set Complement</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-operation-on-sets.html#sec-operation-on-sets-8" class="internal"><span class="codenumber">2.3.7</span> <span class="title">Cartesian Product of Sets</span></a></div></li>
</ul>
</li>
</ul>
</li>
<li class="toc-item toc-chapter">
<div class="toc-title-box"><a href="ch-combinatorics.html" class="internal"><span class="codenumber">3</span> <span class="title">Conbinatorics</span></a></div>
<ul class="structural toc-item-list"><li class="toc-item toc-section">
<div class="toc-title-box"><a href="sec-combinatorics.html" class="internal"><span class="codenumber">3.1</span> <span class="title">Combinatorics</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-combinatorics.html#sec-combinatorics-2" class="internal"><span class="codenumber">3.1.1</span> <span class="title">Factorial Function</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-combinatorics.html#sec-combinatorics-3" class="internal"><span class="codenumber">3.1.2</span> <span class="title">Binomial Coefficient</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-combinatorics.html#sec-combinatorics-4" class="internal"><span class="codenumber">3.1.3</span> <span class="title">Permutations</span></a></div></li>
</ul>
</li></ul>
</li>
<li class="toc-item toc-chapter">
<div class="toc-title-box"><a href="ch-logic.html" class="internal"><span class="codenumber">4</span> <span class="title">Logic</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-section">
<div class="toc-title-box"><a href="sec-logical-operation.html" class="internal"><span class="codenumber">4.1</span> <span class="title">Logical Operations</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-logical-operation.html#sec-logical-operation-2" class="internal"><span class="codenumber">4.1.1</span> <span class="title">Logical Operators</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-logical-operation.html#sec-logical-operation-3" class="internal"><span class="codenumber">4.1.2</span> <span class="title">Logical Operations in SageMath</span></a></div></li>
</ul>
</li>
<li class="toc-item toc-section">
<div class="toc-title-box"><a href="sec-truth-table.html" class="internal"><span class="codenumber">4.2</span> <span class="title">Truth Table</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-truth-table.html#sec-truth-table-2" class="internal"><span class="codenumber">4.2.1</span> <span class="title">Truth Tables</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-truth-table.html#sec-truth-table-3" class="internal"><span class="codenumber">4.2.2</span> <span class="title">Truth Tables for Three Variables</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-truth-table.html#sec-truth-table-4" class="internal"><span class="codenumber">4.2.3</span> <span class="title">Analyzing Logical Equivalences</span></a></div></li>
</ul>
</li>
<li class="toc-item toc-section">
<div class="toc-title-box"><a href="sec-tautology.html" class="internal"><span class="codenumber">4.3</span> <span class="title">Tautologies</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-tautology.html#sec-tautology-2" class="internal"><span class="codenumber">4.3.1</span> <span class="title">Tautologies</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-tautology.html#sec-tautology-3" class="internal"><span class="codenumber">4.3.2</span> <span class="title">Tautologies and Contradictions</span></a></div></li>
</ul>
</li>
</ul>
</li>
<li class="toc-item toc-chapter">
<div class="toc-title-box"><a href="ch-relations.html" class="internal"><span class="codenumber">5</span> <span class="title">Relations</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-section"><div class="toc-title-box"><a href="intro-relations.html" class="internal"><span class="codenumber">5.1</span> <span class="title">Introduction to Relations</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="relations-on-a-set.html" class="internal"><span class="codenumber">5.2</span> <span class="title">Relations on a set</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="properties.html" class="internal"><span class="codenumber">5.3</span> <span class="title">Properties</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="equivalence.html" class="internal"><span class="codenumber">5.4</span> <span class="title">Equivalence</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="partial-order.html" class="internal"><span class="codenumber">5.5</span> <span class="title">Partial Order</span></a></div></li>
</ul>
</li>
<li class="toc-item toc-backmatter"><div class="toc-title-box"><a href="backmatter.html" class="internal"><span class="title">Backmatter</span></a></div></li>
</ul></nav></div>
<main class="ptx-main"><div id="ptx-content" class="ptx-content"><section class="book" id="Discrete-Math-with-SageMath"><nav class="summary-links"><ul>
<li><a href="frontmatter.html" class="internal"><span class="title">Front Matter</span></a></li>
<li><a href="ch-getting-started.html" class="internal"><span class="codenumber">1</span> <span class="title">Getting Started</span></a></li>
<li><a href="ch-set-theory.html" class="internal"><span class="codenumber">2</span> <span class="title">Set Theory</span></a></li>
<li><a href="ch-combinatorics.html" class="internal"><span class="codenumber">3</span> <span class="title">Conbinatorics</span></a></li>
<li><a href="ch-logic.html" class="internal"><span class="codenumber">4</span> <span class="title">Logic</span></a></li>
<li><a href="ch-relations.html" class="internal"><span class="codenumber">5</span> <span class="title">Relations</span></a></li>
<li><a href="backmatter.html" class="internal"><span class="title">Backmatter</span></a></li>
</ul></nav></section></div>
<div class="ptx-content-footer">
Expand Down
Loading

0 comments on commit 0367b53

Please sign in to comment.