09 2012 档案

thread local storage
摘要:Thread local storage allows multi-threaded applications to have a separate instance of a given data item for each thread. Where a single-threaded application would use static or global data, this could lead to contention, dead lock or data corruption in a multi-threaded application. One example is t 阅读全文

posted @ 2012-09-24 20:46 Torstan 阅读(242) 评论(0) 推荐(0) 编辑

notes on relations
摘要:Definition 1. Let A and B be sets. A binary relation from A to B is a subset of A X B.In other words, a binary relation from A to B is a set R of ordered pair in which the first element of each ordered pair comes from A and the second element comes from B. We use aRa to denote that (a, b) belongs to 阅读全文

posted @ 2012-09-17 19:22 Torstan 阅读(230) 评论(0) 推荐(0) 编辑

mathematical induction and well-ordering principle
摘要:1. Mathematical inductionMathematical induction can be used to prove the statement that asserts P(n) is true for all positive integers n, where P(n) i... 阅读全文

posted @ 2012-09-07 20:20 Torstan 阅读(737) 评论(0) 推荐(0) 编辑

导航

点击右上角即可分享
微信分享提示