نتایج جستجو برای: non standard analysis

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

2002
Ewen Maclean Jacques D. Fleuriot Alan Smaill

We describe how non-standard analysis can be used to prove real analysis theorems, and how these proofs can be automated using proof-planning. In particular we borrow from the constructive analysis notions of inductive partitioning, and show how transferring to the non-standard model for the reals allows us a simple proof of the correctness of partitioning algorithms for certain real analysis t...

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

writing an academic article requires the researchers to provide support for their works by learning how to cite the works of others. various studies regarding the analysis of citation in m.a theses have been done, while little work has been done on comparison of citations among elt scopus journal articles, and so the dearth of research in this area demands for further investigation into citatio...

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

like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...

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

in reality, most structures involved in geotechnical engineering are three dimensional in nature, and although in many, plane strain or axisymmetric approximations are reasonable, there are some, for which 3-d treatment is required. the quantity of data, and the size of the various vectors and matrices involved in such analysis, increase dramatically. this has sever implications for computer r...

Journal: :Journal of Multivariate Analysis 2022

A broad review is given of some areas multivariate analysis that are not frequently emphasized. We start with situations in which underlying distributions far from normal form, so standard methods based on covariances likely to be unsatisfactory. emphasize the important distinction between internal and external analyses associated multiple outcomes. second theme relates outcomes generated by ti...

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

esl/efl books play a crucial role in shaping language learners worldview of gender roles in society. the present study investigated the status of sexism in two sets of efl textbooks, one developed by non-native iranian authors (ili series) and the other by native authors (top notch series). first, two books from each series was selected randomly. then, a quantitative analysis was carried out wi...

Journal: :Pacific Journal of Mathematics 1975

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

although there are studies on pragmatic assessment, to date, literature has been almost silent about native and non-native english raters’ criteria for the assessment of efl learners’ pragmatic performance. focusing on this topic, this study pursued four purposes. the first one was to find criteria for rating the speech acts of apology and refusal in l2 by native and non-native english teachers...

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

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