tag:blogger.com,1999:blog-51459449511438313202024-02-19T11:17:20.783-08:00Applied Discrete StructuresUnknownnoreply@blogger.comBlogger64125tag:blogger.com,1999:blog-5145944951143831320.post-39026468824945091012023-10-26T11:45:00.002-07:002023-10-26T11:45:51.723-07:00Word Clouds of ADS Chapters<p> I'm teaching the second semester of our Discrete Structures sequence and gave a quiz simply asking students to define <b>group</b>. The results were not so good. The emphasize how important it is to know this and other definitions, I decided to construct a word cloud of Chapter 11, which is an introduction to Algebraic Structures, mostly groups. </p><p>My first attempt - just asking Mathematica to construct a word cloud of the text - was not satisfactory since all the non-math words got in the way, although <b>group</b> was still prominent. My solution was to take the index of the book and generate a list of the words in it. Then I selected from the text only those words that appear in the index, keeping duplicates. The result is pretty good. I did the same for the chapter on graphs, Chapter 9.<table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto;"><tbody><tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhr8IxopYLUmVi7z538IM3ritgOWCAB1b2Y4sEBkdQUJ7fsBXX6tFB7hcARIcEvbaM1jdTknwxTDf03xDIZNZ2Ts_Q-fl_jhQ4YTws-JlAy901HLL8D46LxVf6CevI3Lzoi0k_1fV2iH62ar-nFA7-lRImFo-iGTg9sLyX9UZEtKgSvR5BQqz7dqmvx8NA/s720/wordcloud11.png" imageanchor="1" style="margin-left: auto; margin-right: auto;"><img border="0" data-original-height="716" data-original-width="720" height="318" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhr8IxopYLUmVi7z538IM3ritgOWCAB1b2Y4sEBkdQUJ7fsBXX6tFB7hcARIcEvbaM1jdTknwxTDf03xDIZNZ2Ts_Q-fl_jhQ4YTws-JlAy901HLL8D46LxVf6CevI3Lzoi0k_1fV2iH62ar-nFA7-lRImFo-iGTg9sLyX9UZEtKgSvR5BQqz7dqmvx8NA/s320/wordcloud11.png" width="320" /></a></td></tr><tr><td class="tr-caption" style="text-align: center;">Word Cloud for Chapter 11</td></tr></tbody></table><br /><table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto;"><tbody><tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjF5-lVWKgSLcXxySPq-040RikQvBYYwNcnaU77eWMahwYwaJJwoBQCrCn1YfEEfATTVogZ2NZUmyN6LH3bfTpFA9Rq1AUIEHTTwYAr0F9RxZ8mFR2SiIynYZjQd56WBBVcQPOoZcbr55DggOjuIb4ZYcZEoXJiKv8xmXdIFaA2sF4YdRqKLPS5RW-WLmM/s752/wordcloud9.png" imageanchor="1" style="margin-left: auto; margin-right: auto;"><img border="0" data-original-height="752" data-original-width="720" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjF5-lVWKgSLcXxySPq-040RikQvBYYwNcnaU77eWMahwYwaJJwoBQCrCn1YfEEfATTVogZ2NZUmyN6LH3bfTpFA9Rq1AUIEHTTwYAr0F9RxZ8mFR2SiIynYZjQd56WBBVcQPOoZcbr55DggOjuIb4ZYcZEoXJiKv8xmXdIFaA2sF4YdRqKLPS5RW-WLmM/s320/wordcloud9.png" width="306" /></a></td></tr><tr><td class="tr-caption" style="text-align: center;">Word Cloud for Chapter 9<br /><br /><br /></td></tr></tbody></table>One benefit of doing this is that I could catch words that should be in the index that are missing. One word I expected in the graph cloud was <b>edge</b>. It was totally missing because I had neglected to include it in the index - something that I'm going to fix!<br /><br /></p>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-25804042114097295342023-10-05T11:46:00.000-07:002023-10-05T11:46:13.642-07:00Applied Discrete Structures now available on LibreTexts!<p><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiLUTzHYYKrcmtg9G5HJbmN3kqYhrTII8JkIodVkhd1J4m48lNOIANKv2WNZKgihN42ErBpV7F6K8EsD2ko4tF82Fpjvl55-3tNToVzIIHCOnBvNyCThSt6O6p5zg_1YSoh6k_56qMHbswxfU5QUu1e0SAyoYl8-nNuIJ8y9aK6YqKcfJFHnmRNTNJXgxU/s2354/libretexts-home.png" imageanchor="1" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em; text-align: center;"><img border="0" data-original-height="1608" data-original-width="2354" height="221" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiLUTzHYYKrcmtg9G5HJbmN3kqYhrTII8JkIodVkhd1J4m48lNOIANKv2WNZKgihN42ErBpV7F6K8EsD2ko4tF82Fpjvl55-3tNToVzIIHCOnBvNyCThSt6O6p5zg_1YSoh6k_56qMHbswxfU5QUu1e0SAyoYl8-nNuIJ8y9aK6YqKcfJFHnmRNTNJXgxU/w320-h221/libretexts-home.png" width="320" /></a><span style="font-family: times;">Without having to ask me, the <a href="https://libretexts.org" target="_blank">LibreTexts</a> project has adopted Applied Discrete Structures (ADS) to their library! Don't get me wrong - the point to making ADS an OER project is to make it available to as many instructors and students as possible at no cost. So I'm delighted that they've added the project. </span></p><p><span style="font-family: times;">I was unfamiliar with LibreTexts until now. Understandable because its a relatively new project. It started with Chemistry content but has since branched in to other sciences, mathematics, engineering and more.</span></p><p><span style="font-family: times;">For a good introduction to LibreTexts check out this video from <a href="https://youtu.be/5WZq1ZxX7RY?si=lrCFN5B3rhgcMQ6L" target="_blank">LibreFest 2023</a></span></p><p><span style="font-family: times;"><span style="background-color: white; caret-color: rgb(34, 34, 34); color: #222222;">Applied Discrete Structures is still available in other form factors at </span><a href="https://discretemath.org/" style="color: #888888; text-decoration: none;">https://discretemath.org</a></span></p><div class="separator" style="clear: both; text-align: center;"><span style="font-family: times;"><br /></span></div><span style="font-family: times;"><br /></span><p><br /></p>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-38545500169391857772023-08-12T06:06:00.003-07:002023-08-12T14:02:10.789-07:00 New: Applied Discrete Structures is on Runestone Acadamy <p><span style="font-family: inherit;"><span></span></span></p><div class="separator" style="clear: both; font-size: 11px; text-align: center;"><span style="font-family: inherit;"><span><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjPJWqaGM9nx-ZTu5tvgwBAXZy6unscdY_DVcJ2P-YgxwhcR60_Jnr3JlwksMF5P0MXAsv2B2qH552SgN66QpVc8WlIZtc0hvvDt-lX4f-wlyAjT2WCmqfL-B4FymBcEUDSuBhDSBNBVDKz84EfhaT_OxihU0va9wZ2VLKDlMDcKoHE3S0RmULPGXdnrD0/s1521/runestone_logo_small.png" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em;"><img border="0" data-original-height="1520" data-original-width="1521" height="200" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjPJWqaGM9nx-ZTu5tvgwBAXZy6unscdY_DVcJ2P-YgxwhcR60_Jnr3JlwksMF5P0MXAsv2B2qH552SgN66QpVc8WlIZtc0hvvDt-lX4f-wlyAjT2WCmqfL-B4FymBcEUDSuBhDSBNBVDKz84EfhaT_OxihU0va9wZ2VLKDlMDcKoHE3S0RmULPGXdnrD0/w200-h200/runestone_logo_small.png" width="200" /></a></span></span></div><span style="font-family: inherit;"><span><br />Applied Discrete Structures is now available on </span><a href="https://landing.runestone.academy">Runestone Academy</a><span>. To access it, go to the </span><a href="https://runestone.academy/ns/books/index">Runestone Library Mathematics list</a><span>. </span></span><p></p>
<p style="font-feature-settings: normal; font-kerning: auto; font-optical-sizing: auto; font-size-adjust: none; font-stretch: normal; font-style: normal; font-variant-alternates: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-position: normal; font-variation-settings: normal; line-height: normal; margin: 0px; min-height: 13.1px;"><span style="font-family: inherit;"><br /></span></p>
<p style="font-feature-settings: normal; font-kerning: auto; font-optical-sizing: auto; font-size-adjust: none; font-stretch: normal; font-style: normal; font-variant-alternates: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-position: normal; font-variation-settings: normal; line-height: normal; margin: 0px;"><span style="font-family: inherit;"> At this point the book doesn’t have reading questions so the fully capabilities of Runestone are not being fully utilized. By 2024, I’m hoping to have added a pool of reading questions for most sections. This will allow students to test their reading comprehension in a low-stakes environment. Instructors can incentivize students’ reading by grading completion of reading assignments. Currently, a record is only kept of which sections of the book have been opened by each student. </span></p><p style="font-feature-settings: normal; font-kerning: auto; font-optical-sizing: auto; font-size-adjust: none; font-stretch: normal; font-style: normal; font-variant-alternates: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-position: normal; font-variation-settings: normal; line-height: normal; margin: 0px;"><span style="font-family: inherit;"><br /></span></p><p style="font-feature-settings: normal; font-kerning: auto; font-optical-sizing: auto; font-size-adjust: none; font-stretch: normal; font-style: normal; font-variant-alternates: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-position: normal; font-variation-settings: normal; line-height: normal; margin: 0px;"><span style="font-family: inherit;">Applied Discrete Structures is still available in other form factors at <a href="https://discretemath.org">https://discretemath.org</a></span></p><p style="font-feature-settings: normal; font-kerning: auto; font-optical-sizing: auto; font-size-adjust: none; font-stretch: normal; font-style: normal; font-variant-alternates: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-position: normal; font-variation-settings: normal; line-height: normal; margin: 0px;"><span style="font-family: inherit;"><br /></span></p>
<p style="font-family: "Helvetica Neue"; font-feature-settings: normal; font-kerning: auto; font-optical-sizing: auto; font-size-adjust: none; font-size: 11px; font-stretch: normal; font-style: normal; font-variant-alternates: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-position: normal; font-variation-settings: normal; line-height: normal; margin: 0px; min-height: 13.1px;"><br /></p>Unknownnoreply@blogger.com0Lowell, MA, USA42.6334247 -71.31617179999999214.323190863821154 -106.47242179999999 70.943658536178845 -36.159921799999992tag:blogger.com,1999:blog-5145944951143831320.post-3439054403556552912023-05-26T11:16:00.003-07:002023-05-26T11:17:25.813-07:00Version 3.10 of Applied Discrete Structures - May 2023<p> The new version of Applied Discrete Structures has been released in all but the print version. The two most significant changes in this version are </p><p></p><ul style="text-align: left;"><li><span face=""Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif" style="-webkit-text-size-adjust: auto; font-size: 16px;">Equivalence classes are now defined within the text (Section 6.3) as opposed to being introduced in an exercise.</span></li><li><span face=""Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif" style="-webkit-text-size-adjust: auto; font-size: 16px;">A glossary. Many of the words in this glossary are not formally defined in the book either because they are viewed as prerequisites to a course in discrete mathematics or are terms in computer science that some students may be unfamiliar with.</span></li></ul><div>The usual minor typos have been corrected and a few exercises have been added or revised. </div><div><br /></div><div>The html and pdf versions are available now at <a href="https://discretemath.org">https://discretemath.org</a>. </div><div><br /></div><div>The print version will be available later this summer. It’s available roughly at cost, but prices have been inching up in recent years. Last year the full version was $43+shipping. Seems high to me, but still not as bad as many of the prices for books offered by publishers. As expected, sales have also dropped. No big deal - the print form factor exists mostly to qualify the book for a few OER listings that require it.</div><p></p><div><section class="headnote" id="headnote-1" style="-webkit-text-size-adjust: auto; clear: both; font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 16px; position: relative;"><div class="autopermalink" data-description="Headnote" style="color: #aa0000; display: inline-block; font-size: 13.6px; left: -1.9em; margin-top: 0.1em; opacity: 0.05; position: absolute; top: 3px;"><a href="https://discretemath.org/ads/appendix-5.html#headnote-1" style="color: #aa0000; padding-left: 0.2em; padding-right: 0.2em; text-decoration: none;" title="Copy permalink for Headnote">🔗</a></div><div class="para" id="p-6498" style="line-height: 1.35; margin-bottom: 0px; margin-top: 1.25em; position: relative;"><div class="autopermalink" data-description="Paragraph" style="color: #aa0000; display: inline-block; font-size: 13.6px; left: -1.9em; margin-top: 0.2em; opacity: 0.05; position: absolute; top: 3px;"><ul style="text-align: left;"><li><a href="https://discretemath.org/ads/appendix-5.html#p-6498" style="color: #aa0000; font-size: 13.6px; padding-left: 0.2em; padding-right: 0.2em; text-decoration: none;" title="Copy permalink for Paragraph">🔗</a></li></ul><br /></div></div></section></div>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-465273002109504502022-10-14T13:52:00.004-07:002022-10-14T13:52:55.309-07:00A new matrix multiplication record In Chapter 5, we mentioned Strassen’s algorithm for matrix multiplication. Not many improvements have been made since 1969 when Strassen discovered how to multiply a \pair of 4 by 4 matrices with 49 multiplications - a reduction of 15 multiplications from the basic definition. A further reduction by one multiplication was announced by <span style="-webkit-text-size-adjust: auto; background-color: white; caret-color: rgb(54, 54, 54); color: #363636; font-family: Arial, sans-serif; font-size: 13px;">two Austrian researchers at Johannes Kepler University Linz in October 2022. </span><div><br /></div><div><a href="https://science.slashdot.org/story/22/10/13/2259214/deepmind-breaks-50-year-math-record-using-ai-new-record-falls-a-week-later?utm_source=rss1.0mainlinkanon&utm_medium=feed">https://science.slashdot.org/story/22/10/13/2259214/deepmind-breaks-50-year-math-record-using-ai-new-record-falls-a-week-later?utm_source=rss1.0mainlinkanon&utm_medium=feed</a><br /></div>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-34640041643930179862022-09-26T08:30:00.002-07:002022-09-26T08:37:01.896-07:00Does learning about quantifiers help students understand limits?<head>
<script type="text/x-mathjax-config">
//<![CDATA[
MathJax.Hub.Config({
tex2jax: {
inlineMath: [ ['$','$'], ["\\(","\\)"] ],
displayMath: [ ['$$','$$'], ["\\[","\\]"] ],
processEscapes: true
},
"HTML-CSS": { availableFonts: ["TeX"] }
});
//]]>
</script>
<script async="async" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.2/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript">
</script><br /></head>
<p> A recent thread on the MAA member web site discussed how limits should be taught in Calculus I/II. One comment was that students who take a discrete math course, where quantifiers are discussed, might better understand the definition of a limit. What follows is a possible example that could be added to our section on quantifiers. Background: I taught a calculus workshop for mostly middle school teachers several years ago and I recall the most spirited discussion being around the idea that $0.999… = 1$.</p><p><b>Example</b>: What does it mean that 0.999… = 1? The ellipsis (…) implies that there are an infinite number of 9’s on the left of the equals sign. After many years of struggling with what this means, mathematicians have come up with a universally accepted interpretation involving quantifiers. It is that</p>$$(\forall \epsilon)_{\mathbb{R}^+} ((\exists N)_{\mathbb{P}})(n\geq N \Rightarrow |1- 0.\underbrace{99..9}_{n\,9’s}| \lt \epsilon))$$<div><br /></div><div>In calculus, the symbol $\epsilon$ is usually reserved for small positive real numbers. Let’s pick a value for $\epsilon$ and peel the universal quantifier off the statement above. Let’s try $\epsilon$ equal to $\frac{1}{2^{10}}=\frac{1}{1024}$. In addition we note that $0.\underbrace{99..9}_{n\,9’s}=1-\frac{1}{10^n}$. With our choice of $\epsilon$ we get </div><div><br /></div><div>$$ (\exists N)_{\mathbb{P}}(n\geq N \Rightarrow |1- 0.\underbrace{99..9}_{n\,9’s}| \lt \frac{1}{1024}) $$</div><div>or</div><div><br /></div><div>$$(\exists N)_{\mathbb{P}}(n\geq N \Rightarrow \frac{1}{10^n} \lt \frac{1}{1024}) $$</div><div><br /></div><div>This last statement is true - one value of $N$ that would work is $11$. You just have to convince yourself that any positive value of $\epsilon$, no matter how small, will produce a true statement. If you see that, you’ve convinced yourself that $0.999… = 1$!</div><div><br /></div><div><a name='more'></a><p></p> </div>Unknownnoreply@blogger.com0Lowell, MA, USA42.6334247 -71.31617179999999214.323190863821154 -106.47242179999999 70.943658536178845 -36.159921799999992tag:blogger.com,1999:blog-5145944951143831320.post-11815959317805119362021-08-05T07:10:00.003-07:002021-08-05T07:10:40.098-07:00UMass Lowell Faculty Word Search<p> <span face="-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif" style="background-color: white; caret-color: rgb(30, 30, 30); color: #1e1e1e; font-size: 16px; white-space: pre-wrap;">We have another month before the semester gets started, so here is a word search puzzle you can do while you relax in your back yard or the beach. Most of the names are the last names of UMass Lowell Math Faculty and Staff. A few individuals had names too long for the puzzle app to handle, so their first names are used instead. Also, a few of the names are spelled right to left or bottom to top.</span></p>
<iframe allowfullscreen="true" height="1000" name="49ddb4785d8a7ccce44bf0bed910cb3b7a6381e27d9d9b450000ad33e7dc1593" src="https://amuselabs.com/pmm/wordsearch?id=e6a595e2&set=49ddb4785d8a7ccce44bf0bed910cb3b7a6381e27d9d9b450000ad33e7dc1593&embed=1" style="border: none; display: block !important; margin: 0 !important; position: static; width: 100% !important;" width="100%"></iframe>Unknownnoreply@blogger.com0Lowell, MA, USA42.6334247 -71.316171799999992-6.2868679132540422 -141.6286718 90 -1.0036717999999922tag:blogger.com,1999:blog-5145944951143831320.post-67184223570483330652021-06-14T11:10:00.001-07:002021-06-15T10:08:29.701-07:00Version 3.8 of Applied Discrete Structures is now available!<p>All forms of Applied Discrete Structures - Version 3.8 are available. As always, the web and pdf versions are free. The print copies increased in price due to increases in paper costs passed on by Lulu. The full version is now $41.00. I'm not so concerned since very few students buy it.</p><div class="separator" style="clear: both; text-align: center;"><a href="https://assets.lulu.com/cover_thumbs/1/2/125mzegz-front-shortedge-384.jpg" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em;"><img alt="Cover of full version" border="0" data-original-height="497" data-original-width="384" height="320" src="https://assets.lulu.com/cover_thumbs/1/2/125mzegz-front-shortedge-384.jpg" title="Cover of full version of Applied Discrete Structures" width="247" /></a></div><br /><p><br /></p><p>I didn't keep track of the changes in the new version, but here is a list some of the changes/additions that I recall:</p><p></p><ul style="text-align: left;"><li>Exercises in Section 7.1 were rearranged and augmented</li><li>A new exercise in Section 8.2 reviewing quantifiers in the context of sequences.</li><li>A few operations tables were added in Section 11.4 - Modular Arithmetic, including one multiplicative group.</li><li>An exercise similar to one of our final exam questions this spring was added to section 13.1 on posets and lattices.</li><li>A new example was added to the section on algebraic coding (15.5) with a follow-up exercise.</li></ul><div>If course there were a few minor typos, but not nearly as many as in previous years! </div><p></p>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-5227338748471330372021-04-28T05:31:00.004-07:002023-05-26T11:19:43.450-07:00UML OERscars - 2021<p> The UMass Lowell chapter of <a href="https://masspirg.org/" target="_blank">MASSPIRG</a> is active in promoting the use of OER materials for students. I fully agree that it's worth a try for any course. I'm happy to have been recognized by them at this year's inaugural OERscars awards ceremony for <a href="https://discretemath.org/ads/index-ads.html" target="_blank">Applied Discrete Structures</a>. The good news for UML students is that there were faculty from every college recognized for developing and/or using OER materials for their courses. Congratulations to all OERscar winners! </p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiPP28GMohcCd9PUkhfbavFfrt0Uj1rTfe8DHTiVBavTNUkccs8CdfURcSGtcqcUYtFNCu0eAFZbcTEvWcyzN7l2sgKYEaQa0lQ_VxK0ytpbMT1RTg7Tfj_x57F0XLHM2zdMkmDdhE9qxs/s1600/OERscar.png" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1237" data-original-width="1600" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiPP28GMohcCd9PUkhfbavFfrt0Uj1rTfe8DHTiVBavTNUkccs8CdfURcSGtcqcUYtFNCu0eAFZbcTEvWcyzN7l2sgKYEaQa0lQ_VxK0ytpbMT1RTg7Tfj_x57F0XLHM2zdMkmDdhE9qxs/s320/OERscar.png" width="320" /></a></div><br /><p><br /></p><p><br /></p>Unknownnoreply@blogger.com0Lowell, MA, USA42.6334247 -71.31617179999999214.323190863821154 -106.47242179999999 70.943658536178845 -36.159921799999992tag:blogger.com,1999:blog-5145944951143831320.post-9621200518931616142021-01-23T13:51:00.000-08:002021-01-23T13:51:19.142-08:00Binary Decision Diagrams<script type="text/x-mathjax-config">
MathJax.Hub.Config({
tex2jax: {
inlineMath: [ ['$','$'], ["\\(","\\)"] ],
displayMath: [ ['$$','$$'], ["\\[","\\]"] ],
processEscapes: true
},
"HTML-CSS": { availableFonts: ["TeX"] }
});
</script>
<script async="async" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.2/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript">
</script>
<p> I've started to explore the feasibility of introducing <b>Binary Decision Diagrams</b> (BDD's) into the topics in the <i>Applied Discrete Structure</i> (ADS) sphere of influence. Volume 4A of Knuth's <i>Art of Computer Programming</i> has extensive coverage of the topic and there are some neat examples that build on the topics we introduce in ADS. </p><p>Here is a very simple example of a BDD that identifies the majority bit value among three bits $b_1 b_2 b_3$. We can think of any particular value as a case in a truth table with the output being the truth value for that case. For example, the case $010$ would have a truth value of 0. The whole truth table is a sequence of eight bits $00010111$, one for each case from $000$ to $111$. The first half of the truth table corresponds with the case $b_1=0$ while the second corresponds with $b_1=1$. Starting at the top of the figure below, the red edge is path followed in the $b_1=0$ case while the blue edge is followed in the $b_1=1$ case. In either case, the half of the truth table that is followed is again split depending on the value of $b_2$. Notice that if $b_1=0$ and then $b_2=0$ we are left with the first quarter of our original truth table, $00$, which produces an output of $0$ no matter what value $b_3$ has so we immediately move to the bottom right vertex, corresponding to a majority value of $0$. Another interesting situation is that if $b1=0$ and $b_2=1$, the remaining truth table is $01$, which is the same as if $b_1=1$ and $b_2=0$. This is reflected in the fact that the two cases put us into the same node, where the value of $b_3$ decides the majority value.</p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh6lbrQZ5ra_dnJAkIPz_oN6YlVkoO_gzZWVo5un9AVSyC99nxGqJJOEdfeOEh3Q1kBEpooVU6J7xVnK8tMe0APSfhjZWoalwdwgBFYqUZAYaZFrY_lSBmWQWi2w0pGr8ECV9A0z-FGSLY/s1296/majorityrule.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img alt="Binary decision diagram for major rule" border="0" data-original-height="1296" data-original-width="788" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh6lbrQZ5ra_dnJAkIPz_oN6YlVkoO_gzZWVo5un9AVSyC99nxGqJJOEdfeOEh3Q1kBEpooVU6J7xVnK8tMe0APSfhjZWoalwdwgBFYqUZAYaZFrY_lSBmWQWi2w0pGr8ECV9A0z-FGSLY/w195-h320/majorityrule.png" title="Binary decision diagram for major rule" width="195" /></a></div><br /><p>Instead of a truth table with eight cases, we have a graph with only six vertices that "computes" the majority value. This is a modest improvement, but for many more complex Boolean functions, the improvement can be significant. </p><p>Another example is to consider a graph with six vertices and ten edges. Suppose we wish to color the graph with three colors; i. e. identify a valid coloring with no two adjacent vertices having the same color. A boolean expression that determines whether a coloring is valid can be constructed using propositions of the form $p_{i,j}$ which represents whether vertex $i$ is colored with color $j$. For the case of six vertices and three colors, there are 18 propositions. If the chromatic number of the graph is three or less, then there would be an assignment of values to these propositions that corresponds with a 3-coloring. For one particular graph, a BDD for the coloring is below. Instead of a truth table with $2^{18}$ cases, we have a busy looking graph, but it has only 93 vertices.</p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgPEt86b49kb8n43U8uH_QdwL-VO8WKgL4SCULks6BGYSMJd1bS7NB3ShaVxAy-KRVPLq91G0Ec6mAkwUt69MgXM34TqOzoSNyP_azTLMzF3Bu6G4yz3YGPak1Y0rySueMhG7e9YHG52mU/s1080/coloring_bdd.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="622" data-original-width="1080" height="368" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgPEt86b49kb8n43U8uH_QdwL-VO8WKgL4SCULks6BGYSMJd1bS7NB3ShaVxAy-KRVPLq91G0Ec6mAkwUt69MgXM34TqOzoSNyP_azTLMzF3Bu6G4yz3YGPak1Y0rySueMhG7e9YHG52mU/w640-h368/coloring_bdd.png" title="BDD for coloring a graph" width="640" /></a></div><p>For this graph we initially move from left to right. The vertex in the middle corresponds with the assignment of value to the propositions that are not valid colorings for that particular graph. All but six of the assignments end up in that vertex. For examples this size and larger, the graph's embedding in the plane isn't all that useful, but there are data structures such as python dictionaries that can be used to represent the BDD.</p><p>This idea of using BDD's in a course is still just an idea. It might be a good topic for a senior project too.</p>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-37501632895068048752020-02-26T11:39:00.000-08:002020-02-26T11:39:52.192-08:00Active Applied Discrete Structures - Notes for a Flipped ClassThis spring, I decided to take the plunge and attempt teaching our Discrete Structures I course in a flipped class format. I'm almost half way through the semester and it seems to going pretty well. We had our first hour exam a while ago and grades were higher than in comparable exams from previous semesters. Also, students generally seem to be enjoying the format.<br />
<br />
At this point, I've written up all the assignments that students are asked to do before each class meeting and the problems they work on in class. They comprise 24 "chapters" - one for each class.<br />
<br />
<a href="https://discretemath.org/active-ads/active-ads.pdf">Download the first draft of Part 1.</a><br />
<br />
In the past, I've gotten requests for an instructor's manual for Applied Discrete Structures and have procrastinated on doing it, but this may be just as valuable.<br />
<table cellpadding="0" cellspacing="0" class="tr-caption-container" style="float: right; margin-left: 1em; text-align: right;"><tbody>
<tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEghpfcBTLp6Ti6R7IoMojTpGvAPu_NN2zZErESHhKwJrVc7tZntVjeS2oFoSW9TzA-BFfrAYM4Irf1AiQ7SjLErdYeZIPIODNK-v6hTCiFvyhb1qI8pffqeVTLz2TGPO8z9Z4zKyak1K6s/s1600/TEAL_2019.png" imageanchor="1" style="clear: right; margin-bottom: 1em; margin-left: auto; margin-right: auto;"><img border="0" data-original-height="1200" data-original-width="1600" height="300" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEghpfcBTLp6Ti6R7IoMojTpGvAPu_NN2zZErESHhKwJrVc7tZntVjeS2oFoSW9TzA-BFfrAYM4Irf1AiQ7SjLErdYeZIPIODNK-v6hTCiFvyhb1qI8pffqeVTLz2TGPO8z9Z4zKyak1K6s/s400/TEAL_2019.png" width="400" /></a></td></tr>
<tr><td class="tr-caption" style="text-align: center;">A TEAL classroom being set up at UML</td></tr>
</tbody></table>
<br />
We have a few new Technology Enhanced Active Learning (TEAL) classrooms at UMass Lowell and I've been scheduled in them this year. Having students in "pods" helps with the flipped format, although the technology isn't really necessary.<br />
<br />
<br />Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-60288107018340981852019-12-30T07:29:00.001-08:002019-12-30T07:29:55.403-08:00Sage Cell Server has migrated to Python 3I recently discovered that many of the SageMath cells in the web version of <i><a href="http://faculty.uml.edu/klevasseur/ads/">Applied Discrete Structures</a></i> (ADS) were no longer working as they had in the past. Then I found out why. Apparently, 2020 is the Y2K of the Python Universe. ... and I was oblivious to it!<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://pbs.twimg.com/media/EBOTgdxXsAARBbw.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="640" data-original-width="640" height="320" src="https://pbs.twimg.com/media/EBOTgdxXsAARBbw.jpg" width="320" /></a></div>
<br />
<br />
<blockquote class="tr_bq">
<span style="background-color: white; caret-color: rgb(34, 34, 34); color: #222222; font-family: sans-serif; font-size: 14px;">The Python 2 language, i.e. Python 2.7.x, is officially being discontinued on January 1, 2020 (first planned for 2015) after which security patches and other improvements will not be released for it.</span><sup class="reference" id="cite_ref-29" style="caret-color: rgb(34, 34, 34); color: #222222; font-family: sans-serif; font-size: 11.199999809265137px; line-height: 1; unicode-bidi: isolate; white-space: nowrap;"><a href="https://en.wikipedia.org/wiki/Python_(programming_language)#cite_note-29" style="background-image: none; color: #0b0080; text-decoration: none;">[29]</a></sup><sup class="reference" id="cite_ref-30" style="caret-color: rgb(34, 34, 34); color: #222222; font-family: sans-serif; font-size: 11.199999809265137px; line-height: 1; unicode-bidi: isolate; white-space: nowrap;"><a href="https://en.wikipedia.org/wiki/Python_(programming_language)#cite_note-30" style="background-image: none; color: #0b0080; text-decoration: none;">[30]</a></sup><span style="background-color: white; caret-color: rgb(34, 34, 34); color: #222222; font-family: sans-serif; font-size: 14px;"> With Python 2's </span><a href="https://en.wikipedia.org/wiki/End-of-life_(product)" style="background-image: none; color: #0b0080; font-family: sans-serif; font-size: 14px; text-decoration: none;" title="End-of-life (product)">end-of-life</a><span style="background-color: white; caret-color: rgb(34, 34, 34); color: #222222; font-family: sans-serif; font-size: 14px;">, only Python 3.5.x</span><sup class="reference" id="cite_ref-31" style="caret-color: rgb(34, 34, 34); color: #222222; font-family: sans-serif; font-size: 11.199999809265137px; line-height: 1; unicode-bidi: isolate; white-space: nowrap;"><a href="https://en.wikipedia.org/wiki/Python_(programming_language)#cite_note-31" style="background-image: none; color: #0b0080; text-decoration: none;">[31]</a></sup><span style="background-color: white; caret-color: rgb(34, 34, 34); color: #222222; font-family: sans-serif; font-size: 14px;"> and later will be supported.</span></blockquote>
Due to differences in the two versions of Python, there are two main impacts on the code on the current web version of ADS.<br />
<br />
<br />
<ul>
<li>"<span style="background-color: yellow;">print</span> <i>expr</i>" produces an error and needs to be replaced with "print(<i>expr</i>)"</li>
<li><span style="background-color: yellow;">map</span> produces an iterator instead of a list. This is fixed by wrapping list( ) around the map expression if the original output is as desired. <a href="http://faculty.uml.edu/klevasseur/ads/app-python-iterators.html">More about iterators</a>.</li>
<li><span style="background-color: yellow;">keys</span> of a dictionary are are also an iterator and using list is the fix in this situation too.</li>
</ul>
<div>
Fortunately <a href="https://groups.google.com/forum/m/?fromgroups#!topic/pretext-announce/t4S6hyJNJzM">the PreTeXt project has my back</a> and an automated system has been developed to identify all the problems. I hope to have an updated web version ready for the spring semester.</div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-33179720296916305382019-09-11T05:55:00.000-07:002019-09-11T05:55:30.244-07:00Logic Design & Boolean AlgebraThe original 1980's version of Applied Discrete Structures had a section on Logic Design, but when I reworked the book starting around 10 years ago, I didn't include that section. The main reason was that I never could find a good application for drawing gate diagrams. I still haven't found one that is exactly what I want, but <a href="https://inkscape.org/">Inkscape</a> comes close. I was able to draw some basic diagrams. Although I'm still not perfectly satisfied with what I have, I think they are good for a draft.<br />
<br />
So after a delay of several years, here is<a href="http://faculty.uml.edu/klevasseur/ADS2/S137.pdf"> a draft version of Section 13.7 A Brief Introduction to Switching Theory and Logic Design</a>. I developed it as single-section PreTeXt book, so the numbering is 1.1.x instead of 13.7.x. I intend to add this to the next version of <a href="http://faculty.uml.edu/klevasseur/ADS2">Applied Discrete Structures</a>, in spring 2020.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhoc2vgeuH-RP4eSk6cGf3bnA8JLeII4mU6ch0HUIFFeEVmfiCocGmqezwjtC_KD5NCOcm0czt1Tb0xuTly7RGhReJ-JkyDOPQg4n1JhAQmvDweQ8diwBNMqsAJrWFupjrviWCU2wCYpHE/s1600/fig-ex-1-start-circuit.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="548" data-original-width="1454" height="120" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhoc2vgeuH-RP4eSk6cGf3bnA8JLeII4mU6ch0HUIFFeEVmfiCocGmqezwjtC_KD5NCOcm0czt1Tb0xuTly7RGhReJ-JkyDOPQg4n1JhAQmvDweQ8diwBNMqsAJrWFupjrviWCU2wCYpHE/s320/fig-ex-1-start-circuit.png" width="320" /></a></div>
<br />
I'd be interested in whether many users would plan on covering this section in their courses.Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-88394933930422136102019-08-30T14:25:00.000-07:002019-09-04T04:39:24.282-07:00Professor Al Doerr Memorial Scholarship FundOne October 14, 2018, Prof. Al Doerr passed away. He was coauthor of Applied Discrete Structures He was on the faculty at UMass Lowell for 50 years. In his honor, the Mathematical Sciences Department has established an endowed scholarship fund in his name. If you or your students want to thank us for the book, you could donate even a few dollars to the Prof. Alan Doerr Scholarship Fund at <a href="http://www.uml.edu/give">http://www.uml.edu/give</a>. All proceeds go to a scholarship endowment for our math majors.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj4LXRzJIGSDmGGe_A8pbREB2G2KV5fZVKBMc6xk2xdluk548JVP_EqSMwGVnWxwrI3fMflU1Gja5ZhiJLyfwyWeaztXfEvy3HzVka8YNiFiU9fnm6dXcIBn1l7fp_oLaXUJAwxJMFcBhA/s1600/Al+Doerr.JPG" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1264" data-original-width="842" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj4LXRzJIGSDmGGe_A8pbREB2G2KV5fZVKBMc6xk2xdluk548JVP_EqSMwGVnWxwrI3fMflU1Gja5ZhiJLyfwyWeaztXfEvy3HzVka8YNiFiU9fnm6dXcIBn1l7fp_oLaXUJAwxJMFcBhA/s320/Al+Doerr.JPG" width="213" /></a></div>
<br />Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-22649001259874208972019-01-02T10:07:00.003-08:002019-01-02T10:07:51.522-08:00Appendix on Determinants<table cellpadding="0" cellspacing="0" class="tr-caption-container" style="float: right; margin-left: 1em; text-align: right;"><tbody>
<tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgWdW81xguw2uDYIBjwXrKf4GnlDwO7tbCC8G6Xx9c_5JYiPgiAiOTJ7ZlzMmuX04H-BH2jjFl20n5q9rQWFiYSoPffyTAKcL-BwWEMSOtYL90iflYWuCoBayvlNeOq7cPbiqE6NC8S1ag/s1600/determinator.jpg" imageanchor="1" style="clear: right; margin-bottom: 1em; margin-left: auto; margin-right: auto;"><img border="0" data-original-height="500" data-original-width="325" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgWdW81xguw2uDYIBjwXrKf4GnlDwO7tbCC8G6Xx9c_5JYiPgiAiOTJ7ZlzMmuX04H-BH2jjFl20n5q9rQWFiYSoPffyTAKcL-BwWEMSOtYL90iflYWuCoBayvlNeOq7cPbiqE6NC8S1ag/s320/determinator.jpg" width="208" /></a></td></tr>
<tr><td class="tr-caption" style="text-align: center;"><span style="font-size: small; text-align: start;">Determinator Comic: <br />from Courtney Gibbon's<br /> </span><a href="http://brownsharpie.courtneygibbons.org/" style="text-align: start;" target="_blank">Brown Sharpie</a><span style="font-size: small; text-align: start;"> (CC: BY-NC-NA)</span></td></tr>
</tbody></table>
In our original 1980's text, we had an 11 page appendix on determinants. That was probably overkill since our inclusion of matrix diagonalization isn't really mainstream discrete math, but back then the exact content of a discrete math course wasn't so well defined. When I revived <i>Applied Discrete Structures,</i> I never got around to converting the determinant appendix. We still have diagonalization in chapter 12 and for completeness I've put together a more compact appendix. Right now, a draft is available as a pdf at <a href="http://discretemath.org/ADS_Appendix_Determinants.pdf">http://discretemath.org</a>. <div>
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgWdW81xguw2uDYIBjwXrKf4GnlDwO7tbCC8G6Xx9c_5JYiPgiAiOTJ7ZlzMmuX04H-BH2jjFl20n5q9rQWFiYSoPffyTAKcL-BwWEMSOtYL90iflYWuCoBayvlNeOq7cPbiqE6NC8S1ag/s1600/determinator.jpg" imageanchor="1" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em;"><br /></a></div>
<div>
<br /></div>
<div>
I haven't decided whether to integrate it into the text or just leave it as a supplement. I'm concerned that the full print version is getting a bit unwieldy. I'm hoping to find a way to automatically exclude it from the print version but include it in the web version, where length isn't an issue. </div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-76468925531646648222018-12-26T08:59:00.003-08:002019-01-02T08:05:33.119-08:00Disjoint Sets Randall Munroe (XKCD) recently posted a funny example of two disjoint sets. I've used one of his webcomics, with permission, in Chapter 1 of Applied Discrete Structures, so I probably won't use this but wanted to acknowledge it.<br />
<br />
<img src="https://imgs.xkcd.com/comics/feathered_dinosaur_venn_diagram.png" />
<br />
<a href="https://xkcd.com/2090/">Link to this comic on XKCD</a>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-79741446372781114982018-09-12T07:30:00.002-07:002018-09-12T07:30:30.035-07:00New in Version 3.5 of Applied Discrete Structures<div>
<div>
<span style="font-family: Helvetica;"><span style="font-size: 12px;">The latest version of Applied Discrete Structures (3.5) has a few differences from the previous version. Here is a list of the most significant changes:</span></span></div>
<div>
<span style="font-family: Helvetica;"><span style="font-size: 12px;"><br /></span></span></div>
<div>
<span style="font-family: Helvetica;"><span style="font-size: 12px;">In exercises:</span></span></div>
<ul style="font-family: Helvetica; font-size: 12px;">
<li><span style="background-color: rgba(255, 255, 255, 0);">replaced 2.4 exercises 5 and 6 with lattice paths exercises</span></li>
<li><span style="background-color: rgba(255, 255, 255, 0);">added exercise 6 to section 4.1</span></li>
<li><span style="background-color: rgba(255, 255, 255, 0);">added bakery exercise at end of section 5.1</span></li>
<li><span style="background-color: rgba(255, 255, 255, 0);">added exercise #11 to 11.4</span></li>
<li><span style="background-color: rgba(255, 255, 255, 0);">exercise change 11.7 new </span><a class="issue-link js-issue-link" data-error-text="Failed to load issue title" data-id="221836361" data-permission-text="Issue title is private" data-url="https://github.com/klevasseur/ads/issues/5" href="https://github.com/klevasseur/ads/pull/5" style="background-color: rgba(255, 255, 255, 0); box-sizing: border-box; text-decoration: none;">#5</a><span style="background-color: rgba(255, 255, 255, 0);">, old </span><a class="issue-link js-issue-link" data-error-text="Failed to load issue title" data-id="221836361" data-permission-text="Issue title is private" data-url="https://github.com/klevasseur/ads/issues/5" href="https://github.com/klevasseur/ads/pull/5" style="background-color: rgba(255, 255, 255, 0); box-sizing: border-box; text-decoration: none;">#5</a><span style="background-color: rgba(255, 255, 255, 0);"> moved to #10</span></li>
<li><span style="background-color: rgba(255, 255, 255, 0);">changed exercise 4 of 13.4</span></li>
</ul>
</div>
<div style="font-family: Helvetica; font-size: 12px;">
<span style="background-color: rgba(255, 255, 255, 0);"><br /></span></div>
<div style="font-family: Helvetica; font-size: 12px;">
<span style="background-color: rgba(255, 255, 255, 0);">Also, there is a new section (12.6) on linear equations mod 2.</span></div>
<br class="Apple-interchange-newline" />Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-34244165584424348382018-07-31T05:37:00.000-07:002018-07-31T05:37:44.757-07:00The Ternary Number SystemEvery integer is the sum of distinct signed powers of three. That this is true is nice non-elementary, yet accessible, induction proof. It's not an exercise in <i><a href="http://discretemath.org/" target="_blank">Applied Discrete Structures</a></i>, but could be given as a challenge to your students. The code implements the ideas of the proof, so it serves as a hint (or a solution?)<br />
<br />
Several years ago, I had a WebMathematica page that computed the ternary representation of an integer. That page is no longer in existence, and I discovered that it several broken links to it were on sequence pages of The On-Line Encyclopedia of Integer Sequences, such as sequence <a href="https://oeis.org/A072998" target="_blank">A072998</a>. As a replacement, I created a SageMath interact (similar to a Wolfram Demonstration).<br />
<br />
The SageMath interact converts integers from 1 to 1000 to the ternary number system. It is contained within a Sage Cell, so anyone can view and tinker with the code. Any suggestions for improving it are welcome!<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhd_-ttNxjNtXuBCx2trprbZJAmUcHCcL3sIsZUzNqJ0ztGi4Fdw-3CVTum_cUTR14fUi6GvndKnD7hQEvW-bwuF_xJQf9eGMSzWyhI6atbDEz-hNGnbrHbxNgdNqFuw7NmiCer0gstl3Y/s1600/Screen+Shot+2018-07-31+at+8.31.02+AM.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="778" data-original-width="1574" height="196" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhd_-ttNxjNtXuBCx2trprbZJAmUcHCcL3sIsZUzNqJ0ztGi4Fdw-3CVTum_cUTR14fUi6GvndKnD7hQEvW-bwuF_xJQf9eGMSzWyhI6atbDEz-hNGnbrHbxNgdNqFuw7NmiCer0gstl3Y/s400/Screen+Shot+2018-07-31+at+8.31.02+AM.png" width="400" /></a></div>
<br />Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-3862679685270595962018-07-01T08:04:00.000-07:002018-07-01T08:04:10.626-07:00New version (3.5), Custom versions<span style="font-family: Times, Times New Roman, serif;">Version 3.5 of Applied Discrete Structures is now in full distribution in all three formats, html, pdf and print. The full 16 chapters with solutions to half of the exercises runs over 600 pages. For those who use the html format, the length doesn’t matter much; however, for the print and even the pdf format it may be desirable to have only a subset the chapters or sections. </span><br />
<span style="font-family: Times, Times New Roman, serif;"><br /></span>
<span style="font-family: Times, Times New Roman, serif;">I’ve been distributing the book in two parts, corresponding to content that is normally covered in our two semester sequence at UMass Lowell (Chapters 1-10 in Part 1- Fundamentals; Chapters 11-16 in Part II- Algebraic Structures). Not many people buy these print versions, but I prefer the lighter books. I don’t use them all that frequently since I tend to use html in class, but still use them to record typos (finally getting less frequent!) and making notes for improvements. </span><br />
<span style="font-family: Times, Times New Roman, serif;"><br /></span>
<span style="font-family: Times, Times New Roman, serif;">One of the nice things about PreTeXt is that it’s quite easy to create custom versions. If anyone would like some subset of the book in any format, let me know and I’ll create it. The only glitch I foresee is that if a reference is made to a non-included part of the text, a broken link will appear. I think that can be handled minimal extra work. </span><br />
<span style="font-family: Times, Times New Roman, serif;"><br /></span>
<h3>
<span style="font-family: Times, Times New Roman, serif;">Significant Additions in Version 3.5</span></h3>
<div style="color: #454545; font-stretch: normal; line-height: normal;">
<span style="font-family: Times, Times New Roman, serif;">Section 2.4: new exercises 5 and 6 on lattice paths</span></div>
<div style="color: #454545; font-stretch: normal; line-height: normal;">
<span style="font-family: Times, Times New Roman, serif;">Section 5.1: added exercise 8 motivating the definition of matrix multiplication </span></div>
<div style="color: #454545; font-stretch: normal; line-height: normal;">
<span style="font-family: Times, Times New Roman, serif;">Section 11.4: added exercise 11 on inverting a linear function. </span></div>
<div style="color: #454545; font-stretch: normal; line-height: normal; min-height: 23.5px;">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<br />
<div style="color: #454545; font-stretch: normal; line-height: normal;">
<span style="font-family: Times, Times New Roman, serif;">New section: 12.6 Linear Equations over the Integers Mod 2</span></div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-6448053926852837422018-03-25T13:01:00.003-07:002018-03-25T13:10:17.162-07:00New Section: Linear Equations mod 2<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<link href="https://faculty.uml.edu/math/math_style.css" rel="stylesheet" type="text/css"></link>
<script type="text/x-mathjax-config">
MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\(','\\)']]}});
</script>
<script async="" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.3/latest.js?config=TeX-MML-AM_CHTML"></script>
<body lang="EN-US">
The next version of Applied Discrete Structures will include a new section, 12.6, on systems of linear equations over \(\mathbb{Z}_2\). We work with these systems in the coding theory section (15.5) but it was presumed that students could figure out how to solve these systems on the fly. That is often the case, but some students had difficulties.<br />
<br />
A pdf of the most recent draft of the new section is available at <a href="https://discretemath.org/Section_12_6_V2.pdf">https://discretemath.org/Section_12_6_V2.pdf</a>
</body>
</head></html>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-76612036313030667532017-06-05T07:42:00.000-07:002017-06-05T07:42:41.306-07:00Version 3.3, WeBWork collectionTwo bits of news:<br />
<br />
Version 3.3 of Applied Discrete Structures are available now in all three formats, HTML, PDF, and Print. <br />
<br />
The full print version is 588 pages, so I've resisted including WeBWork exercises, although there are a few in the HTML version. I really don't see the utility of WeBWork in print or pdf, so I've decided to develop a separate WeBWork problems document in Mathbook XML..oops, <b>PreTeXt</b> (see a <a href="https://groups.google.com/forum/?fromgroups#!topic/mathbook-xml-support/6cAu4bD7334" target="_blank">recent announcement</a>). A preliminary version that is mostly based on problems from the National Problem Library (NPL) and is at <a href="http://faculty.uml.edu/klevasseur/webwork_ads/preface-1.html">http://faculty.uml.edu/klevasseur/webwork_ads/preface-1.html</a>. <br />
<br />
GitHub repository is <span style="background-color: white; font-family: Menlo; font-size: 14px;"><a href="https://github.com/klevasseur/webwork_ads.git">https://github.com/klevasseur/webwork_ads.git</a></span><br />
<br />
The coverage is uneven and I'd welcome contributions of problems in areas that are light. Once the problem lists have been fully edited, short descriptions will be added since the problems themselves reside in knowls. Right now the descriptions are just the addresses of the problems within the NPL.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhSsCtEWsNdRY6X-Cl8mLq9hZxsx0WMLYAaqY8KOv9QDx0xrktfpe6fdADf-I0mbjcbuQ6CQ4hITqb74S97dzNvxCiQr4bdzXFbcltXEN4mWvfa02Tfq4O-wkavio0jUilpot1obhjqfDY/s1600/Screen+Shot+2017-06-05+at+10.38.42+AM.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1138" data-original-width="1600" height="227" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhSsCtEWsNdRY6X-Cl8mLq9hZxsx0WMLYAaqY8KOv9QDx0xrktfpe6fdADf-I0mbjcbuQ6CQ4hITqb74S97dzNvxCiQr4bdzXFbcltXEN4mWvfa02Tfq4O-wkavio0jUilpot1obhjqfDY/s320/Screen+Shot+2017-06-05+at+10.38.42+AM.png" width="320" /></a></div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-65922111520503023652016-12-31T07:09:00.000-08:002016-12-31T07:09:20.336-08:00Conversion to MathBook XML is Complete!<table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto; text-align: center;"><tbody>
<tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEirpfN0CqAqHfMV2fekr4oaSUPMkM6plmkupyCj7HvzhCHVlmQIKhc8NZVRSjJEHM_nhhZF3O8zMhGzSrj7oYeJiLsnRQJjQzGPgk_gqt0fIlBgaBMZD_uCEjVrX9GqM0XoBFhZMyCdS9o/s1600/screen.png" imageanchor="1" style="margin-left: auto; margin-right: auto;"><img border="0" height="310" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEirpfN0CqAqHfMV2fekr4oaSUPMkM6plmkupyCj7HvzhCHVlmQIKhc8NZVRSjJEHM_nhhZF3O8zMhGzSrj7oYeJiLsnRQJjQzGPgk_gqt0fIlBgaBMZD_uCEjVrX9GqM0XoBFhZMyCdS9o/s400/screen.png" width="400" /></a></td></tr>
<tr><td class="tr-caption" style="text-align: center;">HTML front page</td></tr>
</tbody></table>
<br />
<br />
It took about a year, but <b>Applied Discrete Structures </b>is completely converted to <a href="https://mathbook.pugetsound.edu/" target="_blank">MathBook XML</a>. The source code has been converted to both HTML and LaTeX, available at <a href="http://faculty.uml.edu/klevasseur/ads2" target="_blank">http://faculty.uml.edu/klevasseur/ads2</a>. The main site also has a link to the source code on GitHub. For the minority who prefer hard copy the main site also has links to lulu.com. You can buy Part 1 (Chapters 1-10), Part 2 (Chapters 11-16), or the combined Parts 1 and 2.<br />
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto; text-align: center;"><tbody>
<tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhN1UqWGOvbDE93scDvXsYU_T52_SKZjyj5mkf5qrFYfFrQdlpZmh3D4ORFdDAIIjnLh_mu7eWdB4MiouofYiEXElgqmKqNVlXPHTZSUvd_9bdwPt3QhGXmgnmW0iSDInSaJuH9Z3v5cCo/s1600/cover.jpg" imageanchor="1" style="margin-left: auto; margin-right: auto;"><img border="0" height="200" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhN1UqWGOvbDE93scDvXsYU_T52_SKZjyj5mkf5qrFYfFrQdlpZmh3D4ORFdDAIIjnLh_mu7eWdB4MiouofYiEXElgqmKqNVlXPHTZSUvd_9bdwPt3QhGXmgnmW0iSDInSaJuH9Z3v5cCo/s200/cover.jpg" width="153" /></a></td></tr>
<tr><td class="tr-caption" style="text-align: center;">Cover to the full print version.</td></tr>
</tbody></table>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: left;">
The content is essentially the same previous versions, but there are several improvements/features in the new version. </div>
<ul>
<li>The pdf version is extensively hyperlinked and the HTML version has <a href="http://aimath.org/knowlepedia/" target="_blank">knowl</a> links.</li>
<li>Sage notes have been expanded, and the HTML version includes live, editable Sage cells.</li>
<li>There is a table of notation and an index. </li>
<li>An appendix on algorithms has been expanded to include a section on the Invariant Relation Theorem. </li>
<li>A few <a href="http://webwork.maa.org/" target="_blank">WeBWork</a> exercises have been added to the HTML version, with an eye toward adding many more in the future. </li>
</ul>
<table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto; text-align: center;"><tbody>
<tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgoEF3iR0oCcY1jl8X9JnSfYhQmYCr5hw64X6Q-EYx_bUBEIRgPUiqNWH1wlm5mosxPwZ0tpI-pjoz2UqRQTY1840ir8cO47dFsJ59EZGQzXmvHVF9PAXn-E_Rok9xowLRZfeIf9SXJItc/s1600/ww.png" imageanchor="1" style="margin-left: auto; margin-right: auto;"><img border="0" height="258" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgoEF3iR0oCcY1jl8X9JnSfYhQmYCr5hw64X6Q-EYx_bUBEIRgPUiqNWH1wlm5mosxPwZ0tpI-pjoz2UqRQTY1840ir8cO47dFsJ59EZGQzXmvHVF9PAXn-E_Rok9xowLRZfeIf9SXJItc/s400/ww.png" width="400" /></a></td></tr>
<tr><td class="tr-caption" style="text-align: center;">A WeBWork exercises embedded in Section 15.3.</td></tr>
</tbody></table>
<br />
Two significant deletions: Mathematica notes have been removed, and the introduction to Logic Design section of Chapter 13 has been left out for now. I've had trouble finding a good utility for drawing simple logical gates. This is on the to-do list.<br />
<br />
There are several other things my to-do list. They include more a user survey, better web tracking, more WeBWork, and better cover art (I'm in a rut with the cover design!). Some students have requested background information on dictionaries and iterables. I may try writing up short introductions to these topics if I can find a way to integrate math into the discussion, or maybe I'll just point a good tutorial if I can find one I like.<br />
<br />
Happy NewYear!<br />
<br />
<br />
<br />Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-65768599647803989842016-04-30T10:57:00.001-07:002016-09-06T04:08:50.974-07:00Chapters 1-3 and Algorithms Appendix converted to MathBook XMLThe first three chapters of <b>Applied Discrete Structures</b> have been converted to MathBook XML. There will be some adjustments to be made (like adding solutions to many of the exercises) but these chapters are in pretty good shape. <br />
<br />
At the request of Rob Krueger (Concordia U.), I've also updated and converted the short appendix on Algorithms that we had in the 1989 edition. I added a section on the Invariant Relation Theorem that I've been meaning to write up for a while. Having the ability to include Sage Cells into the text really enhances the html version.<br />
<br />
The html version is available at <a href="http://faculty.uml.edu/klevasseur/ads2" target="_blank">http://faculty.uml.edu/klevasseur/ads2</a><br />
<br />
After finals and a few other chair related tasks (64 days left as I type this!), I'll make a LaTex version available.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgb3BrLQFLIacA0MvTKhAdu7EfVdEHxitnr1J55mrFtG_LPpEsNntDytfAH_Kyz3Y2rwFfEfBX9OvE66MHO9kq-tdaUhFQJLZpDz-a1SetzI5cL2pym1q3kjsw0CSyZM67rs9PS4zUejGM/s1600/while-flow.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="270" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgb3BrLQFLIacA0MvTKhAdu7EfVdEHxitnr1J55mrFtG_LPpEsNntDytfAH_Kyz3Y2rwFfEfBX9OvE66MHO9kq-tdaUhFQJLZpDz-a1SetzI5cL2pym1q3kjsw0CSyZM67rs9PS4zUejGM/s320/while-flow.png" width="320" /></a></div>
<br />Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-5145944951143831320.post-66303103591331400042016-01-04T08:42:00.001-08:002016-01-04T09:04:53.007-08:00Chapter 1 of ADS using Mathbook XML<br />
<div>
<span style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;">A reformatting of Chapter 1: Set Theory of </span><em style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;">Applied Discrete Structures</em><span style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;"> was just completed using </span><a href="http://mathbook.pugetsound.edu/" style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;" target="_blank">Mathbook XML</a><span style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;">, an application for authors of scientific articles, textbooks and monographs initiated by Rob Beezer, U. of Puget Sound.</span></div>
<div>
<span style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;"><br /></span></div>
<div>
<div>
<div style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif; line-height: 1.25em; margin-bottom: 1.25em;">
The chapter was converted by exporting the Mathematica Notebook to XML and then making many adjustments by hand to Mathbook XML. I wanted to do this as a learning process. Next, I want to explore ways to convert remaining <i>Mathematica</i> Notebooks using their natural structure with regular expressions. Whether that works out remains to be seen.</div>
</div>
<div>
<span style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;">The source code for Chapter 1 and some abbreviated front matter was converted to html and can be viewed at </span><a href="http://faculty.uml.edu/klevasseur/ads-html/" style="font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;" target="_blank">http://faculty.uml.edu/klevasseur/ads-html/ </a><span style="font-family: Open Sans, Helvetica Neue, Helvetica, Arial, sans-serif;">. One of the advantages of this conversion is that the html sizes nicely to whatever you view it on, from a phone to a desktop browser. Also it will be the easy to convert to LaTeX and other formats.</span></div>
<div>
<span style="font-family: Open Sans, Helvetica Neue, Helvetica, Arial, sans-serif;"><br /></span></div>
<table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto; text-align: center;"><tbody>
<tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjMtJ4uuwFwuTdi7amDFOBlU5-uOrCzvuDu2EAKMuwKk7yI3iNRLxWa_5dkNg5y-odVViTP8Rk9XcJzUXgIsI6dpccYxbydlHiGMoHGcjw6PP6QOPksbjwlooxLT-mkrkfc_HOCor85ghQ/s1600/Screen+Shot+2015-12-31+at+2.14.39+PM.png" imageanchor="1" style="margin-left: auto; margin-right: auto;"><img border="0" height="312" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjMtJ4uuwFwuTdi7amDFOBlU5-uOrCzvuDu2EAKMuwKk7yI3iNRLxWa_5dkNg5y-odVViTP8Rk9XcJzUXgIsI6dpccYxbydlHiGMoHGcjw6PP6QOPksbjwlooxLT-mkrkfc_HOCor85ghQ/s400/Screen+Shot+2015-12-31+at+2.14.39+PM.png" width="400" /></a></td></tr>
<tr><td class="tr-caption" style="text-align: center;">A first look at the new format.</td></tr>
</tbody></table>
</div>
Unknownnoreply@blogger.com1tag:blogger.com,1999:blog-5145944951143831320.post-85867193145905496272015-11-17T12:22:00.000-08:002016-01-04T09:05:31.401-08:00Developments in Open Source Textbooks: mathbook XML<b>Rob Beezer</b> at University of Puget Sound is spearheading the development of <b><a href="http://mathbook.pugetsound.edu/index.html" target="_blank">MathBook XML</a></b>, which is "a lightweight XML application for authors of scientific articles, textbooks and monographs." I'm seriously considering a conversion from <i>Mathematica</i> Notebooks to this new format. <br />
<br />
I spend a bit of time playing with the current version this week and converted a very small web page with a few sage cells. Then I <a href="http://faculty.uml.edu/klevasseur/ADS2/sage/sage_cell_graphs/" target="_blank">exported to html</a>.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgFG0hZvo7ok7gdEdV1o1IuDdAmFnryjOk7K-uBvye5ZEi97OyCWus3_SXKMtZyH-6imOK8Xms634shhnPTK5xKw_y4VAtWtYI_TweYty03e0rOwuICXf5b-KP79D137FiANauHhCBWeo0/s1600/Screen+Shot+2015-11-17+at+3.14.55+PM.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="228" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgFG0hZvo7ok7gdEdV1o1IuDdAmFnryjOk7K-uBvye5ZEi97OyCWus3_SXKMtZyH-6imOK8Xms634shhnPTK5xKw_y4VAtWtYI_TweYty03e0rOwuICXf5b-KP79D137FiANauHhCBWeo0/s320/Screen+Shot+2015-11-17+at+3.14.55+PM.png" width="320" /></a></div>
<br />
<br />
It wasn't obvious to me what code should appear in the output field of the sage sections, which would be all graphics in this case. It isn't a problem for the html version since the cells can be evaluated. <a href="http://faculty.uml.edu/klevasseur/ADS2/sage/sage_cell_graphs/sage_graphs.pdf" target="_blank">Converted to LaTeX</a>, the lack of output is a problem, but it still looks good.<br />
<div>
<div>
<br /></div>
<div>
<br /></div>
</div>
Unknownnoreply@blogger.com0