只为小站
首页
域名查询
文件下载
登录
可计算性
与数理逻辑(中文版)
数理逻辑经典教材,有兴趣的同学可以看一下,这里的版本是中文版的。
2021-06-25 14:41:43
8.19MB
数理逻辑
1
图灵(1936) - 论可计算数及其在判定问题中的应用(计算部分).pdf
图灵1936年论文解读(1):
可计算性
2021-04-21 13:06:19
218KB
图灵
1936
论文
可计算性
1
可计算性
与计算复杂性,张立昂 第三版
本书是学习计算理论的教材和参考书,内容包括三部分:
可计算性
、形式语言与自动机、计算复杂性.主要 介绍几种计算模型及它们的等价性,函数、谓词和语言的
可计算性
等基本概念,形式语言及其对应的自动机模 型,时间和空间复杂性,NP完全性等. 本书可作为计算机专业本科生和研究生的教材,也可作为从事计算机科学技术的研究和开发人员的参 考书,还可作为对计算理论感兴趣的读者的入门读物.
2020-02-25 03:16:39
9.69MB
计算
1
递归函数和
可计算性
研究
一篇论文,讲述的计算理论中的递归及其
可计算性
2020-02-25 03:11:57
81KB
递归函数
可计算
计算理论
1
吉林大学研究生《
可计算性
与计算复杂性》课程教材
吉林大学研究生《
可计算性
与计算复杂性》课程教材
2020-02-25 03:07:03
1.19MB
可计算性
1
{王元元}
可计算性
引论
{王元元}
可计算性
引论,比较简单的一本计算理论入门书
2020-02-25 03:06:30
4.03MB
计算理论
1
可计算性
与计算复杂性(吉林大学教材-李占山)
可计算性
与计算复杂性(吉林大学教材-李占山)
2020-02-25 03:05:20
899KB
李占山
1
可计算性
与不可解性 pdf 中文影印版
可计算性
与不可解性
2020-02-25 03:04:04
6.42MB
可计算性
中文版
1
《
可计算性
理论》张鸣华
《
可计算性
理论》张鸣华,内容丰富。书价1.50元,扫描价32.0元。因为是比较基础的理论所以不过时。惜其绝版。并不知道其内容与现存的莫绍揆的递归论相比如何,欢迎评论区评论。
2020-02-25 03:04:03
19.46MB
可计算性理论
理论计算机
计算理论
递归论
1
可计算性
与计算复杂性导引(第3版)
张立昂的精品书籍,《
可计算性
与计算复杂性导引(第3版)》,第三版。
2019-12-21 19:29:53
9.69MB
计算复杂性
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
基于OpenCV的车牌号码识别的Python代码(可直接运行)
人体姿态检测
EasyMedia-ui.zip
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
Android小项目——新闻APP(源码)
2010年-2020中国地面气候资料数据集(V3.0)
麻雀搜索算法(SSA)优化bp网络
Alternative A2DP Driver 1.0.5.1 无限制版
西门子逻辑控制设计开发_3部10层
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
android开发期末大作业.zip
多目标优化算法(四)NSGA3的代码(python3.6)
RNN-LSTM卷积神经网络Matlab实现
token登录器.rar
PSO-LSSVM的MATLAB代码.rar
最新下载
ROSE mirror HA 双机热备软件
魂斗罗素材
国开《计算机绘图》课程形考1-4 .dwg答案(可直接使用)
DS18B20温度采集+串口发送+模块化编程 51单片机
Plex v7.12电视端app
IBM CPLEX 12.10 学术版 mac操作系统安装包
ADC参数测试资料&matlab源程序
城市规划GIS技术应用指南_随书练习数据
支付宝低保真原型作业.rp
数理统计(第二版)赵选民,徐伟等
其他资源
stm32驱动AD7992/AD7993用硬件SPI和模拟方式
直接序列扩频通信系统_VHDL代码及文档.zip
KNIME教程加demo
MATLAB BP神经网络工具箱实例
Microsoft.ReportViewer 11.0.0 dll
常用电路图符号大全(docx)
微信协议开发Demo,支持A16\62(这个增加了库文件)
envi拓展工具,下载envi拓展包
ActionBarDemo
图像处理-提取轮廓
Unity绿屏抠像插件
番茄时钟-番茄工作法配合工具
VASP-poscar2lammps.awk
linux-redis4.0.11-单机安装.docx
古兰经在线:Aplikasi Al-古兰经在线-源码
kubeflow kfctl 控制器.pdf
xgboost安装包
MarkMan破解版
基于模板匹配的交通灯识
DNASTAR.Lasergene.v7.1
Mnist手写体训练脚本和测试脚本(含训练集和测试集)
用java编写的局域网通信源代码
noip提高组模拟题1sz