没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
model theory
model theory
计算理论
需积分: 12
14 下载量
201 浏览量
2008-03-29
13:26:04
上传
评论
收藏
551KB
PDF
举报
温馨提示
立即下载
Fundamentals of Model Theory
资源推荐
资源评论
Model Theory
浏览：191
模型论（Model theory）是数学的一个学科，模型论的一些重要定理，如紧致性定理，L－S－T 定理，省略型定理， 插值定理等等，不仅对逻辑，集合论，递归论的研究有重要作用 ，而且也在数论、代数、拓扑等数学学科中得到应用。
PDF电子书《security via model theory》
浏览：3
PDF电子书《security via model theory》
A first Course in Logic An Introduction To Model Theory Proof Theory Computability And Complexity
浏览：114
5星 · 资源好评率100%
A first Course in An Introduction To Model Theory Proof Theory
Fundamentals of Model Theory
浏览：86
一本很好的模型论教材，深入浅出地介绍了模型论的主要基本原理，同时配有精心设计的习题。
Finite Model Theory
浏览：172
英文版： Finite Model Theory
Recursive Mathematics - Volume 1 Recursive Model Theory part2
浏览：199
in model theory, the least admissible set after ; in descriptive set theory, the setting for effective arguments. In this book, hyperarithmetic theory is developed at length and used to lift ...
Recursive Mathematics - Volume 1 Recursive Model Theory
浏览：174
in model theory, the least admissible set after ; in descriptive set theory, the setting for effective arguments. In this book, hyperarithmetic theory is developed at length and used to lift ...
Finite Model Theory and Its Applications
浏览：9
Erich Grädel • Phokion G. Kolaitis • Leonid Libkin Maarten Marx • Joel Spencer • Moshe Y. Vardi Yde Venema • ScottWeinstein Finite Model Theory and Its Applications
Kreisel－Elements of Mathematical Logic (Model Theory)
浏览：6
Kreisel－Elements of Mathematical Logic (Model Theory)
Recursive Mathematics - Volume 1 Recursive Model Theory part3
浏览：116
Recursive Mathematics - Volume 1 Recursive Model TheoryRecursive Mathematics - Volume 1 Recursive Model TheoryRecursive Mathematics - Volume 1 Recursive Model Theory
the capital asset pricing model theory and evidence.pdf
浏览：171
Fama, E. F., & French, K. R. (2004). The Capital Asset Pricing Model: Theory and Evidence. Journal of Economic Perspectives, 18(3), 25–46. doi:10.1257/0895330042162430
Leonid Libkin_Elements of Finite Model Theory, With 24 Figures
浏览：110
有限模型论！！有限模型论！！有限模型论！！重要的事情重复三遍。在计算复杂度里面有应用，或者说这应当是理论计算机应学的内容。
基本模型理论（Kees Doets）Basic Model Theory (Kees Doets)
浏览：200
如标题所示，这本书向读者介绍了模型理论的基础。 它的一个特殊功能是它使用Ehrenfeucht游戏，读者可以通过该游戏熟悉模型世界。
Unified model theory of the glass transitionIII. Fixed point of second virial coefficients in the glass transition
浏览：48
玻璃化转变的统一模型理论 3.玻璃化转变中第二维里系数的不动点，吴嘉麟，，在玻璃化转变中,经典的热力学理论依然成立,但是仅仅在体系的无穷个子体系中成立。每个子体系就是在时间和空间上由相邻的自相似的2
Unified model theory of the glass transition I.Eight orders of instant 2-D mosaic geometric structures
浏览：162
玻璃化转变的统一模型理论：1.内在的8级瞬时二维镶嵌几何结构，吴嘉麟，，玻璃化转变的本质有可能只是由内在的8级瞬时2维镶嵌几何结构决定,不需要附加任何条件和假设。几何结构上的一个界面激发态起源于 Li
Unified model theory of the glass transition II．Fixed point of self-similar Lennard Jones potentials in the glass transition
浏览：127
玻璃化转变的统一模型理论 2.玻璃化转变中自相似Lennard Jones势函数的不动点，吴嘉麟，，在固-液玻璃化转变局域集团增大相转变中，自相似势涨落的‘增强-限制’递推方程，导出了自相似Lennard-Jones（L-J）势函数...
Model Predictive Control: Theory and Design
浏览：98
5星 · 资源好评率100%
《Model Predictive Control: Theory and Design》这本书是国外大学学习模型预测控制（MPC）的指定教材，出版于2009年。
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：147
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：169
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路，实现以下功能：用低频信号源产生ui1=0.1sin2πft（V），f=500Hz的正弦波信号，加至加法器的输入端，加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量，选出f信号为uo2，uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览：168
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：147
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：97
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：176
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
Landsat_WRS2.zip
浏览：69
5星 · 资源好评率100%
本资源为WRS2全球条带号分幅情况SHP文件。WRS，即Worldwide Reference System，是Landsat系列卫星全球影像标记符号系统，用以区分全球各区域对应的Landsat系列卫星影像编号；其用“Path”与“Row”两个数值确定影像的编号与位置。其中，Landsat 1、2、3卫星对应编号系统为WRS-1，Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-
最全的Visio形状/图形库
浏览：107
从不同地方搜集整理出来的Viso图标，全部文件都是Visio图形库的标准格式：VSS格式，内含有51个文件，分别对应类别。内容比较全面，包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
AxureRP9项目原型50套、案例20个、元件库1套.zip
浏览：99
AxureRP9项目原型50套、案例20个、元件库1套。非原创，其中一批比较好的案例值得参考，元件库直接可用，简洁美观。分享给需要的人。
北理工+成电+东南——通信/信号保研面试真题.pdf
浏览：114
本文档整理了本人在2019年推免过程中，面试老师问到的问题，本文具体包括以下三所院校：北京理工大学雷达技术研究所；电子科技大学泛在无线网络实验室、多维信息感知实验室、图像处理研究所；东南大学移动通信国家重点实验室。对于面试中涉及到的专业课问题，我在面试结束后查阅书籍并给出了个人解答，仅供参考。
数字信号处理——保研复习资料.pdf
浏览：95
本文档为数字信号处理（DSP）复习文档，参考书籍为高西全老师主编的《数字信号处理——原理、实现及应用》第二版，全文共33页，包含以下内容： 一、绪论 二、时域离散信号与系统 三、时域离散信号和系统的频域分析 四、离散傅里叶变换（ DFT）及其快速算法（ FFT） 五、模拟信号数字处理 六、数字滤波器 七、IIR数字滤波器（ IIRDF）设计 八、FIR数字滤波器（ FIRDF）设计 九、少量经
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
wl1034
粉丝: 1
资源:
6
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
InsightFace从青铜到王者，超大规模人脸识别的优雅解法
基于 STM32 与 ESP8266 的智能家居系统源码.zip
单链表基本算法设计成品.cpp
SVID_20240421_174417_1.mp4
基于matlab简单图像的分割识别（3456形的识别）.zip代码59
虚拟机配置+群集配置+tomcat服务器实现双机热备文档
Pra4-1.c
Python基于YOLOv7的人员跌倒检测系统(源码＆教程＆数据集)
Linux与Windows服务器双网卡绑定
车联助手-小窗版(三星)3.5.6.apk
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
