نتایج جستجو برای: deductive c r task

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

Journal: :journal of teaching language skills 2014
zia - tajeddin rasoul hosseinpur

the necessity and importance of teaching pragmatics has come to light by many researchers (e.g. rose & kasper, 2001). due to the consensus over the need to teach pragmatic competence, the main issue now centers on the question of how we should teach this competence in the most effective way. consistent with this line of research, the present study aimed to investigate the effectiveness of d...

The necessity and importance of teaching pragmatics has come to light by many researchers (e.g. Rose & Kasper, 2001). Due to the consensus over the need to teach pragmatic competence, the main issue now centers on the question of how we should teach this competence in the most effective way. Consistent with this line of research, the present study aimed to investigate the effectiveness of deduc...

ژورنال: علوم تربیتی 2009

Consciousness-raising (CR) task is a new way of teaching grammar developed in communicative contexts although little has been written on the effectiveness of CR tasks in EFL setting. The present study is an attempt to investigate the impact of CR tasks in Iranian EFL setting by comparing them with deductive, grammar lessons common in the Iranian schools. The subjects of this study were 80 EFL p...

2002
Steve Roach Jeffrey Van Baalen

Deductive program synthesis systems based on automated theorem proving o er the promise of \correct by construction" software. However, the diÆculty encountered in constructing usable deductive synthesis systems has pr evente d their widespr ead use. A mphion is a realworld, domain-independent programsynthesis system. It is specialized to speci c applications through the creation of an operatio...

2011
Jung Aa Moon Daniel Bothell John R. Anderson

The current study used the Space Fortress game (Donchin, 1989) to study the effects of training and instruction in acquisition of complex skills. The game requires flexible coordination of perceptual, cognitive and motor components in a dynamically changing environment. We examined whether effective instruction can be developed for such a task in the same way that instruction is developed for a...

Journal: :Reports on Mathematical Logic 2013
Sergio A. Celani

A b s t r a c t. In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S (N, 1) are the deductive systems generated by the local consequence relation and the global consequence relation associated with ¬-frames, respectively. Using...

1975
Charles G. Morgan

We report on a method of automated hypothesis generation, called f-resolution, which is derived from deductive resolution techniques. The method is inductive in character, in the sense that given input statement E, it generates hypotheses H, such that E is a deductive consequence of E. The method is extended by a generalized unification algorithm which introduces appropriate identity assumption...

2004
Nick Bassiliades Ioannis P. Vlahavas

In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratified negation, aggregate, grouping, and sorting, functions. The rule language supports a second-order syntax, where variables can range over classes and properties. Users can define views which are materialized and, opti...

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

this experimental study has been conducted to test the effect of oral presentation on the development of l2 learners grammar. but this oral presentation is not merely a deductive instruction of grammatical points, in this presentation two hypotheses of krashen (input and low filter hypotheses), stevicks viewpoints on grammar explanation and correction and widdowsons opinion on limited use of l1...

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

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