數學邏輯 的英文怎麼說
中文拼音 [shǔxuéluó]
數學邏輯
英文
mathematical logic- 數 : 數副詞(屢次) frequently; repeatedly
- 學 : Ⅰ動詞1 (學習) study; learn 2 (模仿) imitate; mimic Ⅱ名詞1 (學問) learning; knowledge 2 (學...
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 數學 : mathematics
- 邏輯 : logic
-
Because they are fascinated by mathematics, logic, and science and have taken on the rational madness of their scientific confreres, we read much these days about information theory and its relation to the psychology and composition of music ; about statistical probabilities, stochastics, and the markoff chain and their compositional possibilities, about group and set theory as applied to serial music ; about aleatory and indeterminacy and entropy
因為他們迷於數學,邏輯,與科學,將理智狂當成他們科學同伴;我們最近讀了很多,關于資訊理論及其與心理學及與作曲的關系;關于統計或然率,隨機,及馬可夫?及其譜曲可行性;關于群組與集合理論之應用於系列音樂;關于偶發性,不確定性,與熵Different from the nature beauty and and art beauty, the beauty of math is a kind of rational beauty with briefness, symmetry, unity, abstract, accurate, logic and practice
數學美,是一種區別于自然美和藝術美的抽象美,具有簡潔性,對稱性,統一性,抽象性,精確性和邏輯性,實踐性。Based on field research and the dynamic analysis of remote sensing data of different time ( 1987 tm, 1996 tm and 2000 china - brazil earth resource satellite ccd ), using multi - information of research area ( including data of geology, geography, hydrology, meteorology, economy, human culture and dem ) and existing research results, the dissertation discusses drive factors of desertification and the relationships between drive factors and desertification with the help of gis tool and some mathematical methods such as probability, statistics, curvilinear estimation, logical analysis and analytic hierarchy process
論文在對研究區土地荒漠化現狀野外調研和不同時相( 1987tm 、 1996tm和2000ccd )遙感圖像土地荒漠化信息提取和演變分析的基礎上,結合研究區已有的多元信息基礎資料及研究成果(包括地質、地理、多時期的水文氣象、經濟、人文以及dem數據等) ,運用gis強大的空間分析功能和概率統計、曲線估計、邏輯分析、主成分分析、層次分析等數學方法綜合研究了土地荒漠化與各驅動因子之間的相關關系,揭示了研究區土地荒漠化的主要驅動因素,探討了荒漠化動態演化規律。All science, logic and mathematics included, is a function of the epoch.
所有科學,包括邏輯學和數學在內,都是有關時代的函數。R. cori & d. lascar : mathematical logic ? a course with exercises, part i. oxford university press, 2001
陳慕澤余俊偉:數理邏輯基礎? ?一階邏輯與一階理論,中國人民大學出版社2003 。Which is composed of five parts, as summarized below : the fist part is the analysis on the basic definition of imagined joint offence. to analyze the basic definition of the imagined joint offence is to deeply and thoroughly understand the complex criminal pattern and grasp the fundamental characters accurately, so as to achieve the precise of the conviction and the properness of the sentencing in justice
本文綜合運用了法學、哲學、語言學、邏輯學、社會學等學科的研究方法,並吸收了上述學科領域的優秀理論成果,對想象競合犯的基本概念進行了探索性的解析,對想象競合犯的罪數本質進行了較為深入的理論論證。Gardner defines intelligence as an ability to solve problems or create products that are valued in at least one or more culture settings. his view of intelligence suggests that all people possess at least eight different intelligences which operate in varying degrees. these intelligences as identified by gardner include linguistic intelligence, logical / mathematical intelligence, spatial intelligence, musical intelligence, bodily / kinesthetic intelligence, interpersonal intelligence, intrapersonal intelligence and naturalist intelligence
加德納將智力定義為在特定的文化背景下或社會中,解決問題或製造有效產品的能力,他根據「智力選擇依據系統」 ,經過嚴格論證篩選,提出人類智力至少應包括:語言智能、數學邏輯智能、空間智能、身體運動智能、音樂智能、人際關系智能、自我認識智能和自然觀察智能等8種智能。A. g. hamilton : logic for mathematicians. cambridge university press, 1978
陸鐘萬:面向計算機科學的數理邏輯(第二版) ,科學出版社2002 。Those who are “ numbers and logic smart ” excel at math and science
具有「數理邏輯智能」的人,在數學和自然科學方面表現出有傑出的才能。L. t. f gamut : logic, language, and meaning. the university of chicago press, 1991
李小五:數理邏輯? ?現代邏輯學講義,中山大學出版社2005 。He has an msc in mathematical logic and the theory of computation from bristol university, uk
他具有英國bristol university頒發的數理邏輯和計算理論的理學碩士學位。With the rapid development of semiconductor, digital integrated circuit ( p, memory, standard logic gates, etc. ) and advance computer technology, the various measuring instruments ( virtual instruments ) with the powerful function of pc are produced in different industrial and scientific research fields. as we all known, the traditional instruments are usually built with discrete components and small scale ics, the disadvantages are obvious in system design, debugging and maintenance
隨著半導體技術與數字集成電路(微處理器、存貯器以及標準邏輯門電路等)技術的迅速發展,特別是隨著計算機技術的發展,在工業生產和科學技術研究的各行各業中,人們利用pc機的強大處理功能代替傳統儀器的某些部件,開發出各種測量儀器(虛擬儀器) ,傳統儀器的數字邏輯部分多是採用分立集成電路( ic )組成,分立ic愈多,給系統的電路設計、調試及維護帶來諸多不便。There are many reasons to consider dynamical dark energy as an alternative to a cosmological constant. first and foremost, it is a logical possibility which might be correct, and can be constrained by observation
首先或許亦是最重要的,以物理學來說,以動態黑暗能量來取代宇宙常數在邏輯上是有一定道理的,這些理論亦可以觀測來驗證。This article mainly discusses the enforcement rule and requirement of intelligent teaching system mode based on digital logic course ; discusses how to provide best tactics of teaching means and method by using digital logic course ' s intelligent teaching system ; and how to make use of intelligent teaching system ' s intelligent tools based on digital logic course, to teach digital logic course, so as to further improve teaching quality and teaching level
文章主要探究了基於數字邏輯課程的智能教學系統模型的實施、規則和要求;探究了如何利用數字邏輯課程的智能教學系統提供最佳的教學手段和教學方法的策略,以及如何利用基於數字邏輯課程的智能教學系統的智能工具,對數字邏輯課程進行教學,以達到進一步提高教學質量和教學水平的目的。Piaget has made significant contributes in the psychology of children ' s cognition as follows : first, he produces a complete theory of children ' s cognition structures which is full of dialectical thoughts ; second, he depicts the cognitive developing line of children from their birth to early youth ; third, he is the first psychologist one who introduce mathematical logic to draw children " development of thinking ; finally, he sets up the theoretical construction of genetic epistemology
2兒童認知發展理論的進展與思考2 1皮亞傑兒童認知結構理論的回顧皮亞傑對兒童認知心理學的主要貢獻主要體現在以下幾個方面:第一,提出了一套完整的、富有辨證思想的兒童認知結構理論;第二,描繪了兒童從出生到青年初期( 15歲)認知發展的路線;第三,首次採用數理邏輯作為刻化兒童邏輯思維發展的工具;第四,構造了發生認識論的理論框架。Catalog data : digital logic ( 3 ) i, ii number systems and coding, logic design, sequential systems, register transfer language
美國亞利桑那州大學電機與計算機工程系開設的數字邏輯課程,內容包括教案、習題、教學大綱、參考資料等。As an exploratory study of undergraduates " technical creativity, the paper discusses the implication of the terms " creativity " and " technical creativity ", makes a probe into the influential factors to the development of creativity and technical creativity of people, and carries out an investigation to a large number of juniors from six universities of china with " technical creativity scale " and " creativity attitude survey ", in which the differences between majors, universities, genders and family backgrounds are treated as independent factors, to know undergraduates " learning motivation, interest and participation in scientific and technical activities, to understand their belief, outlook of value and attitude to creativity achievement, and to find out their capabilities for technical comprehension, mental folding, numerical creativity thinking and practical creativity thinking
本研究採用文獻法對創造力、技術創造力的含義和影響因素進行了研究,並採用「技術創造力測量量表」和「創造力態度量表」對國內六所大學的部分三年級大學生進行了問卷調查和測試。以了解大學生對科學知識的渴求程度與探究興趣、對技術活動的參與情況、對創造性成就的態度、信仰和價值觀;探討大學生技術操作和物理感受性方面的能力、空間表徵能力,發散思維能力和數理邏輯思維能力的水平及特徵。此外,本研究還對理工科與文科學生在技術創造力方面的專業差異和校間差異,大學生技術創造力的性別差異和家庭背景差異進行了研究。We already know that in a very real sense mathematics is " incomplete. " kurt gdel showed in 1931 that no system of mathematical logic was complete in the sense that it could be self - contained, consistent, and complete
我們已經非常清楚地知道數學是「不完整」的。 kurt gdel於1931年指出,在自我包含,一致性,和完整的意義上,沒有任何數學邏輯系統是完整的。Its views allows you to integrate in a column any mathematical functions or logical combinations as and, or, equality, larger than, smaller than, etc., and several other functions
其觀點是讓你把任何一欄內容和組合數學邏輯或功能,或者、平等大於,小於等,和其他幾個功能Intelligent teaching system based on digital logic course
基於數學邏輯課程的智能教學系統分享友人