| 查看: 609 | 回复: 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 |
回复此楼» 猜你喜欢
重庆交大26年硕士生招生拟调剂通知已出！欢迎加入光子学微结构与器件课题组。
已经有0人回复
-
UJN物理学专业调剂
已经有12人回复
-
物理学I论文润色/翻译怎么收费?
已经有286人回复
-
0702一志愿吉大B区求调剂 本科期间发表一篇Sci
已经有0人回复
-
北京纳米能源与系统研究所王中林院士/曹南颖研究员课题组招收2026硕士研究生1名
已经有0人回复
-
山西大同大学物理学硕士研究生招收调剂生
已经有0人回复
-
[调剂信息]211智能人工感知方向国家青年特聘专家课题组招收调剂研究生
已经有0人回复
-
［调剂信息］211智能人工感知方向国家青年特聘专家课题组招收调剂研究生
已经有0人回复
-
[调剂信息]211智能人工感知方向国家青年特聘专家课题组招收调剂研究生
已经有0人回复
-
一志愿物理所凝聚态物理352求调剂
已经有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
