安徽电子信息职业技术学院学报
安徽電子信息職業技術學院學報
안휘전자신식직업기술학원학보
JOURNAL OF ANHUI VOCATIONAL COLLEGE OF ELECTRONICS & INFORMATION TECHNOLOGY
2012年
6期
59-61
,共3页
数学机械化%Mizar 语言系统%形式化数学
數學機械化%Mizar 語言繫統%形式化數學
수학궤계화%Mizar 어언계통%형식화수학
在 Mizar 语言下实现了多元函数的微分,借助其微分建立起欧氏空间中二元函数偏微分定义的新形式,讨论了二元函数偏微分的运算性质及可微.在 Mizar 系统下,首次实现了二阶偏微分的 Mizar 表述,定义的形式简洁明了,并完成了相应的运算公式和定理.
在 Mizar 語言下實現瞭多元函數的微分,藉助其微分建立起歐氏空間中二元函數偏微分定義的新形式,討論瞭二元函數偏微分的運算性質及可微.在 Mizar 繫統下,首次實現瞭二階偏微分的 Mizar 錶述,定義的形式簡潔明瞭,併完成瞭相應的運算公式和定理.
재 Mizar 어언하실현료다원함수적미분,차조기미분건립기구씨공간중이원함수편미분정의적신형식,토론료이원함수편미분적운산성질급가미.재 Mizar 계통하,수차실현료이계편미분적 Mizar 표술,정의적형식간길명료,병완성료상응적운산공식화정리.