邏輯主語 的英文怎麼說
中文拼音 [luózhǔyǔ]
邏輯主語
英文
logical subject-
The english absolute construction is a kind of absolute construction with logical subject - predicate relation. its concept, composition, grammatical functions and some problems are discussed and analyzed in this article
摘要獨立主格結構是一種具有邏輯主謂關系的獨立結構。本文就其概念、構成、語法功能以及使用須注意的一些問題進行介紹和分析。It ' s the researcher ' s analysis, through discussing some controvertible topics like mass media discourses, family educational principle, religion, and cultural adaptation, the author reinterpret them with post - modernist theory, in order to gain new understanding
這一部分是研究者的分析,主要通過對幾個領域里頗有爭議的話題進行后現代式的深入解讀,包括媒體話語解構、家庭的教育法則、宗教的后現代認識、 「文化適應」邏輯的再認識。Therefore different modes of thinking would lead to some illogic and ambiguous sentences in chinese language
由於漢語重整體思維和主體思維的傾向,有時會出現一些似乎不合邏輯或有歧義的語言現象。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
本文認為,佩拉所倡導的科學修辭學戰略的目的在於,通過修辭學語境空間來拯救或重塑理性,以達到理性的「理由」和修辭學的「有理由」的內在統一,從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限;同時,也為走出形式邏輯的預設和非理性主義困境提供了一條出路,並從科學論述的境遇、選擇、辯護中,給出戰略性的心理定向和更廣闊的語言創造的可能空間,為當代科學哲學的發展注入新的活力。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一歸結原理進行了初步探討The merits of the inclusion of quantitative methods based on logical empiricism for explicit definition of input errors and uncertainty, approaches to quantisation of input data, and optimisation of outputs are contrasted with soft systems approaches that incorporate more linguistic and information theory into landscape analysis
為輸入的錯誤和不確定,輸入的數據的量子化的方法和輸出的最佳化的明白定義以合乎邏輯的經驗主義為基礎的數量方法的包含的功績與將較多的語言學和傳播理論納入風景分析的軟性系統方法一起對比。Primary policy of design is sorting and distilling logic function block ? lfb first, then choose the language of configuration and lfb development for msr
設計的主要方針是首先分類和提取出邏輯功能模塊lfb ,接著選擇msr使用的配置及lfb開發語言。The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算,以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc , dfo , dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見,本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。Because period narrow band signals are the main part of background noises, this thesis uses hardware description language to design a multi - band finite impulse response filter ( fir ) and downloads the program into filed programmable gate array to eliminate the period narrow - band interferences in the background noises
3 )在現場環境中,背景干擾主要是周期性的窄帶,本文利用硬體描述語言( vhdl )設計了一個多帶fir有限沖擊響應濾波器。應用到可編程邏輯器件中,消除了背景噪聲中的周期性干擾,為信號的進一步處理提供盡可能幹凈的信號。Being repaired at that moment, the library can ' t be opened to the students
分詞的獨立結構,在這種形式中,分詞有自己的邏輯主語。這種主語常是名詞或代詞主語。Because we have lived with the girl for 5 years, we all know her very well
三、現在分詞短語在句中可以作條件狀語,其邏輯主語須為句中的主語,該短語相當於一個條件狀語從句。Expression of logical subjects in english patterns
英語句型中邏輯主語的表現形式Western historiography originates from its metaphysical academic tradition and logicism while chinese non - logicism or historicism make comments according to certain affairs and focuses on narrating, verifying and understanding, which is strikingly different from western historiography, which seeks for the study of fixed knowledge
西方史學之富有理論源於其形而上學的學術傳統與邏輯(實質)主義的運思理路,而漢語文思考的非邏輯主義(或曰歷史主義)使其不離事而言理,即體用不二,道器合一,史學重在述事、征實與會通,這與西方史學追求確定性知識的探究形成鮮明對照。We shall see how a speech channel be conveyed as a series of amplitude values, each value being represented as a sequence of 8 binary digits
被省略的邏輯主語多數情況下指的是主句的主語或逗號前整個句子的含義,點也有少數列外。具體情況以後結合課文講解。Moreover criminal definition of the unit adjusting, in the illegal action definition of unit the logical subject, the unit seeies the benefit, unit entire volition, the problems such as unit duties of member and so on have been carried on the detailed directions
並對單位犯罪的定義、單位不法行為定義中之邏輯主語、單位謀取利益、單位整體意志、單位成員的職務性等問題進行了詳細的說明。He is a member of the chinese calligrapher association, a judge of creation of sichuan provincial calligrapher association, the dean of calligraphy dept. of chengdu hanlin chinese calligraphy and painting college, and a professor of arts dept. of chinese logical and linguistic correspondence university
現為中國書法家協會會員、四川省書法家協會創作評審委員、四川詩詞協會會員、成都翰林中國書畫藝術學院書法系主任、中國邏輯與語言函授大學藝術系教授。In the history of the axiology research in china and the west, there are the general philosophy method, the epistemology method, the method of biology or psychology, the method of sociology or history, and the method of logical and linguistic analysis, etc. of course, we can use them comprehensively
在中西價值論史上,主要有一般哲學方法、哲學認知論方法、生物學或心理學方法、社會學或歷史學方法、邏輯與語言分析方法等,當然不排除對它們的綜合運用。In the history of the axiology research. htm in china and the west, there are the general philosophy method, the epistemology method, the method of biology or psychology, the method of sociology or history, and the method of logical and linguistic analysis, etc. of course, we can use them comprehensively
在中西價值論史上,主要有一般哲學方法、哲學認知論方法、生物學或心理學方法、社會學或歷史學方法、邏輯與語言分析方法等,當然不排除對它們的綜合運用。Look beyond the occasional clumsiness of grammar or punctuation to find the text ' s arguments, ideas and humour, its internal logic, thematic coherence and linguistic cohesion ; keep an eye out for the notions that are universally understandable, and the ones that are culture - bound and may present potential interruptions to the smooth linkage of ideas in the target language
撇開偶然出現的語法或標點的不當之處,重點去把握文章的論點、思想、感情、內在的邏輯、主題之間的一致性和語言的組織;特別要注意那些被廣泛認可的觀點,以及在目標語言中與文化有關的、可能破壞主題連貫性的部分。This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx
本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究,主要的創新性工作包括:定義了邏輯公式及關系公理描述原語的ontology語義: web環境中用標記語言描述對象和資源,為了在語義化web上表示知識、邏輯公式、關系公理和規則,需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。分享友人