s*********b
发帖数: 815 | 1 突然想在假期看一下关于CS理论的书，特别是讲complexity，computability，和automat
a方面的。到学校图书馆太不方便，决定买上几本收藏。各位老大能不能推荐几本值得收
藏的经典啊？偶的程度不高，也不打算将来搞理论的研究，也就是研究的课题(FM)里用到
一些理论，再加上自己对理论也比较感兴趣。偶比较倾向于那种给研究生看的，涵盖面比
较广，同时也注重清晰讲述理论后直观意义(例子比较多就更好了)的书。Springer系列里
欧洲人那种满篇定义/引理/定理(还是自己的符号系统，特喜欢用花体字:-))的书偶多半
看不懂的说, 惭愧ing。
//bow... |
c******n
发帖数: 4965 | 2 under textbook: sipser
graduate textbook: "computational complexity" papadimitrio
logic: introduction to mathematical logic, Elliot Mendelson,
a mathematical introduction to logic,Enderton
set theory: introduction to set theory, Thomas Jech
This site has a good categorization of maths in general, and gave many books
http://www.math.niu.edu/~rusin/known-math/index/03-XX.html
【在 s*********b 的大作中提到】
: 突然想在假期看一下关于CS理论的书，特别是讲complexity，computability，和automat
: a方面的。到学校图书馆太不方便，决定买上几本收藏。各位老大能不能推荐几本值得收
: 藏的经典啊？偶的程度不高，也不打算将来搞理论的研究，也就是研究的课题(FM)里用到
: 一些理论，再加上自己对理论也比较感兴趣。偶比较倾向于那种给研究生看的，涵盖面比
: 较广，同时也注重清晰讲述理论后直观意义(例子比较多就更好了)的书。Springer系列里
: 欧洲人那种满篇定义/引理/定理(还是自己的符号系统，特喜欢用花体字:-))的书偶多半
: 看不懂的说, 惭愧ing。
: //bow...
|
j******e
发帖数: 232 | 3 springer is bullshit
i believe chinese professors will find them and conquer them very soon
then all those books will have chinese authors
突然想在假期看一下关于CS理论的书，特别是讲complexity，computability，和automat
a方面的。到学校图书馆太不方便，决定买上几本收藏。各位老大能不能推荐几本值得收
藏的经典啊？偶的程度不高，也不打算将来搞理论的研究，也就是研究的课题(FM)里用到
一些理论，再加上自己对理论也比较感兴趣。偶比较倾向于那种给研究生看的，涵盖面比
较广，同时也注重清晰讲述理论后直观意义(例子比较多就更好了)的书。Springer系列里
欧洲人那种满篇定义/引理/定理(还是自己的符号系统，特喜欢用花体字:-))的书偶多半
看不懂的说, 惭愧ing。
//bow...
【在 s*********b 的大作中提到】
: 突然想在假期看一下关于CS理论的书，特别是讲complexity，computability，和automat
: a方面的。到学校图书馆太不方便，决定买上几本收藏。各位老大能不能推荐几本值得收
: 藏的经典啊？偶的程度不高，也不打算将来搞理论的研究，也就是研究的课题(FM)里用到
: 一些理论，再加上自己对理论也比较感兴趣。偶比较倾向于那种给研究生看的，涵盖面比
: 较广，同时也注重清晰讲述理论后直观意义(例子比较多就更好了)的书。Springer系列里
: 欧洲人那种满篇定义/引理/定理(还是自己的符号系统，特喜欢用花体字:-))的书偶多半
: 看不懂的说, 惭愧ing。
: //bow...
|
wy
发帖数: 14511 | 4 您这句话exactly啥意思呀?
【在 j******e 的大作中提到】
: springer is bullshit
: i believe chinese professors will find them and conquer them very soon
: then all those books will have chinese authors
:
: 突然想在假期看一下关于CS理论的书，特别是讲complexity，computability，和automat
: a方面的。到学校图书馆太不方便，决定买上几本收藏。各位老大能不能推荐几本值得收
: 藏的经典啊？偶的程度不高，也不打算将来搞理论的研究，也就是研究的课题(FM)里用到
: 一些理论，再加上自己对理论也比较感兴趣。偶比较倾向于那种给研究生看的，涵盖面比
: 较广，同时也注重清晰讲述理论后直观意义(例子比较多就更好了)的书。Springer系列里
: 欧洲人那种满篇定义/引理/定理(还是自己的符号系统，特喜欢用花体字:-))的书偶多半
|
r**t
发帖数: 937 | 5 automata: Ullman
【在 s*********b 的大作中提到】
: 突然想在假期看一下关于CS理论的书，特别是讲complexity，computability，和automat
: a方面的。到学校图书馆太不方便，决定买上几本收藏。各位老大能不能推荐几本值得收
: 藏的经典啊？偶的程度不高，也不打算将来搞理论的研究，也就是研究的课题(FM)里用到
: 一些理论，再加上自己对理论也比较感兴趣。偶比较倾向于那种给研究生看的，涵盖面比
: 较广，同时也注重清晰讲述理论后直观意义(例子比较多就更好了)的书。Springer系列里
: 欧洲人那种满篇定义/引理/定理(还是自己的符号系统，特喜欢用花体字:-))的书偶多半
: 看不懂的说, 惭愧ing。
: //bow...
|
w*******g
发帖数: 9932 | 6
very hard to read.
【在 c******n 的大作中提到】
: under textbook: sipser
: graduate textbook: "computational complexity" papadimitrio
: logic: introduction to mathematical logic, Elliot Mendelson,
: a mathematical introduction to logic,Enderton
: set theory: introduction to set theory, Thomas Jech
: This site has a good categorization of maths in general, and gave many books
: http://www.math.niu.edu/~rusin/known-math/index/03-XX.html
|
b***y
发帖数: 157 | 7 Martin D. Davis et al
Computability Complexity and Languages |
