نتایج جستجو برای: the proofs supporting its uniqueness
تعداد نتایج: 16232057 فیلتر نتایج به سال:
A minimal theorem in a logic L is an L-theorem which is not a nontrivial substitution instance of another L-theorem. Komori (1987) raised the question whether every minimal impli-cational theorem in intuitionistic logic has a unique normal proof in the natural deduction system NJ. The answer has been known to be partially positive and generally negative. It is shown here that a minimal implicat...
this study examined the effects of collaborative strategic reading and direct instruction in persuasion on iranian high school students persuasive writing and attitudes. students in three intact classes were assigned to one of three treatment conditions: collaborative strategic reading and direct instruction in persuasion or direct instruction in persuasion or a control group. treatment effects...
in the civil procedure act, local inquiry is explained in a chapter separate from testimony, but for similarity of these two proofs, connection of them and criterion of separating them is disputable. in this article, we will study in one portion the role of witness and testimony conditions and in other portion, the role of number, sexuality, locality and ceremonies in separating of these proofs...
this thesis examines the significances and implications of inflicted physical pain in waiting for the barbarians (1980) by john maxwell coetzee (1940 - ). the researcher tries to show how body becomes a site for exercising violence. in this way, the government’s representatives turn bodies of the barbarians into blank pages through torturing in order to create the truth of the empire. in this p...
This paper concentrates on a particular first-order coupled PDE system. It provides both a detailed treatment of the existence and uniqueness of monotone travelling waves to various equilibria, by differential-equation theory and by probability theory and a treatment of the corresponding hyperbolic initial-value problem, by analytic methods. The initial-value problem is studied using characteri...
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...
there is no doubt that human being needs to become integrated with industry and industry needs to be progressed, daily. on the other hand, serious events in industrial units specially in oil industries has been shown that such damages and events are industry related ones. the consequence of such events and damages which resulted in chemical and poisoned explosions and loss of life and property ...
In this paper we obtain a consistent estimator when there exist some measurement errors and multicollinearity in the instrumental variables in a two stage least square estimation of parameters. We investigate the asymptotic distribution of the proposed estimator and discuss its properties using some theoretical proofs and a simulation study. A real numerical application is also provided for mor...
the community dynamics of aquatic coleoptera(insecta)in one of the spring-stream habitats of bammo national park in fars province called cheshmeh-ye-ghanbari is studied as a pilot project and model for acquaintance with and furthering the biodiversity studies on fauna of iran. sixteen species-populations out of nineteen of this community were already identified for their taxonomy and for thei...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید