constructive proof 中文意思是什麼

constructive proof 解釋
構造性證明
  • constructive : adj. 1. 構成的，建設（性）的；積極的。2. 【法律】推定的；解釋（性）的。3. 【數學】作圖的；【物理學】相長的。adv. -ly ,-ness n.
  • proof : n 1 證明；證據；【法律】證件；【法律】（口頭或書面）證詞，證言。2 檢驗，考驗；驗算；檢定的品質[強...
  1. A constructive proof of existence theorem for rational form

    利用羅爾定理進行構造性證明的嘗試
  2. The research of the students " participating founded on the profound and comprehensive basis. communicative teaching theory, interactive teaching, constructive teaching theory and developing theory provided the students with the theoretical proof

    學生主體參與的研究有著廣泛而深厚的基礎，交往教學論、互動主義教學論、建構主義理論、發展性教學論都先後為學生主體參與提供了理論依據。
  3. Because mathematics philosophy is largely the core of the philosophy of mathematics education, we briefly consider the essence of mathematics combined with the constructivism ernest creates the social constructive philosophy of mathematics going with the theory of mathematics pattern, we point out the development of mathematics is a constructive process of quantification pattern its accuracy should be identified by the mathematics community concepts, formulas, theorems and methods are all patterns the study of current philosophy reveals the definite philosophy of mathematics has turned into empirical and quasi - empirical philosophy the philosophy determines there are not only observing and proof, but understanding, analyzing, guessing, cooperation and communication in the learning community in the progress of mathematics development

    由於建構主義受到了多種哲學思潮的影響，我們必須堅持辯證唯物主義的觀點，對它進行批判與分析，否則就容易走向極端，導致相對主義和唯心主義。由於數學哲學的研究在很大程度上占據著數學教育哲學的核心位置，我們結合建構主義對數學本質作了簡單的考察。英國學者歐內斯特創立了社會建構主義數學哲學，結合數學模式論，我們指出數學的發展是量化模式的動態建構過程，它的準確性要經過數學共同體的認同。
  4. Theoretical proof and simulation suggests that this constructive function has stronger heuristic power, and has better effectiveness for scheduling dag a task - replication based heuristic static scheduling algorithm is also proposed ( namely processor pre - allocation algorithm for dag tasks, ppa ), utilizing the aforementioned heuristic function aimed at rtrpmt

    通過理論證明與模擬實驗表明：本文構造的啟發函數具有較強的啟發能力，對dag圖的調度具有較優的效果。利用本文所構造的啟發函數，針對相關周期性多任務，提出了一種基於任務復制的啟發式靜態調度演算法（ dag任務圖的處理器預分配演算法ppa ） 。
  5. Two constructive methods of auxiliary functions in the proof of differential intermediate value propositions

    微分介值性命題證明中輔助函數構造兩法
分享友人
分享到 Line

分享到臉書