只为小站
首页
域名查询
文件下载
登录
可计算性
与数理逻辑(中文版)
数理逻辑经典教材,有兴趣的同学可以看一下,这里的版本是中文版的。
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
2019西门子杯六部十层电梯群控参考程序.zip
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
基于OpenCV的车牌号码识别的Python代码(可直接运行)
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
故障诊断数据集及实现代码
Plexim Plecs Standalone 4.1.2 x64.7z
基于ray filter的雷达点云地面过滤ROS节点
大唐杯资料+题库(移动通信)
中国地面气候资料日值数据集(V3.0)2014-2019.zip
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
简易示波器-精英板.zip
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
2019和2021年华为单板通用硬件笔试题及答案
DS证据理论的MATLAB案例程序源代码
得到品控手册7.0.pdf
最新下载
机巡通带点云航线uavx文件转换工具,命令行,试用版
Android端大华视频播放SDK,包括开发Demo
exe文件加密器V9.0专业版(最新)-完美破解版
TC358870XBG资料合集.zip
xposed x86手架包
ArcGIS勘测定界软件,自动导出界址点成果表,土地利用现状表(12大类),土地利用现状表(3大类)
N32G45x_FreeRTOS工程模板.rar
三维光子晶体带图matlab程序
VMware vSphere Client 6.0管理软件客户端
CISSP OSG 第九版 英文版
其他资源
数字五笔20090425(含激活码)
西北工业大学自动控制原理
基于卡尔曼滤波算法的主从时钟同步Matlab仿真
基于Java实现的socket即时通信系统
C# WINFORM写的五子棋代码(双人对战以及单机)
声音定位系统算法实现(2012电赛D题)
STM32F103的LoRa模块驱动源代码
网络科学导论-汪小帆配套课件
50MHz逐步分频器VHDL代码
C# 科学计算器 华东师范大学 作业
MediaCreationTool20H2.zip
浙江理工大学2017-2019年历年研究生入学考试试卷,代码:921.pdf
TPscan-master.7z
log2and10.sv
单片机驱动16*16点阵LED汉字显示c51程序
Elman神经网络的数据预测—电力负荷预测模型研究
Elecard StreamEye Tools
Android 游戏实例(日本人编写)
android_shell_ssh_gcc
msp430f5529学习资料
mfc实现简单文字输出