《数理逻辑教程》

鉴于国内外数理逻辑科学的迅速发展,为适应我国四化建设的需要,华中工学院出版社已出版莫绍揆教授著的《数理逻辑教程》一书.全书约245千字,定价1.40元.本书非常注意理论与实践相结合的原则,对数理逻辑各重要概念的来龙去脉以及数理逻辑各家学说介绍得特别详细而有系统,为同类书籍所少有.本书提出了一些理论方面的创见与新说法,例如,约束词新说法可使读者对数理逻辑最重要的基本概念有清晰而深刻的理解;又如,永真假性的特征数的概念是这方面的总结性理论.这些都是过去书中所没有的.     

数理逻辑教学方法探讨

数理逻辑不仅是离散数学课程的基础,也是计算机科学与技术专业其他课程学习的重要基础.文章就如何提高数理逻辑的教学质量,提出了注重教学内容的合理拓展与延伸、注重数理逻辑在计算机科学与技术领域应用背景的介绍、注重引入先进教学资源和教学辅助工具(如ProofWeb)等教学方法.     

协同计算机与认知神经网络从上至下的方法

本书是施普林格出版社出版的《协同技术》丛书中的一本，第一版于1991年出版。本书介绍了一种新颖的神经网络方法，对迄今所知的神经计算机提供一个真正的可供选择的方法。作者发现在模式识别与远离平衡的开放系统中，模式的形成非常类似，然后使用了协同技术的数学工具有系统地阐述了协同计算机的概念，最后提出了一个模式识别学习的完整与严格的理论。     

程其襄教授等应邀来校讲学

应我校学术委员会和数学系的邀请,上海师范大学数学系程其襄教授,张奠宙讲师等三位同志于一九七八年十二月十六日至二十七日来校讲学。讲学内容比较广泛,包括:关于现代分析基础的发展;连续统假设;映照、超滤器等问题;勒贝格积分的各种处理、外微分;关于数学结构;二十世纪以来数学发展的几件事;非标准分析;非标准分析数理逻辑基础;关于微分概念的刹析及其他;微积分中若干新例新证;微积分教材中若干问题;泛函分析线性算子谱论发展介绍等专题。同时,对英国中学数学教材SMP作了评介。讲学期间,还对高     

普通逻辑现代化的一个误区

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

虚概念与存在预设

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

充分、必要条件的定义、性质及其应用

本用数理逻辑中蕴含式、强蕴含等概念阐述了高中数学实验教材中的充分、必要、充要条件的定义，并总结出它们的性质，最后分析了几种常用解题方法的逻辑依据，供中学老师教学时参考。     

国家自然科学基金研究成果专著

本书根据最近十多年来我国低温技术的研究进展,介绍了当代低温技术的成就和水平,叙述了低温技术在我国现代科技、工业和民用领域以及空间技术的应用前景,对目前正在深入开展和最新开发的低温制冷机、氦涡轮膨胀机、现代大型空分装置、天然气的液化及贮运、超流氦传热、新制冷工质制冷、低温生物医学,以及低温技术的应用做了详尽的论述和深入的讨论,同时也对新型低温技术的研究方法、工艺特点和发展规律进行了探索. 本书内容丰富、信息性强,可供从事低温技术工作的科研工作者、工程技术人员、管理和营销人员阅读,也可供高等院校制冷与低温专业的研究生作为选修课教材,以及作为高年级大学生的教学参考书.     

华中工学院出版社部分机械类图书简介

互换性与技术测量.华中工学院标准化与计量测试教研室编16开.29万字.定价:1.35元本书根据1980年8月按清华大学、西安交大等十五所院校提供的教学大纲及意见综合整理的教学大纲编写;以华中工学院1965年的《互换性与技术测量》教材为基础;采用新的国家标准;每章附有目的、要求、思考题、习题及表格。可供大专院校用作40～60学时“互换性与技术测量”课程的教材。也适用于电大和业余大学、函授大学,并可供工程技术人员参考。本书于一九八二年四月第一版第一次印刷四万册,早已售完。根据有关单位要求,校改重印五万册,余书也不多了。     

南开大学出版社新书介绍

形式逻辑概要田宏第著 0.84元本书是为参加高教自学考试者编写的自学教材。作者吸收了近年来国内高等院校形式逻辑课教材的优点,用通俗的语言,深入浅出地对形式逻辑的基本原理作了系统的介绍。本书内容准确,概念简明、清楚,重点突出,引例具体,文笔生动,论述紧密联系人们的思维实际,便于自学。它也适于做大专院校文科的教材。     

书讯

《美育教程》 (吴瑞裘 张佑周 陈弦章 )江西高校出版社， 1998.8出版 定价： 15元 本书是“中学审美教育研究”课题的最终成果之一。该课题 1996年被列入国家教委立项的“世行贷款‘师范教育发展’项目”。作者深入试点学校进行调查和实验，并吸收了近年来美育理论与实践的新成果，经两年努力完成了本书的编写任务。本书较全面、系统的论述了中学审美教育的理论与实践问题，可作为高等师范院校有关课程的教材，也可供中小学教师及其他教育工作者，大专院校学生和广大文学、美学爱好者参考。 《审美鉴赏举隅》 (吴瑞裘 简焕镇著 )中国文联…     

