聚乙烯生产技术问答

正周志宇主编本书以问答的形式系统介绍了聚乙烯生产技术人员应知应会的聚乙烯生产工艺流程、聚乙烯产品、聚乙烯理化性质、聚合催化剂、聚合方式等知识,在此基础上按照工艺流程依次介绍了原料精制、聚合反应、干燥脱气、溶剂和单体回收、添加剂和挤压造粒、粉料和粒料输送等工序的生产操作程序、常见的生产问题及其     

《管道检测技术问答》介绍

该书是在总结管道检测技术开发、教学培训及管道检测工程实践的基础上,参考了国内外大量文献资料和规范标准编著而成。以问答的形式系统地解答管道检测基础知识、相关知识及管材、安装、探测、测漏、测腐、腐蚀及漏损控制、安全等技术问题。全书共16章,1200问,内容紧密结合现场实际,知识全面,数据充分,实用性和技术性较强。     

元数学对计算机科学的启示

文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念、机制、要素,数据库技术中的数据模型和函数依赖,面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础,另一方面说明了在应用方面是如何体现这些理论基础的,并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻找突破的思想。     

概率命题逻辑是经典命题演算形式系统的随机事件语义

经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.     

图书推荐

无损检测技术问答编著：王海波、邵泽波定价：39.0元出版日期：2014年11月开本：大32开页数：309页该书以问答的形式系统介绍了渗透检测、磁粉检测、射线检测、超声波检测、涡流检测、声发射检测、光全息检测、红外热成像检测、微波检测、高温应变测试等无损检测技术,反映了无损检测领域的新技术和新方法,同时列举了生产实践中的许多应用实例,对比了各种无损检测方法的特点和适用范围,     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能，它包括语义完全性和语法完全性两个方面．两者没有直接关系。通过强完全性概念研究两种完全性之间的关系，证明了以下结果：一个强完全的形式系统，若具有可靠性，则形式系统一定语义完全；若一个扩张系统是强完全的，则原系统一定强完全；若形式系统是古典完全的则必定强完全。     

疯狂的砖头

在现代主义和中国现实的多种交遇形式中,私人小住宅是一个特例。因为在一般情况下,建筑师所必然调和的大他者（Big Other）——现实的符号秩序（Symbolic Order）——的欲望,在此常常出现短缺。也即,中国现实的符号秩序,在城市的边缘地带难免形成功能空洞。而作为新兴的建筑类型,这些小住宅大多散落在此空洞里——城市近郊和乡村。结果,现代主义的形式系统,     

对Hamilton谓词形式系统中两个公理模式的讨论

Hamilton的谓词形式系统中有这样两个公理模式:(((A)χi).A→A)(其中χi不在A中自由出现)和((χ)A(χi)→A(t))(其中项t对A(χi)中的χi是自由的).在将Hamilton的谓词形式系统与Chureh, Hunter, Menolelson等人的系统进行比较之后,分析了Hamilton将(((A)χi)A→A)(其中χi不在A中自由出现)作为一个公理模式的原因,并得出结论认为,在Hamilton的谓词形式系统中公理模式(((A)χi)A→A)(其中χi不在A中自由出现)完全可以归结为公理模式(((A)χi)A(χi)→A(t))(其中项t对A(χi)中的χi是自由的),从而使该系统的公理模式得以简化.     

一种新的基于间断区间的时态形式系统

本文给出了一种新的形式系统ＧＴＬ，并证明了ＧＴＬ的完备性。     

形式系统L*中极大相容逻辑理论的拓扑刻画

进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.