نتایج جستجو برای: theory of formalism

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

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

abstract the present thesis seeks to critically read george orwell’s nineteen eighty-four and animal farm in the light of louis althusser’s thought and theory. the present thesis proceeds to examine and demonstrate althusser’s major concepts including ideological state apparatuses (isas), repressive state apparatuses (rsas), the structure, the subject, and ideological interpellation which r...

Journal: :پژوهشنامه نقد ادبی و بلاغت 0
ندا حاج نوروزی دانش آموختۀ کارشناسی ارشد زبان و ادبیّات فارسی دانشگاه علّامه طباطبایی

the russian formalism is an approach was introduced at the beginning of 20th century and those who offered such a theory wanted to find a scientific method in literary criticism. they believed that the literary work itself should be criticized instead of its author and the literary nature of the work should be considered as the main subject.    adopting such a method, they propelled the study o...

2006
Albion Lawrence Michael B. Schulz Brian Wecht

“T-fold” backgrounds are generically-nongeometric compactifications of string theory, described by T fibrations over a base N with transition functions in the perturbative T-duality group. We review Hull’s doubled torus formalism, which geometrizes these backgrounds, and use the formalism to constrain the D-brane spectrum (to leading order in gs and α ) on T fibrations over S with O(n, n;Z) mon...

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

muhammad ibn muhammad ibn numan, known as "shaykh mufid," one of the great imamiye theologians and jurists in the fourth and early fifth century , had comprehensive mastery of both rational and traditional topics and exerted his influence upon both his contemporary and future scholors. he is considered to be one of the top imamiye scholars who spent his lifetime teaching, learning and authorin...

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

همچنین با استفاده از نتیجه های به دست آمده الگوریتم هایی برای امتحان یکتایی رنگ پذیری ارائه داده شد. به عنوان یک کاربرد، مثال نقضی را برای حدس ژو، مربوط به ‎3-‎رنگ پذیری یکتای گراف های بدون مثلث بررسی می کنیم ‎ایده ی اصلی این پایان نامه از مقاله ‎‎c‎. ‎hillar‎, ‎t‎. ‎windfeldt‎, ‎it algebraic characterization of uniquely vertex colorable graphs, ‎j‎. ‎combin‎. ‎theory ser‎. ‎b 98 (2008) 400...

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

there has been a gradual shift of focus from the study of rule systems, which have increasingly been regarded as impoverished, … to the study of systems of principles, which appear to occupy a much more central position in determining the character and variety of possible human languages. there is a set of absolute universals, notions and principles existing in ug which do not vary from one ...

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

this study intends to investigate samuel beckett’s waiting for godot and endgame under the lacanian psychoanalysis. it begins by explaining the most important concepts of lacanian psychoanalysis. the beckettian characters are studied regarding their state of unconscious, and not the state of consciousness as is common in most beckett studies. according to lacan, language plays the sole role in ...

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

rested on sociocultural theory (sct), this study attempted to examine the effect of written corrective feedback (wcf) followed by producing written languaging on developing writing accuracy over new tasks. to this aim, two intact iranian efl classes at the low-intermediate level were randomly assigned to two experimental groups: direct (n = 25) and indirect (n = 25). both groups wrote on a numb...

1989
Roland Backhouse

Formal reasoning is notoriously long and arduous; in order to use it to reason eeectively in the construction of programs it is, therefore, paramount that we design our notations to be both clear and economical. Taking examples from AI, from imperative programming, from the use of the Bird-Meertens formalism and from category theory we demonstrate how the right choice of what to denote and how ...

1993
Roland Carl Backhouse Paul F. Hoogendijk

The \Boom hierarchy" is a hierarchy of types that begins at the level of trees and includes lists, bags and sets. This hierarchy forms the basis for the calculus of total functions developed by Bird and Meertens, and which has become known as the \Bird-Meertens formalism". This paper describes a hierarchy of types that logically precedes the Boom hierarchy. We show how the basic operators of th...

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

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