证明与反驳 数学发现的逻辑 【数理化】

本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。

有限理性下的演化博弈与合作机制研究 【数理化】

本书以演化博弈论中的博弈学习机制和系统演化动态为研究对象，探讨个体策略演化与系统稳定均衡问题，由此寻求各类社会困境博弈中的合作演化机制。内容涉及到到演化博弈论、博弈学习理论、系统演化动力学、合作...

数学 直觉与逻辑的交响乐 【数理化】

本书主要阐明直觉思维与逻辑思维及其与之相应的演绎推理和合情推理方法在数学的发现、发明与研究和创新过程中的交互作用。考察与论证了古今中外一些大数学家的思维方式、研究过程及其结果。...

数字与逻辑的秘密 【数理化】

本书是系列科普读物《幻想数学大战》的一种。讲的是知修大败阿修罗，可自己也受了伤。丽莎为了拯救美丽世界，做了暗黑祭司，不能医治受伤的知修了。前往毛利亚的乔伊等人陷入了逻辑军团的陷阱。知修能拯救丽莎吗...

幻想数学大战 11 数字与逻辑的秘密 【数理化】

本书系趣味性数学儿童读物，巧妙地把数学知识与故事结合起来，是学龄儿童课外学习用书，该书通过有趣的故事情节激发儿童对数学的兴趣，步步深入，循序渐进、轻松易懂，非常有助于激发孩子的阅读兴趣，同时学习数学知......

三十年来的苏联数学 1917-1947 数学基础与数理逻辑 【数理化】

数理逻辑的思想与方法 【数理化】

本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建......

非线性系统手册 原书第5版 混沌，分形，元胞自动机，遗传算法，基因表达式编程，支持向量机，小波，隐马尔可夫模型，模糊逻辑与C++、JAVA和SymbolicC++程序 【数理化】

本书是第五版，共18章。第一章介绍了一维、二维的非线性和混沌特征分析；第二章介绍了时间序列分析；第三章平面自治系统；第四章非线性哈密顿系统；第五章非线性耗散系统；第六章非线性强迫系统；第七章混沌控制；第......

随机模型的密度演化方法 【数理化】

元素的演化和周期律的本质 【数理化】

本书是对化学元素周期律的本质的研究论述。