نتایج جستجو برای: is not logically valid

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

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

this study attempts to investigate the effect of peers’ revision in comparison to that of the teacher, and whether peers’ comments and teachers’ comments facilitate students’ revision? if yes, which one is more effective? also attempts have been made to see which aspects of language are more highlighted by peers versus teachers when commenting. besides, it is investigating the student’s attitud...

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

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...

2000
Andrew Myers

The Curry-Howard isomorphism is a correspondence between logical formulas and types. The central idea is that each type τ corresponds to a logical formula φ, and that a proof that some expression e is well-formed with respect to type τ , (i.e., e : τ) corresponds to a proof that the logical formula φ is logically valid. Many variations of classical logic have been developed, especially in the l...

Journal: :PeerJ Computer Science 2015
Meinald T. Thielsch Ronja Engel Gerrit Hirschfeld

Usability is a core construct of website evaluation and inherently defined as interactive. Yet, when analysing first impressions of websites, expected usability, i.e., before use, is of interest. Here we investigate to what extend ratings of expected usability are related to (a) experienced usability, i.e., ratings after use, and (b) objective usability measures, i.e., task performance. Further...

2016
Alberto Camacho Sheila A. McIlraith

We address the class of fully-observable nondeterministic (FOND) planning problems where non-deterministic actions are not guaranteed to display fair behaviour. Typical solutions to FOND planning problems either guarantee goal reachability with a bounded number of transitions (so-called strong acyclic solutions), or are predicated on a fairness assumption that presumes each action effect occurs...

Journal: :Distributed Computing 2017

ژورنال: پژوهشنامه اخلاق 2013

According to the moral and educational ancient history of music, its influence on human morality is inevitable. Receiving the music, the viewpoint of non religious morality has taken its advantage as an instrument for training the soul and acquiring good human characteristics. However, it should be mentioned that in this viewpoint there is no place for immoderate music and the music opposed-to-...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده ادبیات و زبانهای خارجی 1390

abstract a fundamental study of “historio-graphic metafiction” and “literary genres”, as introduced in “new historical philosophy”, and tracing them in the works of julian barnes having studied the two novels, the porcupine and arthur & george, by julian barnes, the researcher has applied linda hutcheon’s historio-graphic metafictional theories to them. the thesis is divided into five cha...

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

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