This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
en:courses:2015-2016:ds [2016/10/26 09:21] romon |
en:courses:2015-2016:ds [2016/10/26 09:30] (current) romon |
||
---|---|---|---|
Line 5: | Line 5: | ||
* **Precision**. Write and think clear and precise statements | * **Precision**. Write and think clear and precise statements | ||
* **Formal reasoning**. Inference, proof techniques | * **Formal reasoning**. Inference, proof techniques | ||
- | * I**ntuitive set theory**. Sets and operations on them, comparing sets, surprising facts about infinite sets | + | * **Intuitive set theory**. Sets and operations on them, comparing sets, surprising facts about infinite sets |
* **Methods for analyzing growth of functions** | * **Methods for analyzing growth of functions** | ||
* **Elementary and recursive algorithms** | * **Elementary and recursive algorithms** | ||
Line 28: | Line 28: | ||
7th Edition | 7th Edition | ||
Global Edition | Global Edition | ||
- | Bokk can be purchased at La Fontaine | + | Book can be purchased at La Fontaine. |
Read the book in paralell of the Class | Read the book in paralell of the Class | ||
\\ | \\ | ||
\\ | \\ | ||
- | Presentations: | + | **Presentations**: |
\\ | \\ | ||
{{ :en:courses:2015-2016:proof_l06_02102015.pdf |}} | {{ :en:courses:2015-2016:proof_l06_02102015.pdf |}} |