《符号逻辑讲义》是当代逻辑入门课程的教材,内容大约是.阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生,也可以把它当作课外读物。 无论在国内还是国外,可用于一阶逻辑课的教材不少,导论性的教材更多;但两类教材的脱节是个老问题。国外一些教材在导论性
本书从若干智力游戏、历史趣题和一些看似简单的实用问题人手,引进数学建模的基本思想和方法。在简要介绍了规划模型、经济数学模型、生物数学模型等基础数学模型之后,对全国大学生数学建模竞赛的若干典型赛题进行了探讨。
《普通高等教育十一五国家级规划教材·数学建模》是普通高等教育“十一五”国家级规划教材,是在第一版的基础上修订而成的。主要内容包括绪论,数学与现实世界,建模方法论,量纲分析法,机理分析建模法,基于数据的建模方法,模拟模型,模型范例,科技论文与学术讲演,还在附录中补充了一些应用范例。《数学建模》是以介绍数学建模的一般方法为
全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学理论,为近似推理提供了一种可能的框架;系统论述了Pavelka逻辑并扼要论述了抽象逻辑。
本书第一版于1991年在南京大学出版社出版,当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材,并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用,而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进,可以说是成功地实现了当初撰写之目标,因
《数学建模简明教程》是作者根据多年的教学实践,为了满足高等师范院校数学建模课程教学的实际需求编写而成。教材尽可能体现高等师范院校的培养目标、办学特点,注重数学建模思想的叙述,注意与中学教学实际的联系。《数学建模简明教程》通过实例介绍数学建模的主要方法和建模技巧,注重解决实际问题时数学建模的分析过程,着力培养学生的科学思
集合论近年来发展迅速,特别是迫力法、内模型、大基数和描述集合论的发展尤为突出。本书是一本经典图书,内容囊括了集合论的各个分支。全书分为三部分:第一部分综述了集合论中基本的公理、概念和模型,第二部分深入介绍集合论高等问题,第三部分是集合论的专题介绍。本书各章有习题,即是一部教科书,也是从事数理逻辑和集合论等领域研究人员的
本书是教育科学“十五”国家规划课题研究成果,着重训练学生运用数学知识建立数学模型、解决实际问题的技能技巧,本书内容为:数学建模概论、初等模型、微分方程建模、优化模型、线性代数建模、离散模型、对策与决策模型、逻辑建模、随机模型。本书可供培养应用型人才的高等学校理工类学生选用,也可作为数学建模竞赛培训的教材。
本书从数理逻辑模型论的基本知识开始,介绍近年来在稳定性和单纯性理论中出现的新成果、新方法,并提供了相关练习。