| 查看: 693 | 回复: 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 |
回复此楼» 猜你喜欢
南科大活性流体和软物质课题组诚招2027级博士、硕士研究生和博后
已经有673人回复
-
瑞典林雪平大学博士后招聘｜PEC Water Splitting 方向
已经有130人回复
-
物理学I论文润色/翻译怎么收费?
已经有75人回复
-
PRB投稿，Acknowledgment sent to author状态十天了
已经有3人回复
-
PVA溶解
已经有2人回复
-
基金申请
已经有44人回复
-
CSC与新西兰维多利亚大学PhD奖学金项目
已经有0人回复
-
新西兰Robinson研究所 招聘CSC公派访问人员
已经有0人回复
-
帮我的英语口语老师找学生
已经有0人回复
-
什么时候开奖？
已经有4人回复
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
