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