Abriss der Logistik,Mit besonderer Beriicksichtigung der Relationstheorie und ihrer Anwendungen

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

组合设计：作图和分析

组合设计理论是组合学的重要分支，20世纪已发展成内容丰富的学科，它与有限几何学、数论、有限域理论、群论等学科有深刻的联系，而且在数理统计、计算机科学、密码学、光学通讯、无线通讯、算法设计和分析诸多方面有重要应用。本书是一本系统介绍该理论的好教材。     

新书推荐

遗传算法的数学基础张文修 ,梁　怡 ,　编著遗传算法 ( ｇｅｎｅｔｉｃａｌｇｏｒｉｔｈｍ)是模拟自然界生物进化过程与机制求解问题的一类自组织与自适应的人工智能技术 ,已广泛应用于计算机科学、人工智能、信息技术及工程实践 .本书重点在于阐述遗传算法的数学基础 .全书共分 3章 ,第 1章给出了遗传算法的几何理论 ,第 2章给出了遗传算法的马尔可夫链分析 ,第 3章给出了遗传算法的收敛理论 .本书可以作为研究遗传算法的参考书 ,也可以作为应用数学、计算机科学、系统科学等专业研究生的教材 .新书推荐     

新书推荐

遗传算法的数学基础张文修 ,梁　怡 ,　编著　　遗传算法 (ＧｅｎｅｔｉｃＡｌｇｏｒｉｔｈｍ)是模拟自然界生物进化过程与机制求解问题的一类自组织与自适应的人工智能技术 ,已广泛应用于计算机科学、人工智能、信息技术及工程实践 .　　本书重点在于阐述遗传算法的数学基础 .全书共分 3章 ,第 1章给出了遗传算法的几何理论 ,第 2章给出了遗传算法的马尔可夫链分析 ,第 3章给出了遗传算法的收敛理论 .本书可以作为研究遗传算法的参考书 ,也可以作为应用数学、计算机科学、系统科学等专业研究生的教材 .新书推荐…     

教与学中用好教材《大学计算机信息技术教程》

针对高职课程"计算机应用基础",从教学方法、教材特色、理论教学和实践教学等方面就如何用好《大学计算机信息技术教程》教材作了初步探讨。     

最优化理论

最优化理论是指数学上对这样一类问题的研究：对给定定义域上的目标函数求解其在该域上的最小或最大值。这包括研究解的存在性、解的结构性质及求解算法等各方面。最优化理论的重要性是不言而喻的，在应用数学、计算机科学、工程、经济等很多领域都有重要应用。根据目标函数定义域的性质，可以分为离散最优化和连续最优化。本书的一个重要特色就是对这两类最优化的重要概念和方法都作了介绍，     

期货交易实务操作

本书系统介绍期货交易的实务操作以及应用举例。作者从国内目前比较规范和成熟的交易品种——金属入手,阐述了期货交易的有关概念、理论和最新研究动态。本书内容丰富,运用较多的实例和图表,注重理论与实用相结合,内容通俗易懂,可读性强。本书适合涉足期货领域的投资者,同时也可作为投资、金融等专业学生的入门教材。 本书为大32开,170页,定价:12.80元,中国纺织大学出版社出版。 联系地址:上海市延安西路1882号(20001)中国纺织大学出版社发行科 联系电话:(021)62373669,(021)62193057 X 15期货交易实务操作@李民~~…     

华中工学院出版社部分力学书简介

本书是编者们根据多年的教学经验,并在分析近年来硕士学位研究生入学考卷中较普遍的错误后编写的.全书对三门力学课程的基本概念、基本理论、主要公式及应用中的注意事项等作了简明阐述;与现行通用教材相比,作了适当扩充;各章均通过不同类型的若干例题,讨论了多种分析与解题的方法及技巧,全书搜集了200多道例题及复习参考题.     

遗传算法的数学基础

遗传算法 (ＧｅｎｅｔｉｃＡｌｇｏｒｉｔｈｍ)是模拟自然界生物进化过程与机制求解问题的一类自组织与自适应的人工智能技术 ,已广泛应用于计算机科学、人工智能、信息技术及工程实践 .　　本书重点在于阐述遗传算法的数学基础 .全书共分 3章 ,第 1章给出了遗传算法的几何理论 ,第 2章给出了遗传算法的马尔可夫链分析 ,第 3章给出了遗传算法的收敛理论 .本书可以作为研究遗传算法的参考书 ,也可以作为应用数学、计算机科学、系统科学等专业研究生的教材西安交通大学出版社发行科电话 :(0 2 9) 2 6 6 835 7遗传算法的数学基础@张文修 @梁…