本书共分五个部分,十四个章节,是论述群、群表示论、李群、李 代数及其应用的一本入门读物. 第一部分详述了集合,集合之间的映射,以及群的一些基本理论,如等价与分类、拉格朗日定理,以及重新排列定理等. 第二部分具体讨论了一些群,如点群、对称群、群 GL ( n , K )及 其子群,着重论述了群 O ( 3)及其子群,为了运用,又用群论方法 证明了只有五种正多面体. 第三部分,阐明了由数系扩张形成的环、域、代数等代数系,并详细地讨论了向量空间中的一系列重要空间,如商空间、对偶空间、欧几里得空间和酉空间. 第四部分, 全面且系统地阐述了有限群的表示论,并研究了四元数与三维空间的转动.从时空的均匀性和对称性得出惯性系之间的洛伦兹变换,以及将对称性与守恒量联系起来的诺特定理. 第五部分,定义了李群,引出李代数,并讨论了它们在角动量理论 及基本粒子模型中
量子计算是一个多学科领域。 本书致力于利用一些 量子力学奇妙的方面扩大我们的计算视野。通过介绍面向计算机科学领域的量子计算, 本书将带领读者浏览这个引人入胜的尖端研究领域。本书以一种通俗易懂但又严谨的方式,采用了每个计算机科学的学者和学生都熟悉的方法和技术。读者无需具有任何高等数学或物理背景。前四章介绍的背景知识,包括复数,复向量空间,从经典计算到量子计算的飞跃, 和基础量子理论。在随后的七章,作者分别从计算机科学的特定角度来描述量子计算的不同方面,比如:计算机体系结构, 算法,编程语言,理论计算机科学,密码学,信息理论和硬件。本书为计算机科学专业的学生和研究人员提供循序渐进的示例,两百多个练习和相应的答案,以及应用量子计算思想的编程练习。
本书旨在引进与诠释俄罗斯著名语言学家、语言哲学家、符号学家IO.C.斯捷潘诺夫的符号学思想,为我国符号学研究注入新鲜血液。事实上,IO.C.斯捷潘诺夫的符号学思想在我国学界早有涉猎,只是鲜有系统梳理其思想脉络,凝练其理论精要者。然而,只言片语难以穷尽这座丰厚的符号学思想宝库,也无法为我国符号学学理体系建设供给有效养料。因此,本书尝试结合宏观与微观视角,分别着眼IO.C.斯捷潘诺夫的普通符号学和观念符号学思想,寻求普通和分支符号学双向学理建构的经验借鉴,为优秀理论本土化工作夯实基础。
有限群理论是研究对称性的重要数学基础,在理论物理、量子化学、晶体学、计算机编码、量子通信、信息加密等领域有重要应用。《有限群构造新论》介绍了作者在有限群构造领域的主要研究成果。为了便于读者阅读,《有限群构造新论》详细介绍了有限群论的基本概念、基本定理及其证明,内容是自封的。主要内容为:群的基本知识,群的作用,有限幂零群与超可解群,阶为p2q2,pq3,p2q3,p3q3 的有限群的完全分类(这里p,q 是不同的素数)。《有限群构造新论》可以作为理工科专业高年级本科生、研究生参考用书,也可以作为自然科学工作者的参考读物。
本书是一本趣味横生地讲述形式逻辑主题的故事书,融合了众多读者喜闻乐见的逻辑谜题,以一种独特的方式来普及数理逻从 章到第十六章有大量的趣味谜题供读者思考,包括说谎和讲真话的逻辑、沉默的骑士和无赖等,循着本书生动活泼的语言,读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时,本书还提供了丰富的练习及答案,这些练习并不拘泥于符号的正确运用,而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书,也可以作为大学本科和研究生的补充教材。
本书的宗旨是帮助读者全面、系统地复习高等数学的内容,深入理解基本概念和基本理论,学习和掌握解题方法及解题技巧;追求的目标是通过对解题方法和技巧的分析,使读者能举一反三、触类旁通。本书每章均有一些读者想掌握、易掌握但尚未掌握或根本上不知道的方法和技巧,例如,一些类型的极限的教求法;有关微积分中值定理命题的证明;定积分、重积分的有关命题的证明;不等式的证明;无穷级数求和的方法;常微分方程中积分因子的求法等,均介绍了读者见所未见的新方法和新技巧。按当前考试特点及命题的发展趋势修订的本书,将更适合广大读者,尤其是考研应试者的需要。本书可作为本科生、大专生、电大、夜大、职大生的参考书,也可作为青年教师和科技工作者的参考书。
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教
本书共13章。主要内容为钢筋混凝土结构的新材料、新结构、新的试验技术,钢筋混凝土结构的可靠度设计理论,混凝土的本构关系和破坏准则,钢筋混凝土结构有限元分析,正截面承载力计算,斜截面受剪承载力计算,扭曲截面承载力计算,裂缝控制及耐久性设计,预应力混凝土结构,钢筋混凝土构件的延性与抗震,高性能混凝土和纤维增强混凝土性能和结构设计理论,钢—混凝土组织结构的性能和设计理论。 本书是高等学校土木、水利、交通、海洋等工程专业硕士研究生和博士研究生的教材或教学参考书,也可供从事钢筋混凝土结构工程的设计、施工人员和科学研究者参考使用。
《铁路线路设计(第2版)》提出并贯彻了由面到带、由带到线、由线到段、由段到点的线路设计理念并依此组织教材编写。重点介绍铁路选线、铁路定线、铁路线形、铁路车站,简要介绍改建及扩建措施,包括磁浮铁路、直线电机地铁、直线电机独轨等新型轨道交通及其线路设计特点。
本词典不仅是一本可供查阅的新颖工具书,而且读者亦可按需要选择有关的词条,把它作为一本科普物来阅读。词典中所列的词条,除包括数学名词、数学家、数学学科分支等以外,还涉及数学史等各个方面 。由于数学与计算机科学有紧密的联系,其中还包括了计算机科学的一些词条。本词典的词条按汉语拼音排序。每个词条均有英文译名,因此它还兼有简明汉英数学词典的作用。本词典的附录有“常用数学符号、公式和等式的(英语)读法”及“英语缩写词”,可供读者参考。本词典图文并茂,除供中等(以上)文化程度的广泛读者查部外,还能启迪读者的数学思维,并能为教师进行课堂教学、素质教育、教学改革与数学文化课程的教学提供丰富的材料。
本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的.全书共分为13 章,每章包括4 个模块,即知识要点、典型例题分析、深化训练以及深化训练详解.本书编写的目的主要有两个:一是帮助工科类、经管类本科生备考全国大学生数学竞赛,使学生能够在短时间内迅速掌握各种解题方法和技巧,提升学生综合分析问题、解决问题的能力;二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面,精选了部分有代表性的数学竞赛真题和考研真题,同时注重例题、习题的创新,按题型分类进行合理编排,使学生能够尽快地适应考研题型,从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书,也可以作为工科类、经管类本科生考研深化训练用书.
这是一部现代数学名著,一直受到数学界的推崇。作为Rudin的分析学经典著作之一,《数学分析原理 原书第3版》在西方各国乃至我国均有着广泛而深远的影响,被许多高校用做数学分析课的必选教材。本书涵盖了高等微积分学的丰富内容,精彩的部分集中在基础拓扑结构、函数项序列与级数、多变量函数以及微分形式的积分等章节。第3版经过增删与修订,更加符合学生的阅读习惯与思考方式。 《数学分析原理 原书第3版》内容相当精练,结构简单明了,这也是Rudin著作的一大特色。与其说这是一部教科书,不如说这是一部字典。