Recursive Mathematics - Volume 1 Recursive Model Theory

daepeng 50 0 RAR 2019-07-09 14:07:55

Hyperarithmetictheoryisthefirststepbeyondclassicalrecursiontheory.Itistheprimarysourceofideasandexamplesinhigherrecursiontheory.Itisalsoacrossroadforseveralareasofmathematicallogic:insettheoryitisaninitialsegmentofGodel'sL;inmodeltheory,theleastadmissiblesetafter;indescript

用户评论

暂无评论

Lectures in Logic and Set Theory.Volume2Set Theory.pdf

LecturesinLogicandSetTheory.Volume2--SetTheory.pdf

31 2019-06-05
Global Positioning System Theory and Application Volume I

国外关于GPS的全方面系统书籍，由很多专家合理著成，每一章节代表一个专题，非常具有权威性，此文档为volumeI

19 2020-05-24
Global Positioning System Theory and Application Volume II

国外的关于GPS的系统且全面描述的书籍，由多个专家合著而成，每一章节为一个专题，非常有权威性，此文档为volumeII

13 2020-05-24
An Introduction to Probability Theory and Its Applications Volume II

AnIntroductiontoProbabilityTheoryandItsApplications,VolumeII,WilliamFeller

21 2019-09-23
Kreisel Elements of Mathematical Logic Model Theory

Kreisel-Elements of Mathematical Logic (Model Theory)

10 2021-01-31
Nonlinear Model Predictive Control Theory and Algorithms

非线性模型预测控制：理论和算法图书NonlinearModelPredictiveControl:TheoryandAlgorithms，GrüneLars,PannekJürgen

20 2020-06-02
Ruin theory with a Markov chain interest model

马氏链利率风险模型的破产理论，刘艳，，本文考虑带有马氏链利率的离散风险模型，分别给出了该模型破产前盈余、破产后赤字的联合分布以及边缘分布所满足的递归方程。本文

27 2020-06-14
Nonlinear Model Predictive Control theory and algrithim

Predictive Control Nonlinear Model Predictive Control theory and algrithim

132 2018-12-09
Domain Model_The Theory The Reality The Dream

ppt演讲稿博文链接：https://taowen.iteye.com/blog/226387

30 2019-06-05
Model Free Adaptive Control Theory and Applications

by Hou, Zhongsheng Jin, Shangtai Introduction ......................................................

35 2020-08-06

Recursive Mathematics - Volume 1 Recursive Model Theory

用户评论

推荐下载