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

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

逻辑与数学逻辑论

逻辑与数学逻辑论

现代逻辑与传统逻辑

现代归纳逻辑与概率逻辑

半符号逻辑 传统逻辑与符号逻辑的桥梁

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

新型量子逻辑 确定性逻辑的超越

逻辑斯谛 又称，“数理逻辑”的二值数学

现代逻辑学讲义 数理逻辑

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。