当前位置:首页 > TAG信息列表 > 引论
引论
-
数理逻辑引论与归结原理
王国俊著2003 年出版216 页ISBN:7030115791本书分4部分,第一部分讲述与演算有密切关系的Boole代数理论,并以此为工具证明逻辑演算理论中的两个完备性定理;第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论;第三部分清楚而严谨地讲述归结原理理论,给...
-
现代分析及其应用引论
古志鸣编2004 年出版186 页ISBN:7030120094本书主要介绍流形上的微积分及其应用。本书1~3章介绍了集合论、代数学、欧氏穿间的微分学等基础知识;4~6章介绍了流形的概念,讨论了流形上的微分学和积分学的基本理论;7~9章介绍了代数拓扑学和微分拓扑学的初步知...
-
统计学方法与数据分析引论
(美)R.L.奥特(R.Lyamn Ott),M.朗格内克(Michael Longnecker)著;张忠占等译2003 年出版1304 页ISBN:7030108159