نتایج جستجو برای: heyting algebra of level 1
تعداد نتایج: 21521066 فیلتر نتایج به سال:
monumental changes occurring on a daily basis have altered the world into a global village of expanding technology and shrinking geography in which preparing language learners for intercultural communication seems to be a sine qua non for modern language education. employing a cross-sectional design in its first phase, this study investigated the intercultural sensitivity and language proficien...
this study was designed to investigate the impacts of teachers self-disclosure on students foreign language classroom anxiety, attitude to english language learning and their achievement scores at the end of the term. there were 48 female learners of intermediate level. they were not randomly selected. there were one experimental group with 21 students and one control group with 27 students.the...
this thesis is a study on insurance fraud in iran automobile insurance industry and explores the usage of expert linkage between un-supervised clustering and analytical hierarchy process(ahp), and renders the findings from applying these algorithms for automobile insurance claim fraud detection. the expert linkage determination objective function plan provides us with a way to determine whi...
today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...
in this article, we have focused one some basic and productive information about the properties of spectrum and singular values related to compact operators which are ideals in a c*-algebra of bounded operators. considering a two-sided connection between the family of symmetric gauge functions on sequence of singular values of compact operators and symmetric norms on finite dimensional ope...
abstract: about 60% of total premium of insurance industry is pertained?to life policies in the world; while the life insurance total premium in iran is less than 6% of total premium in insurance industry in 2008 (sigma, no 3/2009). among the reasons that discourage the life insurance industry is the problem of adverse selection. adverse selection theory describes a situation where the inf...
abstract this quasi-experimental study was aimed at examining the impact of storyline complexity on the grammatical accuracy and complexity of advanced and intermediate efl learners. a total of 65 advanced and intermediate efl learners were selected from iran language institute (ili). an intact group including 35 intermediate participants and another intact group with 30 advanced participants ...
We define a regularity axiom for lattice-valued convergence spaces where the lattice is a complete Heyting algebra. To this end, we generalize the characterization of regularity by a ”dual form” of a diagonal condition. We show that our axiom ensures that a regular T1-space is separated and that regularity is preserved under initial constructions. Further we present an extension theorem for a c...
We prove that there exist profinite Heyting algebras are not isomorphic to the completion of any algebra. This resolves an open problem from 2009. More generally, we characterize those varieties in which completions. It turns out exists largest such. give different characterizations this variety and show it is finitely axiomatizable locally finite. From follows decidable whether a all members I...
We study Nonassociative Lambek Calculus with additives ∧,∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial grammars based on DFNL, also enriched with assumptions, generate context-free languages. The proof uses proof-theoretic tools (interpolation) and a construction of a finite model, earlier employed in [11] in the proof of Fi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید