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

کتاب انتظارات بشر از دین نوشته حجت الاسلام والمسلمین جناب آقای عبدالحسین خسروپناه توسط مرکز نشر آثار پژوهشگاه فرهنگ و اندیشه اسلامی‏در سال 1382 به چاپ رسیده است. هر چند ناشر محترم در پیشگفتار دو صفحه‏ای خود، کتاب را با جملاتی از قبیل «مسیحیت و کلیسای سراپا ضعف و تحریف و انحراف» و «عده‏ای خودباخته» آراسته است که خواننده معمولاً انتظار ندارد در یک پژوهش علمی‏ با چنین موضعی روبه رو شود، ولی توضیحات...

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

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

چکیده ندارد.

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

در این پایان نامه منطق گزاره ای دلخواه را که شامل رابط های منطقی است را با افزودن دو عملگر یکتایی توسیع داده و منطق بدست آمده را l می نامیم و نشان می دهیم در این منطق قضایای اعتباری و کارسازی برقرار است .

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

منطق کلاسیک در نظریه کوانتوم با چالشهایی مواجه میشود که از آن جمله میتوان به پارادوکس دو شکاف، پارادوکس فون نیومن، پارادوکس شرودینگر و پارادوکس epr اشاره کرد. در این پایان نامه ضمن بررسی این پارادوکسها، رابطه میان آنها را نیز مورد بررسی قرار میدهیم و نشان میدهیم که همه آنها به امر واحدی اشاره دارند که همان مفهوم برهمنهی یا سرشتگی پدیدههای کوانتومی است. پس از بیان ناکارآمدی منطق کلاسیک در حوزه ک...

چکیده ندارد.