只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
[数理] 模型论基础 PDF
[数理] 模型论基础 PDF
上传者:
jonny0750
|
上传时间: 2021-11-11 16:25:06
|
文件大小: 6.61MB
|
文件类型: -
模型论
1. 形式语言及其模型 2. 紧致性与LST定理 3. 初等子模型与模型完全理论 4. 超积基本定理 5. 模型论力迫法 6. 省略型定理 7. 初等链的一些应用 8. 内插定理 9. 可数语言中的完全理论
文件下载
立即下载
评论信息
kjtyhq :
正在找的一本书,谢谢您。
2017-10-18
u011336395 :
确实是这本书,已经打印看了好久了。
2015-06-20
其他资源
ArcGis10.2目视解译教程
Microsoft_TTS_51_chs.msi
WIFIPR跑包软件含注册码
静态网页作品-精美个人主页源代码
遗传算法(GA)进行BP神经网络的优化
ASP完整源码:学生成绩管理系统,是非常全面的学生成绩管理系统,非常实用!
基于vggnet卷积神经网络的图像风格迁移 Python
ssm入门商城管理系统maven管理项目
by Alan.V.Oppenheim
数学建模优秀论文_长江水质的评价和预测.rar
天翎MyApps4.4低代码开发平台软件白皮书_v1.0原始.doc
reactHook-context-useReducer-源码
LAppS:LAppS-Lua Application Server,用于通过WebSockets进行默认通信的微服务。 有史以来最快和最垂直可扩展的WebSockets服务器实现。 低延迟C ++ <-> Lua堆栈往返-源码
大数据工具之HAWQ详细使用教程.zip
Power Designer 的資料庫操作(Sybase).doc
flash游戏编程指南(全).rar
ant-contrib.jar
vc编写的交通灯演示程序
广联达 ET199 2018全国各省切换工具
全国省市县的编码,腾讯地图
CXImage 类库
pipeline示例pcap包
迷宫程序(VC图形化界面)
VB写的,计算属相和星座的软件
Refactoring To Patterns
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
航迹融合算法MATLAB仿真程序
数字图像处理[冈萨雷斯]
中小型企业网络建设.pkt
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
西门子逻辑控制设计开发_3部10层
JPEG的Matlab实现
EEupdate_5.35.12.0 win10下修改intel网卡mac
多目标优化算法(四)NSGA3的代码(python3.6)
simulink仿真实现光伏发电MPPT+能量管理
基于Matlab的IEEE14节点潮流计算.zip
雷达信号处理仿真程序(MTI,MTD等)
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
最新下载
MedEx MECG-200多功能心电分析系统(单机版)
FPGA读写AM29LV320D/S29AL016j的verilog程序
工程数学的ppt
STM32Cube_FW_F1_V1.8.0.zip
csgo 盲狙准星/自动急停/脚本压枪
黑莓大全--超人气游戏Nintaii(可玩全关).rar
国科大 图像处理 王伟强 作业
图像处理.zip2019国科大 王伟强 课程PPT+作业+中文翻译PPT+部分真题试卷
WinPLC-AnalyzerV3.2.2.3
Kodak EasyShare.part2.rar