当前位置:首页 > 名称
大约有4,000项符合查询结果项。(搜索耗时:0.0181秒)
为您推荐: 全国电气信息结构 文件编制和图形符号标准化技术委员会 全国技术产品文件标准化技术委员会 全国工业机械电气系统标准化技术委员会 全国锅炉压力容器标准化技术委员会 全国文献工作标准化技术委员会译 全国食品工业标准化技术委员会秘书处
-
-
符号计算在可积系统中的应用
魏含玉著2019 年出版246 页ISBN:9787030592194本书主要基于李代数上的符号计算,用不同的方法研究可积与超可积系统的可积耦合,利用源生成理论研究其自相容源和守恒律,基于分数阶微积分理论研究分数阶的可积系统与超可积系统,最后研究孤子方程的拟周期解。本...
-
-
-
符号逻辑 语法语义和证明
(美)大卫·W.安格勒著;陈素艳,张绣蕊译;魏屹东审校2016 年出版333 页ISBN:9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、...
-
紫外-可见吸收光谱分析技术标准汇编
中国标准出版社编2013 年出版560 页ISBN:9787506673587本汇编是《分析测试技术系列标准汇编》中的一册,按照全国分析检测人员能力培训委员会(NTC)通用理化性能分析检测能力的技术分类,由全国分析检测人员能力培训委员会和中国质检出版社共同编写而成,可作为全国分析...
-
-
-
-
学科分类