24小时热门版块排行榜

返回列表

【奖励】本帖被评价3次，作者roco增加金币 2.5 个

当前主题已经存档。

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

roco

捐助贵宾 (正式写手)

应助: 0 (幼儿园)
金币: 322.9
帖子: 536
在线: 98.1小时
虫号: 114297

[资源] 【分享】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

回复此楼