首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
本书以教材的形式向读者介绍数理逻辑的基本理论和新成果.书中系统地论述了数理逻辑各重要概念的来龙去脉以及数理逻辑各家的学说,并根据理论与实际相结合的原则,对布尔差分表达式的最新化简方法等作了介绍,作者还提出了不少创见,如约束词的新说法、永真假性的特征数的概念等.本书可供大学数学(尤其是数理逻辑专门化)、计算机科学系作教材,并可供计算机、自动控制、系统科学等方面的工作者和数学爱好者参考.  相似文献   

2.
本书著者Carnap君是近年新起的所谓维也纳国有力人物之一,对於数理逻辑显扬极力者。现在这本小书不仅是数理逻辑钜典Principia Mathematica的一个系统撷要。Principia Mathematica 以后Wittgenstein与Ramsey以及Hilbert等的学说,也均略述及。著者自己也加了一些新见解新名词新符号。全书分为两分,每分又分为若干小节目,节以数目表示之而,目以 abc为符。第一分题为“数理逻辑(Logistik)的系统,”第二分为“应用数理逻辑。”此第二分实尤为特色。著者(生於1891)十年来(自1922以来)对於几何基础,物理基础,知识论,均个有成就,均是数理逻辑的…  相似文献   

3.
传统逻辑和数理逻辑对虚概念采取了相反的态度。前者从存在预设出发,对虚概念避而不谈;后者则摒弃了关于类的存在预设,试图对虚概念做出合理的解释和处理。然而,数理逻辑对虚概念的解释和处理给关于概念的外延、概念间的关系、直言命题等方面的理论带来了一系列问题。从对日常思维的意义来看,数理逻辑对虚概念的解释和处理并不令人满意。  相似文献   

4.
性能分析属于应用数学范围,本书应用的主要范围涉及了电讯系统及网络。作者主要使用随机分析和概率理论来论述电讯系统和网络性能评估问题。本书的目的是精确地,即数学地介绍方法,同时最低限度地求助于直觉。书中选中的论题都是被公认为经典的,例如鞅与随机变量耦合理论、排队网络、高度法则及长期相关随机变量这样的新概念。  相似文献   

5.
新地球理论     
新地球理论一书是一本包括地球物理、地球化学、地球动力学、对流、矿物学、火山学、能量学和地热活动史的跨学科的高级读本,它囊括了内部地球的所有方面,以及地球的起源、组成、演化等方面。本书是安德鲁在1989年所著的地球理论一书的完整升级版,他包含了许多新的图片和表格。并对层析成像、自组织、板块构造学说等部分增加了新的内容。  相似文献   

6.
在普通逻辑现代化的进程中存在着一个误区,即盲目引进数理逻辑的符号、公式,而对它与普通逻辑体系的融合与协调问题未给予足够的重视,以至造成了普通逻辑理论与实践、理论与理论之间的一些不应有的矛盾。本文以国内现行普通逻辑教材关于虚概念、特称命题、假言命题以及假言命题的负命题的解释处理等四例分析论证了这一现象。普通逻辑现代化并非数理逻辑化,普通逻辑应该吸收数理逻辑的某些成果,但不能不加选择,更不能机械拼合。  相似文献   

7.
《剑桥小学英语》是世界著名的英国剑桥大学出版社专为世界各地初学英语的儿童编写的系列教材。这套教材于2000年4月在剑桥推出,现经方正人教公司中国寻书网的努力,正式引进我国。这套教材是以国际教育心理学、语言教学理论的最新研究成果——Gardener多元智能理论为指导思想编写的。智能理论认为,儿童与成人一样,能力各不相同,学习方式也应不同。Gardener指出人的智能特征可有7种:语言、数理逻辑、音乐、空间、自然观察、人际关系与自我调节等。教学的意义与教学任务就是充分考虑儿童的不同智能特性,挖掘他们的潜能,使每个孩子感受到成功的乐趣与喜悦,进而开发其他方面的潜能。很多新教材都设计有  相似文献   

8.
《国土资源评价方法论》一书,由徐樵利教授、谭传风、胡昌明等编写,华中师范大学出版社出版。本书是作者多年来从事山区综合开发和国土规划研究在方法论方面的经验和理论的总结。作者在地域结构对应变换分析的理论基础上,总结和吸收了大量有关定性和定量的评价方法。书中既有理论方法的论述,又有丰富的实例论证;既评价了资源的空间分布与组合差异,又评价了资源的时间演变规律;既有大地域的论述,又有小地区的分析;理论与方法融合、文字与图表并茂。本书是国内第一部有关国土资源评价方法论方面的论著。  相似文献   

9.
M.Amabili 著 本书全面介绍板壳的非线性振动和稳定性的理论和实验,内容广泛,研究人员可从书中了解这个领域的最新进展,包括流体与结构相互作用的壳体问题,工程师们则可从书中得到许多实用的概念、图和数值结果,这对普通材料和先进材料板壳的设计是非常有用的,本书的论述独特,读者没有深厚的数学基础也能理解动力失衡、分叉和混沌等复杂现象。  相似文献   

10.
标准的数学概率论已是十分成功的热门理论,有着各种各样的应用。本书是一本带哲学味道的书,这是因为在理论和应用方面,对概率有着不同的理解,特别是统计学中的主观概率的思想。本书对多种概率的理论基础进行探讨,对概率的逻辑基础及定性基础做一考察。本书收入数学心理学高级丛书也表明它并非通常的数学理论。  相似文献   

