吳文俊論數(shù)學(xué)機(jī)械化

書(shū)籍目錄

目錄
綜合報(bào)告與論述
數(shù)學(xué)
數(shù)學(xué)概況及其發(fā)展
關(guān)于教材的一點(diǎn)看法
數(shù)學(xué)與四個(gè)現(xiàn)代化
消除對(duì)數(shù)學(xué)的神秘感
――推薦《數(shù)學(xué)譯林》
對(duì)中國(guó)傳統(tǒng)數(shù)學(xué)的再認(rèn)識(shí)
《現(xiàn)代數(shù)學(xué)新進(jìn)展》序
（陳省身文選、傳記、通俗演講及其它》序
《吳文俊文集》前言
慎重地改革數(shù)學(xué)教育
在（中國(guó)現(xiàn)代數(shù)學(xué)家傳》首卷出版座談會(huì)上的講話
法國(guó)數(shù)學(xué)新派――布爾巴基派
數(shù) 學(xué) 史
中國(guó)古代數(shù)學(xué)對(duì)世界文化的偉大貢獻(xiàn)
近年來(lái)中國(guó)數(shù)學(xué)史的研究
從《數(shù)書(shū)九章》看中國(guó)傳統(tǒng)數(shù)學(xué)構(gòu)造性與機(jī)械化的
特色
我國(guó)古代測(cè)望之學(xué)重差理論評(píng)介兼評(píng)數(shù)學(xué)史研究中
某些方法問(wèn)題
《海島算經(jīng)》古證探源
出入相補(bǔ)原理
《〈九章算術(shù)〉注釋》的序
《〈九章算術(shù)〉與劉徽》序
《秦九韶與〈數(shù)書(shū)九章〉》序
《郭書(shū)春匯校〈九章算術(shù)〉》序
《〈九章算術(shù)〉及其劉徽注研究》序
在中外數(shù)學(xué)史講習(xí)班開(kāi)幕典禮上的講話
數(shù)學(xué)機(jī)械化
《可剖形在歐氏空間中的實(shí)現(xiàn)問(wèn)題》的緒論
印刷電路與集成電路中的布線問(wèn)題
集成電路設(shè)計(jì)中的一個(gè)數(shù)學(xué)問(wèn)題
拓?fù)渲械牧慷扰c能計(jì)算性
博奕論雜談：（一）二人博奕
數(shù)學(xué)的機(jī)械化
幾何定理的機(jī)器證明
數(shù)學(xué)的機(jī)械化問(wèn)題
數(shù)學(xué)中的公理化與機(jī)械化思想
幾何定理機(jī)器證明
初等幾何判定問(wèn)題與機(jī)械化證明
幾何學(xué)機(jī)械化方法及其應(yīng)用
數(shù)學(xué)的機(jī)械化與機(jī)械化的數(shù)學(xué)
《幾何定理機(jī)器證明的基本原理（初等幾何部分）》
的導(dǎo)言
復(fù)興構(gòu)造性的數(shù)學(xué)
分角線相等的三角形
解方程器或SOLVER軟件系統(tǒng)概述
解方程器或SOLVER軟件系統(tǒng)應(yīng)用舉例
解方程器軟件包（EQNS―SOLVER）
附 錄
On the decisionproblemandthe mechanization
oftheorem－proving inelementary geometry
Toward mechanizationofgeometrysome
commentsonHilbert’s“Grundlagender Geometrie’
Someremarksonmechanicaltheorem－proving
inelementarygeometry
Automationoftheorem－proving
Asurveyofdevelopmentsofmathematics
mechanizationinChina
Onthedevelopmentofpolynomialequations
solvinginChina
Polynomialequations－solvinganditsapplications

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    吳文俊論數(shù)學(xué)機(jī)械化 PDF格式下載

---