数学.计算.逻辑

作者: 陆汝钤
出版社: 湖南教育出版社
出版年: 1993-4
页数: 132 页
定价: 8.9
装帧: 平装
丛书: 走向数学丛书
ISBN: 9787535515803

多本比价,批量购买

在哪儿借这本书?

> 图书馆合作 找不到你需要的图书馆?

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

Cloud
Cloud
1月8日 在读

tags:计算机科学 数学 数理逻辑

Tyrus
Tyrus
1月2日 想读


阅微草堂
阅微草堂
2016年10月24日 读过

tags:计算机
图灵机, 递归函数, λ演算 ,命题和谓词逻辑演算,文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机,确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ,程序 解题步骤 相当于图灵机的控制函数也放在计算机里,这样就不用改结构 而只需改变计算机的程序的软办法(类比信号处理过程都是软方法而不是改变硬件的方法)。偏序和格 不动点与递归函数等价性

rock-A-fella
rock-A-fella
2016年10月4日 读过

tags:计算机科学 科普 逻辑

> 2人在读

> 11人读过

> 16人想读

二手市场

订阅关于数学.计算.逻辑的评论:
feed: rss 2.0