ผลต่างระหว่างรุ่นของ "01204211-58"

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา
แถว 26: แถว 26:
  
 
== Additional links ==
 
== Additional links ==
 +
The outline of the course is inspired mainly by CS70 at Berkeley (See the recent course [https://inst.eecs.berkeley.edu/~cs70/su15/ homepage].)  More over,
 +
the course borrows a lot of exposition from other sources listed below.
 +
 +
* [https://inst.eecs.berkeley.edu/~cs70/su15/ CS70: Discrete mathematics and probability theory]at Berkeley
 +
* [http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/ Mathematics for Computer Science] at MIT OCW.
 +
* Lovasz, Pelikan, Vesztergombi. Discrete Mathematics: Elementary and Beyond. Springer, 2003.  See Lovasz and Vesztergombi's lecture notes ([http://www.cs.elte.hu/~lovasz/dmbook.ps dmbook.ps])
 +
* Matousek and Nestril. Invitation to Discrete Mathematics. 2nd Edition. Oxford Press, 2008.
 +
* Rosen.  Discrete Mathematics and Its Applications.  Mcgraw-Hill.

รุ่นแก้ไขเมื่อ 21:09, 2 กันยายน 2558

Announcements

Activities

Topics

Week/number Topics Handouts Links
1/1 Introduction, Propositions handout1
1/2 Quantifiers handout2 Clips: part1, part2, part3, part4
2/1 Inference rules
Proof techniques 1
handout3
handout4
2/2 Proof techniques 2 handout5 Clips: part1, part2, part3
3/1 Induction 1 handout6
3/2 Induction 2 handout7 Clips: part1, part2, part3

Additional links

The outline of the course is inspired mainly by CS70 at Berkeley (See the recent course homepage.) More over, the course borrows a lot of exposition from other sources listed below.