logic in computer science 中文意思是什麼

logic in computer science 解釋
計算機科學中的邏輯學
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  • in : adv 1 朝里，向內，在內。 A coat with a furry side in有皮裡子的外衣。 Come in please 請進來。 The ...
  • computer : n. 1. 計算者。2. （電子）計算機；計量器。-ism 電子計算機主義〈認為電子計算機萬能等〉。-erite, -nik 計算機專家；計算機工作者。
  • science : n 1 科學；科學研究。2 （一門）科學，學科。3 自然科學。4 學；學問；〈古語〉知識。5 （拳術、馬術等...
  1. Bdd ( binary decision diagram ) is the state - of - the - art data structure in logic function. it is widely used in the fields of computer science and digital circuit and system

    二元判決圖bdd （ binarydecisiondiagram ）是邏輯布爾函數的一種高效表示方法，在計算機科學以及數字電路與系統等領域中有廣泛的應用。
  2. Its basis idea and method are that you should think the maths not a preexistance logic system, but think it is a experiment science. the student should begin with problem, use the computer. he should set up a solution project and do it himself to explore the law of maths. that is, the students must learn in experiment, learn with problem to explore and find the law of maths. there, we put the emperiment as a part of the whole advanced mathematics. during the experiment, we acquired that the student must use one maths software at least. we introduced the maple sofeware

    它的基本思想和方法是不把數學看作成先驗的邏輯體系，而把它看作「實驗科學」 ，從問題出發，藉助計算機，通過學生親自設計和動手，體驗解決問題的過程，從實驗中去學習，探索和發現數學規律。我們在高等數學教學過程中進行數學試驗，把它作為了高等數學的一部分。在實驗過程中，我們要求學生至少掌握一種數學應用軟體。
  3. Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis. the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science, which are important in theory and have wide applications in a lot of real - world problems

    命題邏輯可滿足性（ sat ）問題和有限論域一階邏輯模型搜索（ folms ）問題是計算機理論科學中的經典問題，不僅在理論上有著重要的地位，而且在許多實際問題中得到了廣泛的應用。
  4. A prominent scholar in computer science and " father of fuzzy logic ", professor lotfi a. zadeh is currently professor in the graduate school of the university of california, berkeley and the director of the berkeley initiative in soft computing

    盧菲特?澤德教授快思邏輯之父盧菲特?澤德教授現任美國柏克萊加州大學研究院教授及柏克萊計算研究組主任。
  5. As a combination of automation technology, computer science technology and communication, programmable logic controller has been widely used in industry control including machine manufacture, chemical process etc for its high performance, low cost and high reliability in hard environment

    可編程式控制制器是自動化技術、計算機技術，通訊技術等相結合的產物，由於其高性能，低成本和在惡劣環境中的高可靠性被廣泛應用於工業控制領域。
  6. 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

    為了驗證更多的性質，我們的公理集中加入了一些新的特性，如動態性，使我們可以推導協議的每個執行步所得到的知識還有秘密性，我們在公理中加入那些處理智能體間共享秘密的公理
  7. The primary area of his research interests is logic and its applications in computer science

    可計算性邏輯（這次課程的題目） - -是他近年提出來的。
分享友人
分享到 Line

分享到臉書