mechanization of mathematics 中文意思是什麼

mechanization of mathematics 解釋
數學機械化
  • mechanization : 機動化
  • of : OF ＝Old French 古法語。
  • mathematics : n 數學。 ★通常作單數用，帶有「計算能力」意義時，作復數用，如： His mathematics are not good 他不...
  1. The core of the mathematics mechanization theory is algebraization and further mechaiza - tion

    數學機械化思想的核心是代數化進而機械化。
  2. 6 wu w t. basic principles of mechanical theorem proving in geometries. volume i : part of elementary geometries, beijing : science press, 1984 ; springer 1994. 7 wu w t. mathematics mechanization

    2提供了一種基於吳方法的增元消元法的求解方程組獨立個數的數學新思路，不僅可以被數學領域而且可以被工程領域里的研究人員所借鑒。
  3. This argument can be exemplified by the fact that excellent thinking and methods and handy arabic numbers were not totally introduced into china during the introduction of the western mathematics, while the chinese - style writing numbers downward from the top was still adopted ; that good thinking and approaches in the chinese mathematics like thinking and approaches via mechanization were not further developed and enhanced during the excavation and arranging of the chinese traditional mathematics

    如在引進西洋數學時，沒有把西洋數學中優秀的思想方法和便於書寫的阿拉伯數碼全部引進來，而是採用中文數字的豎寫形式；在挖掘、整理中國傳統數學時，沒有把中國數學中好的思想方法，如機械化思想方法進一步發揚和推進。
  4. The mathematics - mechanization method is applied the field of differential equations. many algorithm for constructing solitary wave solutions for a class of nonlinear wave equations are given, and implemented in a computer algebraic system, such as the hyperbolic tangent function method and the hyperbolic function method etc. exact solitary wave solutions of a great deal of nonlinear equations are gained

    將機械化數學方法應用於偏微分方程領域，建立了構造一類非線性波方程的精確孤立波解的許多演算法，如，雙曲正切函數展開法，雙曲函數方法等，並在計算機數學系統上加以實現，因而推導出了一批非線性波方程的精確孤立波解。
  5. Traditional mathematics of china and mathematics mechanization

    中國傳統數學與數學機械化
  6. The mechanical thought of mathematics in ancient china and wu wen - jun ' s work about mathematics mechanization

    中國古算的程序化思想與吳文俊的數學機械化工作
  7. 11. 50am lecture by professor wu on " from ancient chinese traditional mathematics to modern china s mathematics mechanization " 12. 40pm presentation of souvenirs

    上午11時50分吳文俊教授主講「由中國的傳統數學智慧至現代中國數學機械化的演變」
  8. The present paper intends to construct a systematic approach to search a type of particular exact solutions to nonlinear wave equations by utilizing the theory of mathematics mechanization proposed by famous mathematician wu wentsun. by the approach, two classes of important nonlinear coupled scalar field equations arising in the field of nonlinear physics are studied systematically and a batch of exact solutions containing steady and diverging solitary wave solutions and periodic ones are obtained, which are helpful in clarifying the movement of matter under the nonlinear interactiveties and play an important role in sicentifically explaining of the corresponding physical phenomenon

    本文將我國著名數學家吳文俊的數學機械化思想應用於非線性物理領域，給出了構造非線性波方程組一類特殊精確解的一種統一演算法，利用這種演算法系統地研究了出現于非線性物理領域中的兩類重要的非線性耦合標量場方程組，獲得了這些方程組一批精確解（包括穩定和發散形式的孤立波解以及周期解） 。
  9. Mathematics and the mechanization of human mental work

    數學與思維機械化之路
  10. This article recommends three kinds of criterion on judging whether the hydropower construction design or optimizing is reasonable, that is " schedule, quality and cost ", it describes mathematics mode and optimizing of concrete mechanization construction system and provides a new method of " combined management of schedule, quality and cost ", and founds the relations of distribute quotiety of the working procedure unit, quality unit, and cost. in the field of management, it indicates the localization of parlance " consumer is the god ", and advances the relations of previous and descend working procedure are the relations between consumer and user. their relations are new relations of serve mutually and create con dition for each other ' s

    本文介紹了評價水電工程施工系統設計或優化合理與否的三種標準為進度、質量和成本，描述了大壩砼機械化施工系統的數學模型及優化，提出了「進度、質量、成本聯合管理」的新方法，建立了工序單元、質量單元和成本費用之間的分配系數關系，在管理方面，指出「用戶就是上帝」這種說法的局限性，提出了上道工序和下道工序之間的關系為顧客和用戶之間的關系，它們是互為對方服務，互為對方創造條件的新型關系的觀點和方法。
  11. Mss consists of mathematics & applied mathematics dept., information & computing science dept., probability & statistics dept. and college mathematics dept. with ten subject orientations : algebra, function theory, computing science, numerical solution of differential equation, functional differential equation and its application, applied probability and statistics, mathematics mechanization, cad, coding security and financial mathematics

    有代數、函數論、計算數學、微分方程數值解法、泛函微分方程及應用、應用概率統計、數學機械化、計算機圖形處理、密碼安全、金融數學十個學科方向。
分享友人
分享到 Line

分享到臉書