逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学,与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性,被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学,有助于培养和提高认知自学能力,有助于培养与提高理论素养,有助于培养和提高科学研究能力,有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面,具有其他学科与课程不可替代的重要作用。当今世界,逻辑学已渗透到许多学科领域,诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家,尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代,联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学,与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性,被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学,有助于培养和提高认知自学能力,有助于培养与提高理论素养,有助于培养和提高科学研究能力,有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面,具有其他学科与课程不可替代的重要作用。当今世界,逻辑学已渗透到许多学科领域,诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家,尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代,联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教
《混沌数学基础》主要从数学角度讲述混沌的概念、性质、基本理论与解析判定方法。《混沌数学基础》引入了Li—Yorke混沌与Devaney混沌概念并讨论其条件化简问题,证明了三角帐篷映射、蒙古包映射、符号空间上移位映射以及平面Smale马蹄映射等映射或系统的混沌性,给出了“周期三意味着混沌”的详细证明,证明了Devaney混沌与Li—Yorke混沌等在拓扑共轭下的不变性,讲述了拓扑熵及其与Li—Yorke混沌的关系等并展示了用Melinkov定理判别系统混沌性的方法。
《高等数学疑难问题选讲》是“高等学校大学数学教学研究与发展中心”立项资助的教学研究项目成果。《高等数学疑难问题选讲》编写的主要目的是为了帮助从事“高等数学”教学的青年教师更深刻地领会教学内容,提高教学水平和教学能力。全书分章按问题编排,各问题之间相对独立,便于读者查阅。
《混沌数学基础》主要从数学角度讲述混沌的概念、性质、基本理论与解析判定方法。《混沌数学基础》引入了Li—Yorke混沌与Devaney混沌概念并讨论其条件化简问题,证明了三角帐篷映射、蒙古包映射、符号空间上移位映射以及平面Smale马蹄映射等映射或系统的混沌性,给出了“周期三意味着混沌”的详细证明,证明了Devaney混沌与Li—Yorke混沌等在拓扑共轭下的不变性,讲述了拓扑熵及其与Li—Yorke混沌的关系等并展示了用Melinkov定理判别系统混沌性的方法。
《从整数谈起》共5章,包括:整数和它的表示,同余,方程的整数解,整点与逼近,整数的应用。《从整数谈起》主要介绍整数的各种性质和由整数引申出来的各种数学问题和故事。《从整数谈起》适合数学爱好者参考阅读。
无
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程,涵盖了命题逻辑,谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。本书自出版以来受到广泛好评,已经被包括美国普林斯顿、卡内基-梅隆、英国、德国汉堡、加拿大多伦多、荷兰Vrije,印度理工学院在内的多个国家几十所高校采纳为。
国际大学生数学竞赛是国际上较高层次的大学生参加的别数学竞赛。本书汇集了从第1届至17届国际大学生数学竞赛的试题及其解答.本书适合于大学数学系师生及相关研究人员和数学爱好者使用。
编写此书,是希望为我国的大学生和数学爱好者提供一本提高数学素质(特别是分析问题和解题能力)的有益读物,同时也为高校数学教育提供一本很有特色的教学参考书。 本书共有三篇:篇,汇集了北京市大学生数学竞赛届至第二十一届的试题,并给出了解题思路及较详细的参考解答;第二篇,选编了我国部分省市和高校的大学生竞赛的试题,对其中大部分给出了较详细的参考解答、答案或提示,有的给出了解题思路;第三篇,编入了、第二届全国大学生数学竞赛及国外一些大学生数学竞赛的试题,并给出了解题思路及较详细的参考解答。