نتایج جستجو برای: godel logic
تعداد نتایج: 151365 فیلتر نتایج به سال:
this paper will examine ibn sina’s theory of the conditional syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later islamic tradition. as a preliminary discussion, this paper briefly examines i...
the design and application of a fuzzy logic based controller to a leakage current relay waspresented in this paper. a novel approach based on fuzzy logic to form the tripping action of leakagecurrent relay was investigated. in addition to the theoretical aspect of fuzzy logic, detection of a leakagecurrent, measurement of the leakage current, determination of its duration, trip opening of fault...
this paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and petri nets. in the beginning, programmable logic controllers were widely designed by ladder logic diagrams. when complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. thus, petri nets as a high l...
New trends and the effect of key factors influence the quality of the holes produced by ECM processes. Researchers developed a fuzzy logic controller by adding intelligence to the ECM process. Maintaining optimum ECM process conditions ensures higher machining efficiency and performance. This paper presents the development of a fuzzy logic controller to add intelligence to the ECM process. An e...
Introduction. Numeration, or code, discrete sequences act fundamental part in the theory of recognition and estimation. By code get codes indexes programs calculated functions. It is set that universal are which will realize all other programs. This one basic results On basis numeration Godel proved a famous theorem about incompleteness arithmetic. Purpose article. To develop synonymous numerat...
This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...
The continuum hypothesis (CH) is one of and if not the most important open problems in set theory, one that is important for both mathematical and philosophical reasons. The general problem is determining whether there is an infinite set of real numbers that cannot be put into one-to-one correspondence with the natural numbers or be put into one-to-one correspondence with the real numbers respe...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید