检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]陇南师范高等专科学校数学系,甘肃成县742500
出 处:《安阳工学院学报》2013年第2期89-90,共2页Journal of Anyang Institute of Technology
摘 要:每一个正确的数学演绎证明的逻辑结构,就是一个逻辑定理;反之每一个逻辑定理反映了一个正确的数学演绎推理规则。数学分析也不能例外,因各门学科都有自己的特点,所以运用这些逻辑定理的侧重点也不一样。因此,通过实例来探讨选择公理在数学分析演绎推理过程的重要作用的。Each correct mathematical proof with the deductive logic structure is a logical theorem; Conversely every logical theorem reflects a correct mathematical deductive inference rule. Course of mathematical analysis is no exception, because each discipline has its own characteristics, the use of the focus for the logic theorem is not the same. This paper discusses the important role of axiom of choice in deductive reasoning process of the mathematical analysis through the example of the axiom of choice.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.49