نتایج جستجو برای: proofs concerning this problem

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

Journal: :Journal of Computer and System Sciences 1970

Journal: :EURASIA Journal of Mathematics, Science and Technology Education 2011

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

previous studies have aimed at testing a hypothesis but the present study is data-first research in which researcher tries to form a theory from data rather than the use of data to test a hypothesis. this study aims at exploring teachers perceptions of the strengths and weaknesses of the current syllabus for college preparatory course. eight experienced teachers were selected to collect data du...

2002
SERGEI ARTEMOV

The Logic of Proofs LP solved long standing Gödel’s problem concerning his provability calculus (cf. [4]). It also opened new lines of research in proof theory, modal logic, typed programming languages, knowledge representation, etc. The propositional logic of proofs is decidable and admits a complete axiomatization. In this paper we show that the first order logic of proofs is not recursively ...

Journal: :Grazer Philosophische studien 2010

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

the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...

Journal: :Proceedings of the National Academy of Sciences 1926

Journal: :علوم قرآن و حدیث 0
سید مهدی نریمانی زمان آبادی محمدتقی فخلعی

one of the significant discourses of principles of jurisprudence is the study of the ruling for tajarrī according to the dictate of intellect and that the uṣūlīs have been disagreed as to whether tajarrī is unlawful or not. terminologically, tajarrī is practical opposition (insolence) to the master’s command, either obligatory or unlawful according to the perpetrator’s opinion; whereas, their p...

پایان نامه :0 1374

this thesis is based upon the works of samuel beckett. one of the greatest writers of contemporary literature. here, i have tried to focus on one of the main themes in becketts works: the search for the real "me" or the real self, which is not only a problem to be solved for beckett man but also for each of us. i have tried to show becketts techniques in approaching this unattainable goal, base...

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

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