نتایج جستجو برای: considers entailment implication to be valid

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

پایان نامه :0 1374

in fact, this study focused on the following questions: 1. is there any difference between the effect of functional/notional approach and the structural approaches to language teaching on the proficiency test of efl learners? 2. can a rather innovative language test referred to as "functional test" ge devised so so to measure the proficiency test of efl learners, and thus be as much reliable an...

Journal: :فلسفه و کلام اسلامی 0
مهدی عظیمی دانشجوی دکتری دانشگاه تهران هاشم قربانی دانشجوی دکتری دانشگاه تهران

athir al-din abhari is one of the most outstanding logicians of the islamic period, even though he is less known to contemporary scholars than other logicians. this article, by presenting an edition of al-risalat al-zahirah (the shining treatise), not only makes available for the first time in print an important text in the field of logic, but also surveys some of abhari's logical thought ...

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

bekenstein and hawking by introducing temperature and every black hole has entropy and using the first law of thermodynamic for black holes showed that this entropy changes with the event horizon surface. bekenstein and hawking entropy equation is valid for the black holes obeying einstein general relativity theory. however, from one side einstein relativity in some cases fails to explain expe...

Journal: :ACM Transactions on Computational Logic 2023

The Craig interpolation property (CIP) states that an interpolant for implication exists iff it is valid. projective Beth definability (PBDP) explicit definition a formula stating implicit Thus, the CIP and PBDP reduce potentially hard existence problems to entailment in underlying logic. Description (and modal) logics with nominals and/or role inclusions do not enjoy nor PBDP, but interpolants...

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

abstract: country’s fiber optic network, as one of the most important communication infrastructures, is of high importance; therefore, ensuring security of the network and its data is essential. no remarkable research has been done on assessing security of the country’s fiber optic network. besides, according to an official statistics released by ertebatat zirsakht company, unwanted disconnec...

Journal: :Notre Dame Journal of Formal Logic 1988

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

according to coates’s (2004, as cited in zhang, 2010) definition of "conversational dominance" (p.111), it refers to the phenomenon of a speaker dominating others in interaction. specifically, it means how a speaker makes use of certain strategies to get the floor and maintain the floor. thus, the amount of talk is the main measurement for the dominance of the conversation. whether a speaker do...

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

this study considers the level of increase in customer satisfaction by supplying the variant customer requirements with respect to organizational restrictions. in this regard, anp, qfd and bgp techniques are used in a fuzzy set and a model is proposed in order to help the organization optimize the multi-objective decision-making process. the prioritization of technical attributes is the result ...

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده ادبیات و علوم انسانی 1389

abstract the primary purpose of this study was to explore the actual practices and cognitions of two groups of iranian eap teachers, i.e. language teachers and content teachers, with respect to teaching reading-comprehension and vocabulary. to this end, tehran university of medical sciences which authorizes both groups of teachers to teach eap courses was selected as the context of the study s...

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

in the past couple of decades sociocultural theory of sla and its implications in efl contexts have attracted attentions of research circles worldwide and aroused some controversies. firth and wagner (1997) have questioned the principles of the cognitive view which gives importance to mental constructs in favor of sociocultural view which highlights social and contextual constructs. but if soci...

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

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