只为小站
首页
域名查询
文件下载
登录
首页
行业
互联网
Model Theory
Model Theory
上传者:
u012144798
|
上传时间: 2020-11-03 21:44:37
|
文件大小: 3.59MB
|
文件类型: PDF
数理逻辑
模型论(Model theory)是数学的一个学科,模型论的一些重要定理,如紧致性定理,L-S-T 定理,省略型定理, 插值定理等等,不仅对逻辑,集合论,递归论的研究有重要作用 ,而且也在数论、代数、拓扑等数学学科中得到应用。
文件下载
立即下载
评论信息
其他资源
算法设计与分析基础(第三版)Levitin著-课件
模式识别第四版((希腊)Sergios Theodoridis)
软件测试方法和技术电子书(全本)
电动汽车蓄电池充放电simulink模型
Python实现K-means聚类算法
web前端开发技术储久良第三版答案
java+sqlserver学生选课管理系统(代码+数据库)
ISO15765协议-全-中英文
中国城市轨道交通智慧城轨发展纲要.pdf
spark mllib 协同过滤推荐算法(ALS) python 实现 完整实例程序
OPENCV人脸检测例子程序(可直接运行)
svr-c语言和matlab代码.zip
网上订书系统php小项目
GPU pro shaderX GPU gems 全系列
vue-projects.zip
WST 483.14-2016 健康档案共享文档规范第14部分:重性精神疾病患者个人信息登记.pdf
node_exporter-1.1.1.linux-amd64.tar.gz
Logback中文文档.pdf
最新版bibexcel
NDS模擬器-DeSmuME5300EX
某大学网络教学平台全部源码(经典)c#
Computing Discrete Fr´echet Distance
MyBatis权威指南
j2EE编码规范----D:\文件项目
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
餐饮零售
电信
电子政务
互联网
交通
教育
金融
旅游
嵌入式
外包
网络游戏
物流
医疗
制造
咨询
热门下载
DBSCAN算法Matlab实现
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
商用密码应用与安全性评估——霍炜.pdf
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
MTALAB NSGA2算法
2010年-2020中国地面气候资料数据集(V3.0)
科研伦理与学术规范 期末考试2 (40题).pdf
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
PSO-LSSVM的MATLAB代码.rar
Spring相关的外文文献和翻译(毕设论文必备)
IBM CPLEX 12.10 学术版 mac操作系统安装包
大唐杯资料+题库(移动通信)
多智能体的编队控制程序的补充(之前上传少了一个文件)
数据结构课后习题答案
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
最新下载
SVPWM三相并网逆变器仿真
MATLAB卡尔曼滤波伪距单点定位
MATLAB环境下机械臂空间直线与圆弧轨迹规划方法及其实现
Quartus ii 13.0 破解文件
Quartus II13.0破解文件
完整项目开发文档--物流配送最优路径规划模拟系统(需求、设计、实现、测试)
SQL.and.Relational.Theory.How.to.Write.Accurate.SQL.Code.3rd.Edition
运筹与优化课程设计 求解整数规划的分支定界法和割平面法
Manomotion SDK + 最终Project
OrCAD Capture 10.5 精简版 免安装