نتایج جستجو برای: using violation and comparative tableau
تعداد نتایج: 17367518 فیلتر نتایج به سال:
In [15,19] we showed how to combine propositional multimodal logics using Gabbay’s fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (graph & path), with the help of a scenario (The Friend’s Puzzle). Having d...
dynamic assessment according to vygotskys sociocultural theory, states that instruction and assessment are interrelated. using static forms of assessment with second and foreign language students could do more harm than good. many teachers neglect to take account of the complexity involved in learning a second or foreign language and often wonder why learning of a language take so long. thi...
We define a procedure for translating given first-order formula to an equivalent modal formula, if one exists, by using tableau-based bisimulation invariance test. A previously developed tableau tests of and therefore whether that is the standard translation some formula. Using closed as starting point, we show how can be effectively obtained.
The paper presents a tableau calculus for a linear time tem poral logic for reasoning about processes and events in concurrent sys tems The logic is based on temporal connectives in the style of Transac tion Logic BK and explicit quanti cation over states The language extends rst order logic with sequential and parallel conjunction parallel disjunction and temporal implication Explicit quanti c...
the present paper investigates how far ideologies can be tease out in discourse by examining the employed schemata by two ideologically opposed news media, the bbc and press tv, to report syria crisis during a period of nine months in 2011. by assuming that news is not a valuefree construction of facts and drawing on micro structural approach of schema theory, for the first time in discours...
abstract this study is an attempt to determine the effect of nano- technology education on science lesson for fifth grade in primary school in the city of kermanshah. this research is experimental and is conducted in the from of pre-test and post- test for the control group. an achievement test was administered to determine the rate of learning in the students. the research is an applied one. ...
recent studies in scientific education as well as foreign and second language instruction suggest that thinking has rarely been an integral part of education and training in classroom. some scholars decried the lack of emphasis on thinking in the institutes and schools. they noted that memorization and drills were rewarded,while inquiry, reflection, and consideration of alternatives were frowne...
abstract the first purpose of this study was to investigate the effect of consciousness-raising (c-r) activities on learning grammatical structures (simple present tense in this case) by iranian guidance school efl learners. the second one was to investigate the effect of gender on learning the simple present tense through c-r activities and tasks. finally, this study aimed to investigate the ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید