證明論語義 的英文怎麼說

中文拼音 [zhèngmínglúnyǔyì]
證明論語義 英文
logical harmony
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  • 語義 : semanteme; semantics
  1. It aims at specifying the potentials of the theory in english reading learning by analysis and exemplification

    本文通過分析、舉例論證等方式，說明了詞匯銜接理論對英語閱讀學習的指導意義。
  2. In my opinion, the strategy of pera ' s rhetoric of science aims to, through the rhetorical context, save and rebuild the rationality and achieve the inner unity of rational reason and rhetorical persuasion and breaks thoroughly the rigid bounds both between the logical demonstration and the argumentative persuasion and between the static norms and the dynamic exchange evaluation. at the same time, it also provides a way in which some dilemmas such as formal logical presuppositions and irrationalism can be solved, gives the specific strategically psychological direction and much broader room for language creation to bring a fresh motive power for the development of contemporary philosophy of science

    本文認為，佩拉所倡導的科學修辭學戰略的目的在於，通過修辭學語境空間來拯救或重塑理性，以達到理性的「理由」和修辭學的「有理由」的內在統一，從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限；同時，也為走出形式邏輯的預設和非理性主義困境提供了一條出路，並從科學論述的境遇、選擇、辯護中，給出戰略性的心理定向和更廣闊的語言創造的可能空間，為當代科學哲學的發展注入新的活力。
  3. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  4. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  5. About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman

    在理論上，本文引入了理想的語義，並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義，同時使用理想的命題邏輯公式表示安全協議的秘密性；另外，本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明，原有的證明是不完善的。
  6. Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution

    第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  7. Therefore, the formal semantic study of uml is helpful for the improvement of the clarification, equivalence, consistency, and extendibility of the language, thus offers a powerful theoretical tool for the validity proof, transition of the model and the consistency check of the modeling tools supporting uml

    因此，對uml進行形式語義研究，對增進該語言的清晰性、等價性和一致性、可擴展性是十分有幫助的，為模型的正確性證明、轉換以及支持uml建模工具的一致性檢查提供了有力的理論工具。
  8. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  9. To start with, the thesis mainly discusses the reading comprehension, from the definition of reading and reading comprehension to three different reading models, which shows that the most efficient reading model is interactive reading model, in which schemata knowledge is not only necessary but also important ; after the documentation, the thesis lays its foundation on schemata theory, which involves the different definitions of " schema ", the classification of schemata knowledge and its function in reading comprehension, from which the conclusion is drawn that during the reading, students can use different types of schemata knowledge according to the their language proficiency and different reading materials ; in the following part, the thesis briefly states the relationship between the reading comprehension teaching and the schemata theory, from which i gain inspiration and find out the applications of schemata theory in english reading comprehension teaching in senior high schools ; and at the same time, i offer a reading teaching model of a text, which shows how to use schemata theory in reading comprehension teaching ; in the last part of the thesis, an experiment is done between two classes using two different teaching methods, one is traditional, the other is new, that is, the teaching method that uses schemata theory, which is proved to be far better

    論文首先探討了閱讀理解，從閱讀及閱讀理解的定義到三種不同閱讀模式等方面的探討，得出有效的閱讀模式是「相互作用模式」 ，該模式的運行離不開圖式知識的運用；然後，本文介紹了圖式理論，從圖式的不同界定到圖式的分類以及不同圖式知識在閱讀理解中的不同作用，得出：在閱讀中，讀者根據自己的語言水平和文章的難易程度的不同，調用不同的圖式。在介紹完了圖式理論之後，本文還簡述了圖式理論與閱讀教學的關系，探討了圖式理論對高中英語閱讀教學的幾點啟示及其啟示下的具體運用方法，並提供了一篇課文的閱讀教學模式，具體展示了在圖式理論的指導下，如何上一堂閱讀課；在文章的最後部分，筆者在自己所帶的班級中利用將近一年的時間作了一個實驗：在兩個班分別使用不同的教學模式，一個是傳統的教學模式，另一個是圖式理論指導下的新的教學模式。實驗結果證明，新教法的教學效果要好的多。
  10. Vocabulary size has always been a big concern for the english learners. it is also one of the most important parameters to measure ones english level. english learners make every effort to build up their vocabulary. in this paper, one aspect of vocabulary, that is word association knowledge has been proved to facilitate vocabulary retention, to enlarge ones vocabulary size. therefore, both the width and depth of vocabulary should be integrated into vocabulary teaching

    詞匯量的大小一直是英語學習者所關心的，也是衡量英語學習者英語水平高低的重要指標之一，所以英語學習者也嘗試各種方法來擴大詞匯量.本文討論的是詞匯的一個方面，即詞匯聯想義知識在詞匯記憶、擴大詞匯量方面的作用.通過實驗證明詞匯聯想義知識與詞匯量的相關性較高，因此，詞匯教學過程中應該引導學生同時開發詞匯的深度及廣度
  11. Through such practice and academic approach, we draw the initial conclusion that * the preschooler language acquisition environment that integrates seeing, listening and doing is effective for enhancing the interests of preschoolers towards language acquisition, enabling them to become active constructors of language and sense, and cultivating and promoting the language acquisition ability of preschoolers, which lays a theoretical and practical foundation for verifying this conclusion through the comparative experiments

    在這樣的實踐和理論探討中，我們得出： 「 『視、聽、做』一體化的嬰幼兒語言習得環境，對提高嬰幼兒語言習得興趣，使嬰幼兒成為語言意義的主動建構者，培養和提高嬰幼兒語言習得能力具有明顯效果」的初步結論。為進一步從對比實驗的角度驗證這一結論奠定了相應的理論和實踐基礎。
  12. First, the basic raster graphics algorithms for drawing 2d primitives are introduced, including edge coherence and the scan - line algorithm of triangle, brush algorithm of thick line ( and its improved method ) and midpoint circle and ellipse algorithm ; and the current situation of the advanced algorithms is also involved. second, the mapping of high level programming language to hardware description language is described, some principles of the conversion of algorithm to state machine are proposed also ; then, the implementation of basic graphics in hardware is discussed in detail, the state machines are drawn in the paper, and the interfaces of hardware are defined, block diagrams too, and the advanced algorithm of conic is proved ; finally, some issues about test are described, the results of simulation and synthesis are given in the last, and some detailed data are displayed in the appendix

    首先介紹了現有的基本圖形生成演算法，包括三角形邊相關掃描演算法，寬直線的線刷子演算法及其改進和圓形、橢圓的生成演算法，同時介紹了加速演算法的研究現狀；然後，討論了高級語言描述到硬體描述語言的映射，提出了演算法到狀態機抽象的規律；接著具體討論了基本圖形的硬體實現，給出了各演算法的狀態機圖，介面定義和實現框架，並且從理論角度給出了二次曲線加速演算法的證明：最後採用軟體工具進行測試驗證，給出了模擬、綜合實現的結果，並在附錄中有詳細的實驗結果數據。
  13. Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed. the syntax and semantics of lp ( x ) are discussed. the soundness theorem is proved

    四、格值邏輯系統的研究建立了基於格蘊涵代數的格值命題邏輯系統l試x ） ，並討論了它的語法和語義問題，證明了可靠性定理。
  14. Presenting optimization algorithms for extended stga extending the syntax of the script language to definite the verification problem, and implementing the compilation and stga generation module for this language ; incorporating the module with the core verification algorithm ; demonstrating the validation and analyzing the performance of the tool with some real - world examples

    ?擴充檢測問題的定義語言?腳本語言的格式，使用sml語言實現了腳本語言的編譯和擴展stga圖生成模塊，並將該模塊和檢測演算法核心連接，實現了整個工具。論文還結合應用實例證明了擴展工作的有效性並分析了工具的性能。
  15. This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies, and defines the notions in the iterative relaxation method formally. the program theories about the iterative relaxation method and its improvement are investigated, whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices, and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement

    本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於證明與靜態、動態數據依賴關系有關的程序性質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
  16. As the international communication becomes more and more frequent in the daily life, learning and mastering english is the requirement for the talents in the various walks of life. the aim of teaching english in middle schools is not only to cultivate the students " four skills of it - listening, speaking, reading and writing. but also to help the students gain the base for the further english study in the future. the model opposing to of senior english teaching analizes the present foreign laguage teaching siuation in middle schools in china, especially in the towns and the reasons of that. it also analizes the advantage and disadvantage of the new textbooks and the use of it. and then, after studying the syllabus, the teaching reference books, the researcher puts forward a model of senior english teaching in form of her own foreign language teaching opinions, teaching principles. teaching techniques and teaching effects which are based on the advanced teaching methods, the models of english teaching abroad and at home and her ten - year expeience of teaching english in senior school. through the experiment in education, the model is proved effective. the success in the experiment shows that the model is scientific and practical. thus it provides an effective model of teaching english which will improve the situation of foreign language teaching in china

    高中英語逆向教學模式分析了我國基礎外語教學特別是農村中學及城鎮中學的外語教學現狀及其產生的原因和新教材的特點及使用情況，在仔細研讀教學大綱及教師參考書的基礎上，總結高中十年的英語教學實踐經驗並學習借鑒國內外先進的教學思想、教學方法、教學模式等，從教學理論、教學原則、操作策略及教學效果等方面來構建一個適合我國基礎外語大班教學實際情況的教學模式，並通過教學實驗加以驗證。實驗的成功表明了該模式的科學性和可行性。因此，該課題既具有理論意義，又能用來指導實踐，為我國的外語教學提供了一條科學、有效的高中英語教學模式，從而改善我國「費時多、收效低」的外語教學現狀。
  17. Actually, a variety of pre - communicative approaches, inductive or deductive, have dealt seriously with language use and practice, but no one alone has succeeded in doing so due to their individual partialness and narrowness resulting from their adoption of either empiricism or rationalism only

    而實踐證明，各種教學法，無論它屬于歸納教學法還是演繹教學法，不管它是建立在經驗主義之上或理性主義之上，都只是從不同的側面強調了語言的使用。
  18. Finally, from the point of teaching, among different complex factors, this paper focuses on the performances and functions of context, which affects the comprehending of object utterance. from both extra and inner context, this paper, using the middle school texts as language materials, analyzes the influence of verbal context, time and place of pragmatics, speech style and the background knowledge of object utterance, culture surroundings, nation psycho and so on, upon the comprehending of utterance. it concludes the basic features and rules of context adaptation, and then finds out the significance of context adaptation to utterance comprehending and chinese teaching

    最後，本著以教學為出發點的原則，在紛繁復雜的語境構成因素中，本文著眼于語境在理解中的活動形態和功能，從外顯性和內隱性語境兩個角度，以中學語文課文為語料，分析上下文、語用的時間、地點、話語語體以及主體的背景知識、文化環境、民族心理等因素對話語理解的影響，說明語境適應的基本特點和規律，論證語境適應規律對話語理解、對語文教學的重要意義。
分享友人
分享到 Line

分享到臉書