formal science 中文意思是什麼

formal science 解釋
形式科學
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • science : n 1 科學；科學研究。2 （一門）科學，學科。3 自然科學。4 學；學問；〈古語〉知識。5 （拳術、馬術等...
  1. 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

    本文認為，佩拉所倡導的科學修辭學戰略的目的在於，通過修辭學語境空間來拯救或重塑理性，以達到理性的「理由」和修辭學的「有理由」的內在統一，從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限；同時，也為走出形式邏輯的預設和非理性主義困境提供了一條出路，並從科學論述的境遇、選擇、辯護中，給出戰略性的心理定向和更廣闊的語言創造的可能空間，為當代科學哲學的發展注入新的活力。
  2. This paper is an academic thesis about remote sensing information model and geographical mathematics. the author have studied a lot of remote sensing information models and geographical image information models. according to geographical regularity the author advance non - linear mathematics method which is geographical complex phenomena both of certainty and uncertainty to combine in an equation. that is from formal logic inferring to dialectical logic calculation. moreover, it is from abstract thinking to both of abstract and visualized thinking, which is image joining equation calculated. make a suggestion that the geographical parameters are different from the physics variables. thus initiate based on geographical science for mathematics. there are 4 parts as follows in this paper : the regularity of geographical phenomena ; general equation of remote sensing information model ; geographical parameters and geographical indexes ; significance of geographical image information models

    從大量的遙感信息模型，地理圖像信息模型的實踐中，提出符合地理科學自身規律的非線性數學方法，解決了確定性與不確定性結合的宏觀復雜性問題。從形式邏輯推理發展到辯證邏輯的計算，從抽象公式的計算發展到抽象思維與形象思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別，從而開創了以地理科學為背景的數學研究，進而為發展地理數學奠定了基礎。
  3. This kind of variety has brought positive influence on the science information communication. second, the network publishing changes the role of the formal and informal processes. both of them become more important than before

    第二，網路出版對科學情報交流過程產生了影響，使「非正式」過程在科學情報交流中的地位得以大幅度提升，並給「正式」交流過程增添了新的動力。
  4. The creative standpoint of this paper is to build a model to describe the science information communication system in the network - publishing environment. then it systematically analyzes the impact of network publishing on the science information communication, including : first, the development of the network publishing thoroughly changes the basic concepts of traditional science information communication. the boundary of formal and informal processes becomes obscure, and the channels of the informal process have changed

    本文的創新點在於構築了網路出版環境中科學情報交流系統的模式，在對該模式的直觀描述的基礎上，系統地分析了網路出版對科學情報交流各個方面的影響，包括：第一，網路出版的發展徹底改變了傳統科學情報交流體系中概念區分的依據，使正式交流和非正式交流的界限模糊了，非正式交流的渠道發生了變化，這種變化帶來了積極的影響。
  5. It has also played an important role in the practice, which makes it necessary for such units as presses, libraries and information centers to provide services with publications. according to this theory, people divided the science information communication into two processes, the formal one and the informal one

    該理論對實踐的作用也是巨大的，使藉助于科學文獻提供服務的單位，包括編輯、出版、印刷、發行單位和圖書館、情報中心等單位一直在科學情報交流系統中占據著不可替代的位置。
  6. The courses are divided into steams of study ( business or science ). there are no end of course formal examinations involved rather students are assessment throughout the period of study

    每年培養出100多萬有技能的學生走上社會或者進入大學， tafe學生和大學學生的比例為7 ： 3 。
  7. But the more i learned about coding the more i realized how important formal training in computer science would be

    但我學愈多電腦編碼，我愈了解電算科學的正規訓練有多重要。
  8. Although hermeneutics was indeed a distinct method, dilthey emphasized that it shared many features with the method of formal science

    雖然詮釋學的確是一種獨特的方法，狄爾泰強調它參與了形式科學（研究）方法的許多特徵。
  9. Materialist dialectics and sophisticated essential distinction are the most brillant sophisticated often reflect the paradox in formal logic, it used the field that modern science cannot define

    唯物辨證法和詭辯的根本區別最高明的詭辯往往就體現在形式邏輯的悖論，它利用了現代科學無法確定的領域。
  10. The formal, guiding principles of a discipline, school, or science

    基本原理一個學科、學派或一門科學的正統的、起指導作用的原則
  11. Integration of the five element theory with the formal structure of systemic science

    系統科學的形式結構方法與五行學說的融合
  12. Par is a practical environment for formal development of algorithmic programs, which is proposed by professor xue. it is based on the research of the projects supported by the national natural science foundation of china

    薛錦雲教授在國家863和多項國家自然科學基金的資助下，根據多年從事演算法程序設計理論研究的成果，提出了一種實用的開發和證明演算法的方法? ? par 。
  13. Research in this paper is in the context of the nation ' s natural science fund project " the research of applied formal develop methods and their tools " which are charged by professor xue. this research realized a programming icai platform to help learner develop normative and high - quality program

    本文以中科院博士生導師，江西師范大學薛錦雲教授承擔的兩個國家自然科學基金高技術探索項目：實用的軟體形式化方法和高可靠性java程序開發方法研究為背景，初步實現了一個能夠幫助學員規范地設計出高質量程序的程序設計智能教學軟體平臺。
  14. It was accorded formal university title and status through legislation in 1994. the university now offers 39 undergraduate programmes, 10 taught postgraduate programmes, and research programmes through its five facultiesschools of arts, business, communication, science and social sciences

    現時，大學的五間學院，即文學院、工商管理學院、傳理學院、理學院及社會科學院，合共提供39項本科課程、十項研究生修課課程以及其他研究課程。
  15. It was accorded formal university title and status through legislation in 1994. it offers 41 undergraduate programmes, 10 taught postgraduate programmes, and research programmes through its six facultiesschools of arts, business, chinese medicine, communication, science and social sciences

    浸會大學有六間學院，即文學院、工商管理學院、中醫藥學院、傳理學院、理學院及社會科學院，合共提供41項本科課程、十項研究生修課課程，以及其他研究課程。
  16. Automata theory allows practice with formal definitions of computation as it introduces concepts relevant to other nontheoretical areas of computer science

    自動控制理論允許執行正式的計算定義，因為它引用了相關的計算機科學的其他非理論方面的概念。
  17. To obtain ideal condition, evolution of yo of each state religion is appearing compelling 3 big trends : it is the abuse that corrects heretofore record of formal schooling to change system of education, the concept that proposes the whole people all one ' s life to learn ; 2 it is to change traditional education to regard passivity body getting a letter as education object, incentive learner is good at applying modern science and technology to become active model body of post a letter ; 3 it is perfect and perfect " couplet learning a company is carried " ( the school, society and family ) organization, found " confluence learning a company " system, aim to get used to prospective society to develop develop high quality person with ability morely

    為了達到理想的境地，各國教育發展正在出現令人注目的三大趨勢：一是糾正迄今學歷化教育制度的弊端，倡導全民終生學習的理念；二是改變傳統教育把教學對象作為被動型受信體，激勵學習者善於運用現代科學技術成為主動型發信體；三是健全完善「學社聯攜」 （學校、社會和家庭）組織，創建「學社融合」體系，旨在適應未來社會發展更多地培養高質量人才。
  18. A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols. in proc. 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols, indianapolis, indiana, june 21 - 24, 1998, http : citeseer. ist. psu. edu clarke98machine. html

    為了驗證更多的性質，我們的公理集中加入了一些新的特性，如動態性，使我們可以推導協議的每個執行步所得到的知識還有秘密性，我們在公理中加入那些處理智能體間共享秘密的公理
  19. In particular, he showed that the subclass of regular languages - strictly locally testable languages, is equivalent to a certain type of splicing languages, called persistent splicing languages, which bridge the gap between mathematical analysis in molecular biology and formal language theory in computer science

    更重要的是，他還證明正則語言中的一類? ?嚴格局部可測語言，與拼接語言（由拼接系統產生的語言）的子類? ?持續拼接語言等價。這就架起了分子生物學的數學分析與計算機科學中形式語言理論之間的橋梁。
  20. This paper ' s research work is an important component of the par method and a sub research ' project of the nation ' s natural science fund project " the research of applied formal develop methods and their tools ". this research ' s goal is to develop an auto program transforming system to transform an apla program to a c + + program

    本項研究作為par方法的一個重要組成部分，也是國家自然科學基金課題「實用的形式化開發方法及其工具的研究」的一個子課題，目標是研製一個自動程序轉換系統，該系統能將用apla語言描述的抽象程序轉換為目前流行的c + +語言程序並直接運行。
分享友人
分享到 Line

分享到臉書