| 查看: 708 | 回复: 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 |
回复此楼» 猜你喜欢
澳门大学IAPME李海峰教授常年招收博士研究生
已经有0人回复
-
澳门大学IAPME李海峰教授常年招收博士研究生
已经有0人回复
-
物理学I论文润色/翻译怎么收费?
已经有239人回复
-
深圳大学应用技术学院招聘凝聚态物理博士后
已经有121人回复
-
求助中医院临床中医中标的青年标书学习，谢谢
已经有5人回复
-
浙大物院表面物理课题组长期招收普博及直博学生
已经有259人回复
-
【征稿】Springer Nature热电专题 Discover Materials / Discover Chemistry
已经有47人回复
-
25届硕士申请，材料计算方向
已经有2人回复
-
课题组招1-2名硕士
已经有1人回复
-
机时越来越贵之后，我把一部分 DFT 流程搬到了 AI 计算平台上
已经有0人回复
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