نتایج جستجو برای: order latent variable and comprises three first

تعداد نتایج: 17111929  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده زبانهای خارجی 1388

the purpose of the present study was to investigate the effect of task-based instruction of vocabulary on the receptive and oral productive acquisition of english vocabulary and compare the results with those obtained from the traditional method. the method and procedure applied in this study was as follows: after the implementation of opt, a group of sixty female students were chosen. the stu...

Journal: :J. Symb. Log. 2010
Luis Miguel Villegas-Silva

Let £ be a first-order language of cardinality K + + with a distinguished unary predicate symbol U. In this paper we prove, working on L, the two cardinal transfer theorem (K,K) «S> (K + + , K) for this language. This problem was posed by Chang and Keisler more than twenty years ago. §

2006
Merlijn Sevenster Tero Tulenheimo

In this paper we take up the study of Henkin quantifiers with boolean variables [4] also known as partially ordered connectives [19]. We consider first-order formulae prefixed by partially ordered connectives, denoted D, on finite structures. We characterize D as a fragment of second-order existential logic Σ 1♥ whose formulae do not allow for existential variables being argument of predicate v...

Journal: :CoRR 2004
Ian Pratt-Hartmann

We show that the satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting quantifiers are both in NEXPTIME, even when counting quantifiers are coded succinctly.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه یزد 1388

there is less published research about how teachers in efl contexts respond to students who are relatively less mature and less competent l2 writers. while writing researchers have examined various issues concerning peer and teacher response in writing-oriented classes, little research has centered on the effect of collaborative tasks particularly dictogloss on writing skills. output collaborat...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه سیستان و بلوچستان - دانشکده مهندسی عمران 1392

abstract in aggregate, active forms of reactive silica with mineral names are sometimes associated with sand and gravel in concrete mixture. alkali hydroxides originated from alkalis in the cement or other resources form an alkaline silica gel with this reactive silica which becomes swallowed and expanded during time causing damage to concrete. there have been growing researches on alkaline r...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده علوم انسانی 1390

with the growth of more humanistic approaches towards teaching foreign languages, more emphasis has been put on learners’ feelings, emotions and individual differences. one of the issues in teaching and learning english as a foreign language is demotivation. the purpose of this study was to investigate the relationship between the components of language learning strategies, optimism, duration o...

Journal: Iranian Economic Review 2005

The main goal of this paper is to estimate the level and distribution of human capital (HC) in Tehran province, Iran. In doing this we have first reviewed theoretical and empirical literature of human capital. And then we used Do gum Method for estimation of level and distribution of households’ human capital in Tehran. The Do gum Method is based on three old methods of estimation. We used late...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده مدیریت و اقتصاد 1391

abstract nowadays, industries cannot play a crucial role in national and international competitions. the tourism industry is no exception. tourism industry development as the most important economic sector and income generation is one of the key challenges of economic development in the world. therefore, countries were successful that take advantage of the capabilities of tourism sector using ...

1996
Robert F. Stärk

We introduce two logics for partiality, a call-by-value logic and a call-by-name logic. Both logics are variants of the logic of partial terms, an extension of the first-order predicate calculus by a definedness predicate. In our logics, however, quantifiers may only be instantiated to value terms and not to arbitrary, defined terms as in the logic of partial terms. We show that the call-by-val...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید