هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

تلاش برای ایجاد یک سامانه جهت ردیابی و مقابله با موشک های بالستیک ازجمله برنامه های آمریکا بوده است. مقامات آمریکا در دی ماه سال ???? استقرار بخشی از سامانه دفاع موشکی در اروپای شرقی را در زمره برنامه های اجرایی خود اعلام نموده و دو کشور چک (محل استقرار سامانه راداری ) و لهستان ( محل استقرار ?? سامانه موشکی زمین به هوا) به عنوان گزینه های اصلی عملیاتی شدن پروژه مذکور معرفی شدند. در واقع تسلط نظ...

نظر به حجم تهدیداتی که ایران در عرصه بین الملل با آن مواجه است، گذشته از راهکارهای دفاعی عامل، توجه به موضوعیت پدافند غیر عامل در سطح کشور، الزامی و تکمیل کننده زنجیره دفاعی کشور می باشد. بخشی از خسارات و صدماتی که در جنگ اتفاق می افتد، ناشی از حملات هوایی و اصابت بمب یا هر پرتابه دیگر می باشد که در لحظه وقوع حادث می گردد. اما صدمات مربوط به پیامدهای این حملات و عدم آمادگی جامعه برای مقابله با...

با توجه به گستردگی شعر مقاومت، جهت بررسی مبانی حماسی در شعر پایداری لازم است که بر آثار چند شاعر مطالعه شود. لذا از میان شعرای مختلف معاصر تکیه ما بر مواردمشخصی است. ملاک انتخاب این شعرا قالبهای شعری متفاوتی است که هر یک از ایشان در سرایش آن جزو سرآمدان اند. 1- علی معلم, به عنوان یکی از شاعرانی که مثنویهای حماسی مشهوری سروده است. 2- حسن حسینی به عنوان شاعری که رباعیّات حماسی او شهرت خاص یافته ...

ارزش اثباتی ادله دعوا در قانون حاکم بر داوری تجاری بین المللی* عطیه بابایی[1] چکیده با توجه به گسترش فرآیند داوری در جهان و روند رو به افزایش مراجعه پرونده های تجاری به محاکم داوری, تبیین این مسئله که چه ادله ای در این روند ملاک عمل قرار گیرد و بررسی ارزش اثباتی آنها از مسائل مورد بحث در داوری تجاری بین المللی می باشد, چرا که هدف در داوری تحقق عدالت به صورت منصفانه و از طرق ترافعی می باشد.به ه...

براساس شرع اسلام، سوگند به خداوند متعال، یکی از راههای اثبات یا اسقاط دعواست. یکی از مسائل مطرح و مورد بحث در باب سوگند قضایی، سوگند شخص غیرمسلمان است، که در ادای سوگند توسط غیرمسلمان، چگونگی و تغلیظ آن، دیدگاههای مختلفی ابراز گردیده است. پژوهش حاضر به روش کیفی به بررسی مبانی قرآنی و روایی سوگند قضایی غیرمسلمان، در فقه امامیه و اهل­‌سنت پرداخته است. در فقه امامیه و اهل­‌سنت، طبق قول مشهور سوگند...

های کلیدی: جرم، جرم شناسی کلاسیک، جرم شناسی اثباتی، جرم شناسی انتقادی، گفتمان، ذهنیت، قدرت. در یک تقسیم بندی تاریخی می توان تئوری های جرم شناسی را به کلاسیک(روشنگری)، اثباتی(مدرن)و انتقادی تقسیم بندی کرد. بعد از مطرح شدن پارادایم های فکری کلاسیک و اثباتی، این پارادیم ها در دهه 1950 به وسیله پارادایم انتقادی با نقد اساسی مواجهه شد. از مهم ترین نظریه هایی که در این پارادایم مطرح شد می توان ب...

الهیات سلبی در مقابل الهیات ایجابی مسیر متفاوتی را در خداشناسی عرضه می‌کند و منکر معرفت اثباتی از خداست. اما در مدرسۀ کلامی خراسان، الهیات سلبی نقش مکمل معرفتی ایجابی را ایفا می‌کند که از آن با عنوان معرفت فطری یا قلبی یاد می‌شود. از این‌رو هرچند این مدرسه الهیات سلبی را قبول دارد، اما منکر معرفت اثباتی از خدا نیست. از دیدگاه این مدرسه، انسان‌ها پیش از ورود به جهان کنونی، حامل معرفتی قلبی و اثب...

دفاع، امری فطری و ذاتی است که در نهاد انسان و حیوانات وجود دارد. دفاع مختص به جان، مال، عرض و ناموس و آزادی تن است و مدافع در مقام دفاع مقید به رعایت شرایطی است که این شرایط در سیستم حقوقی کشور ما در قانون مجازات اسلامی و منابع فقهی تعیین شده است . هرگاه کسی در مقام دفاع از جان، عرض و ناموس و مال و آزادی تن خود یا دیگری مرتکب عملی شود که در شرایط عادی جرم است با رعایت شرایط دفاع قابل تعقیب و مج...

دفاع شامل دو وجه عامل و غیرعامل بوده که نوع اول مرتبط با سلاح های جنگی و نوع دوم، مجموعۀ تمهیداتی است که آسیب پذیری مجتمع های زیستی را در مقابل تهاجم به حداقل می رساند. محدودۀ این پژوهش بررسی پدافندغیرعامل در گذشته تاریخی ایران را در برگرفته و هدف از این نوشتار، نشان دادن چگونگی اجرای این تمهیدات در گذشته تاریخی ایران و در برخی موارد، چگونگی بهره گیری روش های نوین جنگی از این ایده هاست. دانش بو...