in this paper, we use petrov-galerkin elements such as continuous and discontinuous lagrange-type k-0 elements and hermite-type 3-1 elements to find an approximate solution for linear fredholm integro-differential equations on $[0,1]$. also we show the efficiency of this method by some numerical examples

‎in this paper, we discuss about existence of solution forintegro-differential system and then we solve it  by using the petrov-galerkin method. in the petrov-galerkin method choosing the trial and test space is important, so  we use alpert multi-wavelet as basisfunctions for these spaces. orthonormality is one of theproperties of alpert multi-wavelet which helps us to reducecomputations in the...

We present a topological characterization for fuzzy regular languages: we show that there is a bijective correspondence between fuzzy regular languages and the set of all clopen fuzzy subsets with finite image in the induced fuzzy topological space of Stone space (Profinite space), and then we give a representation of closed fuzzy subsets in the induced fuzzy topological space via fuzzy regular...

in this paper, we introduce the concept of rarely generalized regular fuzzy continuous functions in the sense of a.p. sostak's and ramadan is introduced. some interesting properties and characterizations of them are investigated. also, some applications to fuzzy compact spaces are established.

in the present paper we introduce and study the notion of pairwise weakly lindelof bitopological spaces and obtain some results. further, we also study the pairwise weakly lindelof subspaces and subsets, and investigate some of their properties. it was proved that a pairwise weakly lindelof property is not a hereditary property.

Özet. Bu çalışmanın amacı, ardışıl devrelerin (sequential circuits) ölçeklenebilir düzenli ifadeler (regular expression) ile modellenmesi ve bu ölçeklenebilir model aracılığı ile sınanmasıdır (testing). Sınama işlemi için model tabanlı sınama dizileri (test sequence) kullanılacaktır. Devrenin modellenmesi için hedeflenen hatalar aracılığı ile durum uzayı (state space) sınırlandırılmaktadır. Böy...