| 查看: 728 | 回复: 4 | ||
| 【奖励】 本帖被评价3次，作者roco增加金币 2.5 个 | ||
| 当前主题已经存档。 | ||
[资源]
【分享】Springer图书：Sets, Logic and Maths for Computing
|
||
 Paperback: 304 pages Publisher: Springer; 1 edition (September 12, 2008) Language: English ISBN-10: 1846288444 ISBN-13: 978-1846288449 Format: PDF Description: This book equips the student with essential intellectual tools that are needed from the very beginning of university studies in computing. These consist of abilities and skills - to pass from a concrete problem to an abstract representation, reason with the abstract structure coherently and usefully, and return with booty to the specific situation. The most basic and useful concepts needed come from the worlds of sets (with also their employment as relations & functions), structures (notably trees & graphs), & combinatorics (alias principles of counting, with their application in the world of probability). Recurring in all these are 2 kinds of instrument of proof - logical (notably inference by suppositions, reductio ad absurdum, & proof by cases), & mathematical (notably induction on the positive integers & on well-founded structures).From this book the student can assimilate the basics of these worlds & set out on the paths of computing with understanding & a platform for further study as needed. 全书预览： Sets, Logic and Maths for Computing |
回复此楼» 猜你喜欢
【征稿】Springer Nature热电专题 Discover Materials / Discover Chemistry
已经有47人回复
-
25届硕士申请，材料计算方向
已经有2人回复
-
物理学I论文润色/翻译怎么收费?
已经有52人回复
-
课题组招1-2名硕士
已经有2人回复
-
机时越来越贵之后，我把一部分 DFT 流程搬到了 AI 计算平台上
已经有0人回复
-
斯坦福大学与Elsevier世界前2%学者新排名查询
已经有1人回复
-
27申博推荐：南京航空航天大学国际前沿院光学方向招收博士生！
已经有19人回复
-
华南师范大学+双一流学科物理学+广东省杰青团队2027年博士招生+机器学习驱动材料设计
已经有1人回复
-
apl投稿状态
已经有2人回复
-
华南师范大学+双一流学科物理学+广东省杰青团队2027年博士招生+机器学习驱动材料设计
已经有1人回复
-
日内瓦国际发明展申报完整流程（科研人员通用指南）
已经有10人回复
2楼2009-08-07 10:35:50
3楼2009-12-06 18:31:50
4楼2009-12-11 13:58:26
5楼2009-12-31 18:03:55
