本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示法的结构唯一性及其强大的表达功能,基于中国表示法探究了若干逻辑基础问题,获得了若干创新性成果。
本书是Fred等三个美国流行病学模型专家、数学家合著的Mathematical Models in Epidemiology一书的中译本。内容分流行病学的基本概念(包括各种类型的仓室模型、地方病模型、流行病模型、异质混合模型、媒介传播的疾病模型),特殊疾病的模型(包括结核病模型、艾滋病病毒/艾滋病(HIV/AIDS)模型、流感模型、埃博拉模型、疟疾模型、登革热模型与寨卡病毒模型),进一步概念(包括年龄结构和空间结构的疾病传播模型等)和展望未来四个部分,另加三个附录。
本书介绍了验证、确认和不确定度量化的定义、研究范畴和主要方法途径。并对不确定度和误差中的重要内容进行了具体讨论,归纳了误差和不确定度的来源。从代码验证和解验证以及近似计算模型的代理模型方法,讨论了输入不确定性通过计算模型的传播问题,以及相应敏感性分析内容。从而进一步对模型确认和预测相关的一系列问题展开介绍。
《MATLAB数学建模方法与应用》主要介绍常用数学建模方法及其MATLAB实现与应用,内容包括MATLAB数组运算、程序设计、绘图、数据管理、符号计算、数值计算、多项式与插值拟合、常用统计及优化建模方法与MATLAB求解、人工神经网络方法、排队论方法、以层次分析法和模糊评价法为代表的多指标综合评价方法、MATLAB图像处理基础、Simulink建模与仿真、全国大学生数学建模竞赛真题解析等内容。同时,为便于学习,本书免费提供配套的所有数据及源程序。《MATLAB数学建模方法与应用》可以作为
本书利用数学建模方法讨论了人类社会和自然界中的33个话题,既包括对经典话题的全新阐释,也包含对若干全新话题的原创研磨,不仅解答了大众对于数学的最常见疑问:“数学有什么用?”更是以高中知识为主要工具、以数学建模为主要载体、以中学生能够理解的方式,展现了数学研究的基本过程和思维方式。33个话题充分体现了数学与生活的密切联系,讲解了数学建模如何有效地解决跨学科问题,如何为生活中的现实需求建立合理有效的模型,如何在设计制造、生物医学、机器学习,甚至在解决社会问题方面大显身手。作者力求将抽象且严密的数学阐