《数理逻辑实验教程》的目的是为了帮助更多的学生在学习数理逻辑的课程中,利用逻辑软件,更好地理解数理逻辑的思想、更快地掌握数理逻辑的方法。
《数理逻辑(第2版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing
数学建模实验
《数理逻辑》介绍数理逻辑的基本内容,如经典一阶逻辑(包括命题逻辑和谓词逻辑)的句法、语义、逻辑演算(形式证明)以及刻画句法和语义之间关系的完全性定理,初步的模型论内容,集合论初步知识,哥德尔第二不完全性定理以及所需的递归论内容,等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础,也为进一步学习和研究
这次根据“数学建模”课程的教学和数学建模竞赛培训活动的实际需要,在一版的基础上做了修订。第二版仍然保持了一版内容系统、方法全面、案例新颖和实用性强的特色,突出体现了“广、浅、新、用”的现代应用科学教育的特点。《数学建模方法及其应用(第2版)》主要内容包括初等分析、微分方程、差分方程、插值与拟合、层次分析、概率统计、回归
该教程共包含10章内容:前8章属于数学建模部分,第9章主要叙述如何写好一篇数学建模竞赛论文,第10章介绍了数学建模竞赛中常用的数学软件以及一些编程技巧。数学建模部分包含了数学建模竞赛常用的数学知识点,主要有规划理论及模型、图论模型、常微分方程、线性回归分析,决策分析、排队论、多元统计分析、算法基础等内容。该教程适合各类
《符号逻辑讲义》是当代逻辑入门课程的教材,内容大约是.阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生,也可以把它当作课外读物。 无论在国内还是国外,可用于一阶逻辑课的教材不少,导论性的教材更多;但两类教材的脱节是个老问题。国外一些教材在导论性
《普通高等教育十一五国家级规划教材·数学建模》是普通高等教育“十一五”国家级规划教材,是在第一版的基础上修订而成的。主要内容包括绪论,数学与现实世界,建模方法论,量纲分析法,机理分析建模法,基于数据的建模方法,模拟模型,模型范例,科技论文与学术讲演,还在附录中补充了一些应用范例。《数学建模》是以介绍数学建模的一般方法为
全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学理论,为近似推理提供了一种可能的框架;系统论述了Pavelka逻辑并扼要论述了抽象逻辑。
本书第一版于1991年在南京大学出版社出版,当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材,并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用,而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进,可以说是成功地实现了当初撰写之目标,因