نتایج جستجو برای: myhill nerode theorem
تعداد نتایج: 144205 فیلتر نتایج به سال:
Boujari [5] proved a fixed point theorem with an old version of the integraltype contraction , his proof is incorrect. In this paper, a new generalizationof integral type contraction is introduced. Moreover, a fixed point theorem isobtained.
In this paper, we introduce the cone normed spaces and cone bounded linear mappings. Among other things, we prove the Baire category theorem and the Banach--Steinhaus theorem in cone normed spaces.
in this paper is introduced a new type of generalization of metric spaces called sb metric space. for this new kind of spaces it has been proved a common xed point theorem for four mappings which satisfy generalized contractive condition. we also present example to conrm our theorem.
the purpose of this article is to use the classical sampling theorem, wks sampling theorem, to deriveapproximate values of the eigenvalues of the sturm-liouville problems with eigenparameter in the boundaryconditions. error analysis is used to give estimates of the associated error. higher order approximations are also drived, which lead to more complicated computations. we give some examples a...
in the present paper, measure differential equations involving the distributional henstock-kurzweil integral are investigated. theorems on the existence and structure of the set of solutions are established by using schauder$^prime s$ fixed point theorem and vidossich theorem. two examples of the main results paper are presented. the new results are generalizations of some previous results in t...
The CST conceptual framework is a set theoretical approach to constructive mathematics initiated by Myhill in [Myh75]. It has been given a philosophical foundation via formal interpretations into versions of Martin-Löf’s Intuitionistic Type Theory, [GA06, Acz86, Acz82, Acz78]. There are several axiom systems for Constructive Set Theory of varying logical strength. Perhaps the most familiar ones...
in this paper, the concept of intuitionistic fuzzy mapping as a generalization of fuzzy mapping is presented, and its' relationship with intuitionistic fuzzy relations is derived. moreover, some basicoperations of intuitionistic fuzzy mappings are defined, hence we can conclude that all of intuitionistic fuzzy mappings constitute a soft algebrawith respect to these operations. afterwards, the a...
in the present paper, we study some properties of fuzzy norm of linear operators. at first the bounded inverse theorem on fuzzy normed linear spaces is investigated. then, we prove hahn banach theorem, uniform boundedness theorem and closed graph theorem on fuzzy normed linear spaces. finally the set of all compact operators on these spaces is studied.
In this paper, we study the existence of solutions for fractional evolution equations with nonlocalconditions. These results are obtained using Banach contraction xed point theorem. Other resultsare also presented using Krasnoselskii theorem.
here, a predator-prey model with hassell-varley type functional responses is studied. some sufficient conditions are obtained for the permanence and global asymptotic stability of the system by using comparison theorem and constructing a suitable lyapunov functional. moreover, an example is illustrated to verify the results by simulation.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید