读过"计算理论导引"的豆瓣成员

209人参与评价  · · · · · ·

9.3

力荐
66.5%
推荐
24.4%
还行
9.1%
较差
0.0%
很差
0.0%

每周参与评价的人数(最近3个月内)

吮指原味鸡

2019-06-01

复杂问题通俗化👍🏻

一个煤球

2019-05-13

每次用到MIT的教科书都觉得这学校真的太厉害了。。。

圆缺

2019-05-08      tags: 算法

辛巴不吃素

2019-04-14

韩百古

2019-02-24      tags: 2018 计算机

正则运算:并、连接(卡氏积)、星号(弱直积)。NFA与DFA等价。下推自动机与CFG在能力上等价。多带图灵机与单带图灵机等价。算法是实现某个任务的指令集。丘奇图灵论题:算法的直观概念等价于图灵机算法。可满足布尔公式集属于P类,当且仅当P=NP。库克-列文定理……停机问题可以修改后重新表述为:“能否编写一个这样的程序,它能测试除了自身之外的任何可以用Godel数表示的程序是否会终止?”……P类问题显然也是NP类问题。(足够多的处理器在多项式时间内能解决的问题)不清楚答案的问题:非P的NP是否等价于P?(18.9.22入坑,12.1复习)

永生猫

2019-04-29

学这个真是掉层皮啊,年纪大了愈感觉力不从心。书看得再明白,一做题就要死,没有点灵感是搞不定的。让你真真切切体会到每个字都认得,连成一句话就不知道说啥的残酷体验。

Leviathan

2019-01-18

神作

乌守元

2019-01-17

云旗

2019-01-13      tags: 编程 计算 理论计算机科学 计算机理论 计算机科学 理论 经典 计算复杂性 计算机 数学 计算理论 自动机 算法

zhao_kee

2019-01-14

外行人读来有一些困难,但作者因为给了一个整体的视角,让我关注的问题(启发法)终于可以置入一个大的理论框架问题中。很棒的书,有时间会再仔细读。

杨柳岸

2019-01-06

发条天才

2019-01-01

lbz

2018-12-02

armyzone

2018-11-25

宜城漫士

2018-11-15      tags: 计算机 数学 底子 计算复杂度

[已注销]

2019-02-26

AlexiFeng

2018-09-06

头发掉太多了..

La Nauseé

2019-02-07

据王垠的博客说,采用图灵机作为计算理论的模型并不一定合适,使用lambda演算作为计算理论的基础能让某些关键定理的证明更加简明

☞氧嘛氧硝铜☜

2018-08-06

luoqeng

2018-06-28

计算理论导引
译者: 唐常杰 陈鹏 向勇 刘齐宏
作者: [美]Michael Sipser
副标题: 第2版
原作名: Introduction to the Theory of Computation
isbn: 9787111190288
书名: 计算理论导引
页数: 269
定价: 36.00元
出版社: 机械工业出版社
出版年: 2006-7

去"计算理论导引"的页面