没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
Finite Model Theory
Finite Model Theory
Finite
Model
需积分: 10
63 下载量
174 浏览量
2015-10-01
19:24:46
上传
评论
收藏
434KB
PDF
举报
温馨提示
立即下载
英文版： Finite Model Theory
资源推荐
资源评论
Model Theory
浏览：142
4星 · 用户满意度95%
Model Theory， 国外名著，模型论的原书扫描,要用djvu阅读器阅读，不是PDF的。
Finite Model Theory and Its Applications
浏览：197
Erich Grädel • Phokion G. Kolaitis • Leonid Libkin Maarten Marx • Joel Spencer • Moshe Y. Vardi Yde Venema • ScottWeinstein Finite Model Theory and Its Applications
Fundamentals of Model Theory
浏览：116
一本很好的模型论教材，深入浅出地介绍了模型论的主要基本原理，同时配有精心设计的习题。
Leonid Libkin_Elements of Finite Model Theory, With 24 Figures
浏览：86
有限模型论！！有限模型论！！有限模型论！！重要的事情重复三遍。在计算复杂度里面有应用，或者说这应当是理论计算机应学的内容。
Boolean.Functions.and.Computation.Models,.Clote,.Kranakis,.Springer,.2002
浏览：26
The complexity of parallel computation is emphasized through a variety of techniques ranging from finite combinatorics, probability theory, and finite group theory to finite model theory and proof ..
Recursive Mathematics - Volume 1 Recursive Model Theory part2
浏览：80
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
浏览：64
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 ...
Model Predictive Control: Theory and Design
浏览：187
《Model Predictive Control: Theory and Design》这本书是国外大学学习模型预测控制（MPC）的指定教材，出版于2009年。
Domain Model - The Theory, The Reality, The Dream
浏览：21
ppt演讲稿 博文链接：https://taowen.iteye.com/blog/226387
Automata Theory and its Applications
浏览：98
The theory of finite automata on finite stings, infinite strings, and trees has had a distinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit
Theory of Computation Wiley 2012
浏览：154
Offering an accessible approach to the topic Theory of Computation focuses on...model the URM Unbounded Register Machines to the finite automaton A wealth of programming like examples and easy to foll
model checking - E.M Clarke
浏览：45
4星 · 用户满意度95%
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches ..
Model Checking-Edmund M. Clarke-模型检查PDF
浏览：147
4星 · 用户满意度95%
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches ..
An Introduction to Combinatorics and Graph Theory
浏览：20
5星 · 资源好评率100%
Graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects. A "graph" in this context is made up of "vertices" or "nodes" and lines called
Model_Portfolio_Theory：定量模型
浏览：153
关于 该存储库保存着《上古卷轴V：天际》的LOOT主列表。 有关主列表的格式和语法的信息，请参阅。 有关如何编辑主列表的信息，请参阅“主列表Wiki”页面。
Finite-Temperature Field Theory-Principles and Applications
浏览：136
Finite-Temperature Field Theory-Principles and Applications
The_Mathematical_Theory_of_Finite_Element_Methods
浏览：158
有限元的经典教程The_Mathematical_Theory_of_Finite_Element_Methods
On The Lagrangian Finite Plasticity Theory
浏览：111
Lagrange型有限变形塑性本构理论，文志成，扶名福，根据带弹性区物质理论，在假设存在一屈服范函和流动法制条件下，讨论了Lagrange型有限变形塑性本构理论，以推广现有的Lagrange型理论�
The Mathematical Theory of Finite Element Methods.pdf
浏览：175
5星 · 资源好评率100%
介绍有限元的数学理论，可借以了解它的细节。
understanding machine learning theory-algorithms
浏览：94
2.1 A Formal Model { The Statistical Learning Framework 33 2.2 Empirical Risk Minimization 35 2.2.1 Something May Go Wrong { Overtting 35 2.3 Empirical Risk Minimization with Inductive Bias 36 2.3.1 .
A NEW INTRODUCTION TO MODAL LOGIC
浏览：52
3星 · 编辑精心推荐
The finite model property A45) Establishing the finite model property A45) The completeness of KW A50) Decidability A52) Systems without the finite model property A53) Exercises — 8 A56) Notes A56).
Cryptography and Network Security 最新版
浏览：123
英文版 Notation xi Preface xiii Chapter 0 0.1 0.2 0.3 0.4 ...Basic Concepts in Number Theory and Finite Fields 85 Divisibility and the Division Algorithm 87 The Euclidean Algorithm 88
Monte Carlo modelling of OCT with finite-size-spot photon beam
浏览：6
In the present paper, finite-size photon beams are launched into a multi-layer numerical phantom, and the signals of OCT are obtained based on Monte Carlo technique and Mie theory. By use of the ...
Finite element simulation for laser-induced SAW propagation in tooth
浏览：145
Setting up a theory model for laser-introduced surface acoustic wave (SAW) propagating in human incisors, it discusses the temperature field induced by laser irradiate in dental surface, as well as .
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
九道弯2
粉丝: 4
资源:
7
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
基于stm32的12864oled图形库
卷积神经网络CNN在cifar10上的应用
毕业设计基于检测算法的河道水质检测系统python源码.zip
Unity 移动端内置网页浏览插件：UniWebView 5
基于全卷积神经网络的语音识别系统
超级简单的Git入门教程.docx
C语言文件读写操作.docx
锂离子电池荷电状态估计 - 基于深度学习和粒子群优化卡尔曼滤波的锂离子电池荷电状态估计
LegendWorriar
LearnOpenGL（十五）之深度测试
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
