只为小站
首页
域名查询
文件下载
登录
可计算性
与数理逻辑(中文版)
数理逻辑经典教材,有兴趣的同学可以看一下,这里的版本是中文版的。
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
2010年-2020中国地面气候资料数据集(V3.0)
Android大作业——网上购物APP(一定是你想要的)
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
Plexim Plecs Standalone 4.1.2 x64.7z
先进PID控制Matlab仿真第4版-PDF+代码.zip
MPC 模型预测控制matlab仿真程序
鲸鱼优化算法 WOA matlab源代码(详细注释)
Alternative A2DP Driver 1.0.5.1 无限制版
计算机专业实习日记+实习周记+实习总结
MATLAB之LSTM预测
粒子群多无人机协同多任务分配.zip
2020年大学生数学建模竞赛C题省一论文(包括材料和代码)
东南大学英语技术写作慕课所有答案
云视通扫描工具.zip
Keil5安装包
最新下载
MFRC522串口测试软件
stm32f103 双CAN总线通信
高光谱遥感图像分类代码+数据集
基于STM32的温湿度传感器+OLED屏显示项目文件压缩包
nmealib增加双模GNSS模块(GPS与BD)的解析
vs车辆识别系统
银川第九届数模A题参考代码
MTALAB NSGA2算法
multisim 通过运放产生方波,再通过有源一介低通滤波产生三角波
机器学习-监督学习-毒蘑菇分类-6大监督模型实现
其他资源
基于onenet平台的gps+gprs定位服务(arduino实现)
交通流元胞自动机Matlab源代码
学生信息管理系统C#winformSQLServer
物流系统,web、安卓、后台三端,前后端分离
STM32CubeMX can总线配置
kalman卡尔曼滤波C#源代码
C#的Demo项目:RabbitMQ封装和使用
nacosSync-server.jar
基于顶点向量角的改进型扫描线滤波算法
GeoGebrav6.0.605.0.zip
CCP协议源码,包含英飞凌C166源码
mp3的c语言解码程序
2018年国家税务总局商品和服务税收分类编码表
jQuery.artZoom 一款旋转放大关闭图片查看插件
javaweb电影购票系统完整源码
基于okhttp的网络框架
供应链计划
基于纹理特征提取的图像分类方法
在android上的车牌识别
OFDM时空编码和MIMO的结合在瑞丽频率选择性衰落信道中
tfidf特征提取
opencv_python-3.4.0-cp36-cp36m-win_amd64.whl
ICOFormat(32位+64位)
linux usb core driver源码分析