نتایج جستجو برای: order logic has its shortcomings
تعداد نتایج: 4519884 فیلتر نتایج به سال:
one of the most important number sequences in mathematics is fibonacci sequence. fibonacci sequence except for mathematics is applied to other branches of science such as physics and arts. in fact, between anesthetics and this sequence there exists a wonderful relation. fibonacci sequence has an importance characteristic which is the golden number. in this thesis, the golden number is observed ...
these days, all department stores make an effort to provide their clients with valuable products in order to project the best image for them. as a result, clients’ comprehension risk will decrease and they will be more willing to repurchase. having a good image is really important for the department stores because it makes an impression on clients’ comprehension of both quality and risk. consid...
the prevalent communications networks suffer from lack of spectrum and spectrum inefficiency. this has motivated researchers to develop cognitive radio (cr) as a smart and dynamic radio access promised solution. a major challenge to this new technology is how to make fair assignment of available spectrum to unlicensed users, particularly for smart grids communication. this paper introduces an i...
abstract the third millennium has started, but the world is facing with serious challenges in achieving international security and peace. various human rights violations have lead the states to find means to protect human rights. also article 55 of the united nations charter introduces the respect to human rights and fundamental freedom as the most suitable ways to realize peace and security. ...
the present paper deals with criminal issues. for example, legal injunction on the necessity of returning a deposit has a legal nature and legal injunction on the punishment of those who breach the trust has a criminal nature. existing social issues are the basis of classification of some instances into the issue, some of which are based on variation and others on quality. therefore, the motiva...
Abstract We can measure the complexity of a logical formula by counting number alternations between existential and universal quantifiers. Suppose that an elementary first-order $\varphi $ (in $\mathcal {L}_{\omega ,\omega }$ ) is equivalent to infinitary language {L}_{\infty with n prove finitary Thus using logic does not allow us express in simpler way.
many mobile and off-grid devices include electronics and other electrical consumers like servo drives, which need a quite low supply power. since the price for photovoltaic modules drops continuously, photovoltaic power supply is interesting in more and more applications. in solar powered systems, a battery is needed to store energy for the night and cloudy periods. the power electronics of suc...
this paper has revised the combined model of chan & qi with supply chain operations reference (scor) .this combined model with hierarchical structure, has three levels and seven criteria that some criteria are quantitative (cost, use of source) and others of them are qualitative (quality, flexibility, tangible, validity and innovation). in order to improvement of this model, this paper has comb...
Abstract We prove that the first-order logic of CZF is intuitionistic logic. To do so, we introduce a new model transfinite computation (Set Register Machines) and combine resulting notion realisability with Beth semantics. On way, also show propositional admissible rules are exactly those
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید