نتایج جستجو برای: considers them as proof for intellectual ideas

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

2006
SAMUEL C. RICKLESS

In the 17th century, there was a lively debate in the intellectual circles with which Locke was familiar, revolving around the question whether the human mind is furnished with innate ideas. Although a few scholars declared that there is no good reason to believe, and good reason not to believe, in the existence of innate ideas, the vast majority took for granted that God, in his infinite goodn...

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

there is less published research about how teachers in efl contexts respond to students who are relatively less mature and less competent l2 writers. while writing researchers have examined various issues concerning peer and teacher response in writing-oriented classes, little research has centered on the effect of collaborative tasks particularly dictogloss on writing skills. output collaborat...

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

abstract: in this thesis, we focus to class of convex optimization problem whose objective function is given as a linear function and a convex function of a linear transformation of the decision variables and whose feasible region is a polytope. we show that there exists an optimal solution to this class of problems on a face of the constraint polytope of feasible region. based on this, we dev...

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

cohesion is an indispensable linguistic feature in discourse analysis. lexicald such a differe cohesion and conjunction in particular as two crucial elements to textual cohesion and comprehension has been the focus of a wide range of studies up to now. yet the relationship between the open register and cohesive devices has not been thoroughly investigated in discourse studies. this study concen...

Journal: :پژوهش های فلسفی 0
کاثرینا وولکر استادیار گروه فلسفه دانشگاه اوتاگو، نیوزیلند

this article presents muhammad arkoun's (1928-2010) key ideas on ethos, civil society, and secularism. following reflections on adab, arkoun's inspiration for rethinking islamic heritage (turāth), this contribution shows how arkoun reconsiders the impact of philosophy, both in theology as well as academic scholarship. the paper displays his hopes for generating an innovative intellect...

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

due to extraordinary large amount of information and daily sharp increasing claimant for ui benefits and because of serious constraint of financial barriers, the importance of handling fraud detection in order to discover, control and predict fraudulent claims is inevitable. we use the most appropriate data mining methodology, methods, techniques and tools to extract knowledge or insights from ...

Journal: :مجله مطالعات حقوق تطبیقی 0
سید محمد طباطبائی نژاد استادیار دانشکدۀ حقوق و علوم سیاسی دانشگاه تهران مریم فارسی دانشجوی کارشناسی ارشد حقوق خصوصی دانشگاه تهران معصومه ناظری فینی دانشجوی کارشناسی ارشد حقوق خصوصی دانشگاه تهران

sale is the alienation of goods with all presumptive, objective and, legal rights related to them in a way that a buyer can have the goods in absolute legal possession. any defects in seller’s ownership, such as the right of easement, usufruct or lien belong to the third party interferes with the absolute ownership of the buyer and his rights. a kind of these rights recognized and protected by ...

Journal: :پژوهش های قرآن و حدیث 0
الهه شاه پسند elaheh shah pasand استادیار گروه علوم قرآن دانشگاه علوم و معارف قرآن کریمسازمان اصلی تایید شده: دانشگاه علوم و معارف قرآن کریم (university sciences and education quran karim)

the narratives permitting common reading of quran, despite differences in the readings of imams and those of common ones, allow people to read as common reading. some persons regard seven readings as the proof of their permissibility. others, based on periods, have considered them as permissible only in the imams era. and some jurists have regarded only hafs’ narrative as the proof of these tra...

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

this thesis is presented 10 ghz voltage controlled ring oscillator for high speed application. the voltage controlled ring oscillator was designed and fabricated in 0.13یm cmos technology. the oscillator is 7-stages ring oscillator with one inverter replaced by nand-gate for shutting down in the ring oscillator during idle mode. tri-state inverter was used to control of 126 bit vector in ri...

2008
H. Geuvers

In this paper we will discuss the fundamental ideas behind proof assistants: What are they and what is a proof anyway? We give a short history of the main ideas, emphasizing the way they ensure the correctness of the mathematics formalized. We will also briefly discuss the places where proof assistants are used and how we envision their extended use in the future. While being an introduction in...

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

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