11.
动力塑性     
作者于1967年出版了《动力塑性》一书,与原书相比,本书增加了很多新内容:岩石和土的动力塑性理论、速率型研究的新发展、不均匀Bigham流体的新问题和金属加工等,是一本全面反映动力塑性研究的专著。  相似文献   

12.
本书是一本物理学方面的教科书,此为第三版。与其它教科书不同的是,本书包含了统计力学基础学科中的一些最新研究成果,如物质的普遍性质、衰变过程光谱特性的最新研究,本书还讲述源于热力学和概率论的理论基础知识,这些理论基础构成了统计物理学中所有概念的基石。从现代研究中遇到的问题入手来阐述理论概念,如由于物质离散性而发生的波动问题;在单原子和混合粒子系统中经典和量子相变问题。  相似文献   

13.
本书介绍了流动从层流到湍流的转变过程和求解方法,其理论基础为线性稳定性理论,所用方法为线性稳定性理论可精确执行的数值方法。本书主要内容为壁面边界层的转捩,对基于N—S方程的处理方法也有涉及。书中还详细介绍了这些方法在螺旋桨、机翼等方面的应用。  相似文献   

14.
在谈论全球化的时候,人们经常提到经济私有化,就是把原来的国有化公司、企业转归私人所有。这是里根主义、撒切尔主义为代表的新自由主义经济政策的一个重要方面,私有化、自由化、放松控制,这些新自由主义政策为资本全球化创造了不可缺少的前提条件。最近,由联邦德国前总理维利·勃兰特创建的德国和平与发展基金会出版了一本书———《世界政治私有化,全球化进程中的非国家化与商业化》,明确提出了世界政治私有化的概念,引起了人们的广泛关注和热烈讨论。书中认为,世界政治私有化是当今世界政治领域所出现的一个飞速发展的新趋势:…  相似文献   

15.
分析力学     
本书是著名的俄罗斯力学家鲁里叶(1901-1980)的经典著作,俄文原作出版于1961年,现由别辽耶夫(Belyaeb)翻译成英文。此书通过对分析力学基本概念的深入分析,为分析力学的课题提供尽善尽美的讲解。书的内容侧重与工程问题有紧密联系的基本力学概念,强调理论与应用之间的紧密联系。  相似文献   

16.
「帝国主义经济与政治基本问题」是苏联著名经济学家埃·瓦尔加院士的新著。据今年二月二十五日「苏维埃文化报」的消息,本书已由苏联科学院经济研究所推荐为一九五二年和一九五三年间斯大林奖金的候选书。此书还曾经荣获一九五三年的苏联科学院奖金。作者于一九四六年发表的「第二次世界大战在资本主义经济中所引起的变化」一书,由于把经济与政治分离开来而在理论方面犯了错误,受到苏联的党和学术界的批评。在这部新著中,我们可以看到,作者已经自批评中纠正了以前的错误,而从经济与政治密切联系的观点来分析现代帝国主义经济与政治的各项基本问题。作者探用了这一正确的马克思列宁主义的分析方法,掌握了大量丰富的具体材料,不但详细具体地阐明问题,而且还不断地在理论上加以概括,使本书成为一部名符其实的科学著作,对于分析战后帝国主义经济与政治的研究工作方面作出了一定的贡献.  相似文献   

17.
本书为新加坡世界科技出版公司出版的关于固体理论的专著。固体材料是当前研究和应用既广泛又重要的材料,本书从固体物质分类、能带理论、单电子能带理论的发展、费米(Fermi)液体、铁磁白旋波、反铁磁自旋波、破缺对称性理论等许多方面论述了固体的概念和意义。  相似文献   

18.
本书是弹性板二维理论数学方面的经典导论,书中根据弹性三维理论振动方程的乘方级数展开,系统推导了各向异性弹性板的二维理论。从振动角度对二维问题的唯一性进行了检验。通过比较波的色散关系验证了二维方程准确性,二维理论与三维理论的预测一致,书中主要讨论了高频率的动力学问题,该理论在结构工程的传统应用中也非常有效,也为声波装置提供了理论基础。  相似文献   

19.
R S Cant等 著 对于不断增长的大量有关湍流反应流的文献,本书为读者提供物理洞察力和关键的切入点,书中包括过去30年里所发展理论的历史观点,因此,具有指导性质。所选择的初等和高等理论资料可用于建立必要的专业基础,书中所强调的一些主要的概念,对于进入湍流反应流领域的大学生或初学者是必须知道的,并有利于进一步学习专业论文和研究专著。书中有一系列的练习以巩固学生的理解。  相似文献   

20.
样条函数是逼近论、计算机辅助几何设计、图象分析及数值分析中高度有效的通用工具。上世纪60~80年代,单元样条函数得到飞速发展,理论上相当完善,应用也日益广泛。其后20年间多元样条函数开始被人们研究,其中二元和三元样条函数的理论和应用相对更为引人注目。本书的目的是给出定义在三角剖分和四面体分割上的二元和三元多项式样条的现代成果。作者为完成本书花费了10多年时间,由于篇幅限制,本书侧重于理论方面成果的介绍,应用方面的将另书论述。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号