(r42) LectureNotes < CS151

CS151 Web>LectureNotes (revision 42) (raw view)~~EditAttach~~

| <h2 align="center" style="font-size: 15px; text-align: center">Week</h2> | <h2 align="center" style="font-size: 15px; text-align: center">Date</h2> | <h2 align="center" style="font-size: 15px; text-align: center">Topic</h2> | <h2 align="center" style="font-size: 15px; text-align: center">Reading</h2> | <h2 align="center" style="font-size: 15px; text-align: center">Notes</h2> |
| <p align="center" style="text-align: center"> *1* </p> |  <p align="center">08/26</p>  | Introduction | [[http://www.cs.uic.edu/CS151/Syllabus][Course Syllabus]] | <p>[[%ATTACHURL%/00The_First_Lecture-BergerWolf-Grid.ppt][Positive learning environment]] </p> |
| |  08/28  | Logic<span style="white-space: pre"> </span> | <p>[[http://archive.wired.com/software/coolapps/news/2005/11/69355?currentPage=all][<strong>History's Worst Software Bugs</strong>]]</p><p>Rosen 1.1, 1.2</p> | [[%ATTACHURL%/01logic.pdf][Logic, propositions, basic functions, truth tables]] |
|  <strong>2</strong>  |  09/02  | Propositional Logic, Implications and inference | Rosen 1.3 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/02logic.pdf][Implications, equivalence]]</span> |
| |  09/04  | Tautologies, contraditions, proofs | | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/03FOlogic.pdf][IFF, tautologies, contradictions, equivalence proofs]]</span> |
|  <strong>3</strong>  | 09/09 | Predicates and quantifiers | Rosen 1.4, 1.5 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/04proof-1.pdf][Predicates, universal and existential quantifiers]]</span> |
| | 09/11 | Proofs | Rosen 1.6, 1.7 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/04proof-2.pdf][Predicate negation, universal inference rules]]</span> |
|  <strong>4</strong>  | 09/16 | Proofs | Rosen 1.8 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/04proof-3.pdf][Direct proof]]</span> |
| | 09/18 | Proofs: Induction | Rosen 5.1 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/04proof-4.pdf][Proof by contradiction, cases, induction]]</span> |
|  <strong>5</strong>  | 09/23 | Proofs: Induction | Rosen 5.2 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/05induction-1.pdf][Induction: equalities, properties, horses]]</span> |
| | 09/25 | Still induction and strong induction | <p>Rosen 5.2</p><p>[[https://www.khanacademy.org/math/precalculus/seq_induction/proof_by_induction/v/proof-by-induction][Khan Academy: Mathematical induction]] </p> | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/05induction-2.pdf][Structural induction, strong induction]]</span> |
|  <strong>6</strong>  | 09/30 | Inductive/recursive definitions | Rosen 5.3, 5.4 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/05induction-3.pdf][Structural induction, recursive definitions]]</span> |
| | 10/02 | Recursive definitions and algorithms | Rosen 5.3, 5.4 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/05induction-4.pdf][Recursive/inductive definitions]]</span>  |
|  <strong>7</strong>  | 10/07 | Recursive definitions and inductive proofs  | Rosen 5.3, 5.4 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/05induction-5.pdf][Recursive/inductive definitions and proofs]]</span>  |
| | 10/09 | <p>Recursive definitions, structural induction </p><p>Sets review</p> | <p>Rosen 5.3 </p><p> </p><p>Rosen 2.1, 2.2</p>  | <p><span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/05induction-6.pdf][Structural induction]]</span></p><p><span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/06settheory-1.pdf][Sets]]</span></p> |
|  <strong>8</strong>  | <font color="orangered"><strong>10/14</strong></font> | <strong>Midterm</strong> | In class | |
| | 10/16 | Sets review | Rosen 2.2 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/06settheory-2.pdf][Power sets]]</span> |
|  <strong>9</strong>  | 10/21 | Functions review, Pigeonhole Principle | Rosen 2.3, 6.2 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/07functions-1.pdf][Functions: injective, surjective, bijective. Pigeonhole principle]]</span> |
| | 10/23 | Generalized Pigeonhole Principle, Countable sets  | Rosen 6.2, 2.5 | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/07functions-2.pdf][Generalized Pigeonhole principle, Subset sum, Countable sets]]</span> |
|  <strong>10</strong>  | 10/28 | Uncountable sets<br />Counting | Rosen 2.5 <br />Rosen 6.1, 6.3  | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/07functions-3notcountable.pdf][Uncountable sets]]</span><br /><span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/08counting-1.pdf][Product rule, simple counting]]</span> |
| | 10/30 | Counting, Permutations | <p>Rosen 6.3, 6.5</p><p>[[http://xkcd.com/1350/][xkcd Lorenz (and possibilities tree)]]</p><p>[[https://www.khanacademy.org/math/probability/probability-and-combinatorics-topic][Khan academy combinatorics]] </p> | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/08counting-2.pdf][Permutations]]</span>  |
|  <strong>11</strong>  | 11/04 | Still counting: Permutations and Combinations | <p>Rosen 6.3, 6.5</p><p>[[https://www.khanacademy.org/math/probability/probability-and-combinatorics-topic/permutations_and_combinations/v/permutations][Khan academy permutations]] </p>  | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/08counting-3.pdf][Permutations and Martians, Sum, Inclusion-Exclusion]]</span>  |
| | 11/06 | Combinations  | <p>Rosen 6.3, 6.5</p><p>[[https://www.khanacademy.org/math/probability/probability-and-combinatorics-topic/permutations_and_combinations/v/combinations][Khan academy combinations]] </p> | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/08counting-4.pdf][Combinations]]</span> |
|  <strong>12</strong>  | 11/11 | Binomial Coefficient and Combinatorial identities  | <p>Rosen 6.4</p><p>[[https://www.khanacademy.org/math/algebra2/polynomial_and_rational/binomial_theorem/v/binomial-theorem][Khan academy Binomial theorem]] </p> | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/09counting-1.pdf][Binomial theorem]]</span> |
| | 11/13 | Pascal's triangle <br />Probability  | Rosen 6.4<br />Rosen 7.1  | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/09counting-2.pdf][Pascal's triangle]]<br /></span><span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/10probability-1.pdf][Probability definition]]</span> |
|  <strong>13</strong>  | 11/18 | Probability. Birthday problem,<br /><span style="background-color: transparent">conditional probability</span>  | | <span style="color: #0000ff; text-decoration: underline">[[%ATTACHURL%/10probability-2.pdf][Birthday problem, conditional probability]]</span> |
| | 11/20 | Probability. <br />Relations | ||
|  <strong>14</strong>  | 11/25 | Thanksgiving  | No class. Conteplating the [[http://xkcd.com/825][recursive nature of consciousness]] ||
| | 11/27 | Relations  | | |
|  <strong>15</strong>  | 12/02 | Graphs  | ||
| | 12/04 | Graphs  | | |
| | <strong>12/10</strong> | <strong>FINAL EXAM</strong>  | <strong>3:30 - 5:30pm</strong> | |

Attachments

Topic attachments
I	Attachment	Action	Size	Date	Who
ppt	00The_First_Lecture-BergerWolf-Grid.ppt	manage	2679.0 K	2012-08-28 - 20:34	UnknownUser
pdf	01logic.pdf	manage	6496.7 K	2014-08-28 - 21:07	UnknownUser
pdf	02logic.pdf	manage	684.8 K	2014-09-02 - 23:15	UnknownUser
pdf	03FOlogic.pdf	manage	1456.7 K	2014-09-05 - 18:08	UnknownUser
pdf	04proof-1.pdf	manage	570.2 K	2014-09-10 - 01:09	UnknownUser
pdf	04proof-2.pdf	manage	838.4 K	2014-09-12 - 06:33	UnknownUser
pdf	04proof-3.pdf	manage	345.9 K	2014-09-18 - 05:44	UnknownUser
pdf	04proof-4.pdf	manage	790.3 K	2014-09-19 - 05:05	UnknownUser
pdf	05induction-1.pdf	manage	884.1 K	2014-09-23 - 21:07	UnknownUser
pdf	05induction-2.pdf	manage	328.5 K	2014-09-26 - 00:03	UnknownUser
pdf	05induction-3.pdf	manage	290.4 K	2014-10-02 - 15:25	UnknownUser
pdf	05induction-4.pdf	manage	91.7 K	2014-10-03 - 05:41	UnknownUser
pdf	05induction-5.pdf	manage	5905.6 K	2014-10-08 - 17:44	UnknownUser
pdf	05induction-6.pdf	manage	588.3 K	2014-10-13 - 19:34	UnknownUser
pdf	06settheory-1.pdf	manage	591.1 K	2014-10-13 - 19:35	UnknownUser
pdf	06settheory-2.pdf	manage	666.8 K	2014-10-18 - 23:41	UnknownUser
pdf	07functions-1.pdf	manage	662.8 K	2014-10-22 - 03:42	UnknownUser
pdf	07functions-2.pdf	manage	649.6 K	2014-10-23 - 21:20	UnknownUser
pdf	07functions-3notcountable.pdf	manage	123.6 K	2014-11-03 - 20:02	UnknownUser
pdf	08counting-1.pdf	manage	191.8 K	2014-11-03 - 20:02	UnknownUser
pdf	08counting-2.pdf	manage	347.9 K	2014-11-03 - 20:11	UnknownUser
pdf	08counting-3.pdf	manage	229.3 K	2014-11-05 - 04:49	UnknownUser
pdf	08counting-4.pdf	manage	92.0 K	2014-11-07 - 03:55	UnknownUser
pdf	09counting-1.pdf	manage	204.2 K	2014-11-13 - 05:02	UnknownUser
pdf	09counting-2.pdf	manage	472.4 K	2014-11-19 - 01:01	UnknownUser
pdf	10probability-1.pdf	manage	1327.4 K	2014-11-19 - 01:02	UnknownUser
pdf	10probability-2.pdf	manage	148.8 K	2014-11-19 - 01:02	UnknownUser

Topic revision: r42 - 2014-11-19 - 01:16:39 - Main.tanyabw

CS151

[edit this menu]

WISEST
Helping Women Faculty Advance
Funded by NSF