模型

本书从一阶逻辑的语法和语义开始，介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

阅读更多

《模型论基础》介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内播定理，完全理论与模型完全理论，初等键，越积，模型论力迫法，他和模型等。并附有模型论方法对经典数学应用的一些例子。《模型论基础》可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。

阅读更多

本书第一版至第四版分别出版于1987年、1993年、2003年和2011年。基于编者长期从事数学建模和数学实验教学、数学建模竞赛组织和辅导，始终关注国内外数学建模教学案例收集与研究的经验，第五版在保持前四版基本结构和风格的基础上，进行增删与修订，新增和改编的案例生动新颖、内涵丰富，接近案例总数的一半。全书纸质内容与数字化资源一体设计、紧密配合，数字课程涵盖案例精讲、基础知识、拓展阅读、更多案例、程

阅读更多

【内容简介】书从现实中结合各例，建立数学模型，分析数学的思想和原理，阐明了求解思路【整理书评】个人认为，此本书比较实用，与其他数学建模相比更注重在原理的详细阐述上，比起一味地去看众多例题而一头雾水，不如仔细先看懂原理的分析及其求解，同时该书也相应的提供了一些案例的求解，图文并茂，在各种模型中不断去理解建模的方法。不过正因为方法式的数学分析和数学符号较多，不是特别容易懂，但也

阅读更多

本书内容详实，结构严谨，侧重于介绍优化理论在实际生活中的应用，是学习优化理论不可多得的入门教材。读者将从本书中学到如何识别、简化、建模以及求解相关优化问题，并将其中暗含的基本原理应用到自己正在进展的项目中。本书对线性代数做了清晰而完整的介绍。通过引入相关的实际案例，以易于理解且形象的方式给读者展示核心的数学概念，并帮助其领会问题的实际意义。阅读本书不需要太多的预备知识，读者只需要对几何学、微积分学

阅读更多

1.gensim的安装可以使用如下命令安装gensimcondainstall-ihttps://pypi.tuna.tsinghua.edu.cn/simplegensim==3.8.2

阅读更多

《精神分析心理模型》从精神分析创立之初的心理模型开始，一直梳理到自体心理学，清晰地呈现了各个主要学派对应的理论重点，以及它们之间的区别和联系。书末思维导图般的表格更是结构化地呈现了精神分析心理模型的重要内容。本书的观点是：精神分析心理模型与以脑为基础的观点是一致的；精神分析心理模型与文化性精神治疗是一致的；精神分析心理模型与其他有名的心理模型是一致的，包括认知模型；我们可以用一定的方式呈现

阅读更多

借助Java、Go等多种语言的特长，深度剖析所有主流并发编程模型基于锁和线程的并发模型是目前最常用的一种并发模型，但是并发编程模型不仅仅只有这一种，本书几乎涵盖了目前所有的并发编程模型。了解和熟悉各种并发编程模型，在解决并发问题时会有更多思路。——方腾飞，并发编程网站长当看到这本书的目录时，我就为之一振。它涉及了当今所有的主流并发编程模型（当然也包括Go语言及其实现的CSP

阅读更多

作者Lippman参与设计了全世界第一套C++编译程序cfront，这本书就是一位伟大的C++编译程序设计者向你阐述他如何处理各种explicit（明确出现于C++程序代码中）和implicit（隐藏于程序代码背后）的C++语意。本书专注于C++面向对象程序设计的底层机制，包括结构式语意、临时性对象的生成、封装、继承，以及虚拟——虚拟函数和虚拟继承。这本书让你知道：一旦你能够了解底层实现模

阅读更多

利用机器翻译技术实现不同语言之间的自由交流始终是最令人期待的计算机应用之一。本书全面回顾了近30年来机器翻译的技术发展历程，遵循机器翻译技术的发展脉络，对基于统计和基于端到端深度学习的机器翻译关键技术及原理进行了深入解析，力求做到简洁明了、全面透彻、图文结合。此外，本书着重介绍了近年来机器翻译领域的科研热点，旨在帮助读者全面了解机器翻译的前沿研究进展和关键技术。《机器翻译：基础与模型》可

阅读更多

这是一部从数学、经济学、人工智能3个角度讲解策略产品经理方法论的著作。作者对自己多年的策略产品经验进行了总结和提炼，D创了函数方法论和经济学方法论。这些方法论在大量实践中被证明行之有效。本书对这两大方法论进行了详细讲解，并且重点讲解了策略产品经理应该掌握的机器学习、深度学习核心知识。更重要的是，本书还传递了一种非常重要的策略产品思想：所有的产品策略问题都可以用模型来解读。模型能帮助

阅读更多

在这本书中，福格博士亲自拆解了他提出的福格行为模型，揭示了驱动人类所有行为的3个关键要素，解析了每一个要素在驱动人类行为中的重要作用，提供了激发每一个要素以更好地推动行为改变的有效方法。此外，福格博士还给出了让福格行为模型更好地发挥作用的两个方法，通过设计情绪来设计行为，通过打造高频率小成功让小改变自然生长。本书不仅能够帮助人们毫不费力地养成好习惯，也能够指导人们成功对抗坏习惯；不仅能够帮

阅读更多