نتایج جستجو برای: formalize them in modern modal and relevant logics

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

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

colonialism is an important factor in cultural production and many of cultural constructs all over the world. english and english language teaching are at the center of the contemporary world. postcolonial literature, the genre achebe exercised, is a kind of historical text which has become central to different debates and criticisms. in this thesis, different elements related to the colonial...

Journal: :Notre Dame Journal of Formal Logic 2003

Journal: :Notre Dame Journal of Formal Logic 2015

1997
David Basin Luca Vigan

We present a new proof-theoretic approach to bounding the complexity of the decision problem for propositional modal logics. We formalize logics in a uniform way as sequent systems and then restrict the structural rules for particular systems. This, combined with an analysis of the accessibility relation of the corresponding Kripke structures, yields decision procedures with bounded space requi...

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

now-a-days graphic design plays a major role in influencing culture, society, business, and customers, in such a way that one could look upon every individual as a potential customer. graphic designers seek to identify customers needs and find an intelligent solution for them. correct identification and understanding of those needs is the first step towards achieving ones goals. marketing knowh...

2008
EUNSUK KANG

Modal logic is a family of logics for reasoning about modalities. For example, given a sentence φ, one may wish to express statements such as “φ is necessarily true” or “φ is possibly true”. Modalities are expressed using modal operators. In the most basic modal logic, called propositional modal logic, one may use the operators 2 and 3 to formalize the above two statements as 2φ and 3φ. In this...

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

acknowledge the importance of e-commerce to their countries and to survival of their businesses and in creating and encouraging an atmosphere for the wide adoption and success of e-commerce in the long term. the investment for implementing e-commerce in the public sector is one of the areas which is focused in government‘s action plan for cross-disciplinary it development and e-readiness in go...

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

abstract previous researches have shown success of growth hormones usage on flower production increase, pod and prevention of abscission of them in some of the pulses. two tests were done, in order to find out the effects of growth hormones to on flower production increase, pod and chick pea yield composites in farmer conditions (2010-11) and green house conditions as factorial on the proje...

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

toury (1978:200) believes that translation is a kind of activity which inevitably involves at least two languages and two cultural traditions. being polite while asking for something takes place differently in different cultures and languages, therefore various strategies may be applied for making requests and also translation of them in order not to disturb or threaten the face or better to sa...

it is not possible to understand developments of a country’s culture and civilization without knowing his believes and myths. whether it is north or south, east or west, planes or mountains, sahara or deserts, here in iran every corner includes valuable and precious treasures which are known all over the world, and cultural – historical objects which are found here adorn all well known museums of the globe. zagros mountains, lorestan province locating at the heart of that, are not only the same, but are more prominent than other iranian regions. you can not find someone who does not know what the lorestani bronzes are, and there is no museum that not be pride of having a piece of that. the said bronzes which are manufactured four millenniums b.c. are admired nearly by all those researchers because of their beauty, diversity and technique. lorestani artistic works including stone engraves, bronzes and clays, show an ideal and metaphysical world beside real world which explain mental system of human beings on that era against sensations and phenomena happening around them. men main mental occupation on that time was he unknown world which had surrounded them, and they used to use the religion to fight life’s natural factors, and art was a tool of religious and mythical painting which was far from reality and had entered into the abstract domain. as natural objects have become subjects of lorestani art, it cleanses them from any non – intrinsic limitations and external factors which surround them and darken their meanings, and just shows their main specifications. artist in the said civilization is not searching for realism. although these are few works showing the nature, but in effect there is no wish to imitate touchable factors of the nature, and artist has turned real phenomena to encoded signs as per his own mentality. this procedure is called stylization.

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

it is not possible to understand developments of a country’s culture and civilization without knowing his believes and myths. whether it is north or south, east or west, planes or mountains, sahara or deserts, here in iran every corner includes valuable and precious treasures which are known all over the world, and cultural – historical objects which are found here adorn all well known museums...

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

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