数模论坛

 找回密码
 注-册-帐-号
搜索
热搜: 活动 交友 discuz
查看: 8007|回复: 3

数理逻辑与计算机科学的关系

  [复制链接]
发表于 2007-6-29 23:53:00 | 显示全部楼层 |阅读模式
Mathematical logic and computer science relation
(1) First, and the calculable research looked from the computation model that, may calculate the function and may calculate the predicate (one kind to be able to be able to determine its true value assertion or logical formula is equal good), between may transform mutually. This i.e. that, the computation may use the function calculation to express, also may use the logical system to express. The function may calculate which as the computation model with may calculate the predicate exactly is equal, but the logical system can through own consistency guarantee this kind of kind of computation model is reasonable. Thus it can be seen, took one mathematical formalism system, the turning machine and with its equal computation model logical foundation is solid. An artificial intelligence domain important direction is based on the logical artificial intelligence.
(2) Actual computer design and the manufacture, the use numeral logic technology realizes the computer each kind of operation rationale is the algebra and the Boolean algebra. The Boolean algebra only has used the algebra method in the form calculation aspect, its content essence still was a logic.
(3) Inspects from the computer programming language aspect, the language rationale is the formal language, the automaton and form semantics. But the formal language, the automaton and form semantics uses the main research thought and the method originate from the mathematical logic and the algebra. In programming language many mechanisms and the method, like in the subroutine call parameter substitution, the evaluation and so on all stem from the mathematical logic the method. In addition, in the language semantic research, four semantic methods finally may sum up as the algebra and the logical method. Moreover, the procedure semantics and the accurate rationale still was a mathematical logic, or further model theory.
(4) In the computer architecture research, looks like the fault-tolerant computer system, the Transputer computer, the array type vector computer, the invariable structure computer system structure and the computation model and so on all direct or indirect and logic and the algebra is inseparable. If one of fault-tolerant computer important foundations is the multi-valued logic, the Transputer computer rationale is the CSP theory, the array type vector computer must take the vector operation as the foundation, the invariable structure computer system structure and the computation model mainly use logical and the algebra method.
 楼主| 发表于 2007-6-29 23:54:49 | 显示全部楼层

模糊层次分析法的应用

FAHP, first of all, is to tackle the problem and establish the hierarchical model, and on the basis of fuzzy math, right qualitative factors precise mathematical description, and then have a judgment matrix, the next level is the order of the weights, Then the Comprehensive Weight ranking. Application of fuzzy numbers, approach may not be the same. and in 1983 by the Dutch triangular fuzzy AHP with the largest, Of course, there are trapezoidal fuzzy numbers AHP. Analytical Hierarchy Process (AHP) is always the decision-making elements decomposed into Head standard, guidelines, programs, etc., On this basis for qualitative and quantitative analysis of the decision-making method. The United States is home tacticians University of Pittsburgh Professor Satie in the early 1970s. in the study for the United States Department of Defense, "according to various industrial sector in the country's contribution to the welfare of the size of the electricity distribution" issues, Application network system theory and the multi-objective evaluation methods, the weight of a decision-making level analysis methods. This method is characterized by the complex nature of the decision-making problem, and the impact of factors such as the inherent relationship between an in-depth analysis on the basis of use less quantitative information so that the decision-making process of mathematical thinking, and thus more objective, Multi-criteria or structural characteristics of complex policy issues to provide an easy way of decision-making. particularly suitable for decision-making results difficult to direct accurate measurement occasions. AHP the following steps : (a) Adoption of the system's profound understanding, The system to determine the overall objectives and planning decisions clarify the scope and will have to take measures to programs and policies the criteria for achieving objectives, strategies and various constraints. extensive collection of information. (2) the establishment of a multi-level hierarchical structure, according to the different objectives and achieve functional differences the system is divided into several levels of hierarchy. (3) identify more hierarchical structure adjacent levels elements relevant. By constructing two more judgment matrix and matrix calculation, the mathematical method for determining a level on a certain element, the levels associated with elements of the importance of sequencing -- relative weights. (4) calculating layer elements on the target system Synthesis weight, the total ranking, to determine the hierarchical structure among the lowest of all elements of the overall goal is the most important. (5) based on an analysis of the results, consider the corresponding decisions. AHP embodies the whole process of decision-making on the basic characteristics that decomposition, Judgment and comprehensive, easy to learn and use, but also qualitative and quantitative combination with each other to facilitate communication between policy makers, is a very effective method of analysis, is widely used in economic management planning, development and utilization of energy and resources, Urban industrial planning, forecasting personnel, transportation, water use analysis, and so on
发表于 2007-7-9 14:55:45 | 显示全部楼层
希望能有朋友翻译一下,谢谢!
发表于 2007-7-9 21:02:21 | 显示全部楼层
数理逻辑说白了就是搞布尔代数,模糊层次我有相关的中文资料,有需要的朋友留下emill
您需要登录后才可以回帖 登录 | 注-册-帐-号

本版积分规则

小黑屋|手机版|Archiver|数学建模网 ( 湘ICP备11011602号 )

GMT+8, 2024-3-28 19:12 , Processed in 0.055813 second(s), 19 queries .

Powered by Discuz! X3.4

Copyright © 2001-2021, Tencent Cloud.

快速回复 返回顶部 返回列表