تحقیق درمورد منطق محاسباتی 34 ص

اختصاصی از هایدی تحقیق درمورد منطق محاسباتی 34 ص دانلود با لینک مستقیم و پر سرعت .

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 39

منطق محاسباتی

خلاصه

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

1- مقدمه

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

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

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

2. پایه‌ی منطق محاسباتی

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

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

تحقیق در مورد انگیزه های مخالفت با حکومت علوی 34 ص

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

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 34

فهرست مطالب

عنوان صفحه

مقدمه ....................................................................................................................................

1- حسادت ورزی و برتری جویی نسبت به خاندان پیامبر ......................................

2- کینه توزی و انتقامجویی اعراب و قریش ................................................................

3- هواپرستی و خودخواهی ............................................................................................

4- عدم تحمل عدل علوی .................................................................................................

جنگ جمل و انگیزه های برپاکنندگان آن .........................................................................

فزون طلبی و امتیازخواهی ..............................................................................................

انگیزه واهی خونخواهی عثمان ...............................................................................................

ریاست طلبی، انگیزه اصلی شورش ناکثین ......................................................................

زمینه های جنگ صفین و انگیزه قاسطین ........................................................................

سودای تشکیل امپراطوری اموی، انگیزه اصلی معاویه .................................................

فتنه مارقین، از جهل و جمودشان سرچشمه می گرفت ..................................................

سستی و ناپایداری در دفاع از حق .................................................................................

مقدمه

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

در باره حکومت ظاهری امام علی(ع) و به تعبیر دیگر، حکومت علوی، چند مسأله از مسلّمات تاریخی است.

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

"ازدحام فراوانی که مانند یالهای کفتار بود [به هم فشرده و انبوه] مرا به قبول خلافت واداشت . آنان، از هر طرف، مرا احاطه کردند [و] چیزی نمانده بود که دو نور چشمم زیر پا له شوند! آن چنان جمعیت به پهلوهایم فشار آورد که سخت مرا به رنج انداخت و ردایم از دو سو پاره شد! مردم همانند گوسفندانی [گرگ زده که دور تا دور چوپان جمع شوند مرا در میان گرفتند.]

مانند شترهای ماده ای که به فرزندان خود روی آورند، به سوی من روی آوردید و می گفتید: "بیعت!بیعت!".من،دستم رابستم وشماآن رامی گشودید.من،آن راازشمابرمی گرفتم وشما به سوی خود می کشیدید."

طبری نیز نقل می کند که امام علی(ع) در برابر اصرار مردم بر بیعت، فرمود: "این کار - بیعت - را نکنید. اگر من، وزیر و همکار امام مسلمانان باشم، بهتر از این است که امیر و حاکم بر مسلمانان باشم."، اما آنان گفتند: "به خدا سوگند! ما، تو را رها نمی کنیم تا این که با تو بیعت کنیم."

دوم اینکه امام(ع) پیش از این، برای رسیدن به امامت و حکومت ظاهری و زعامت سیاسی - که آن را حق مسلّم خود می دانست - از هر گونه تلاش و اقدام ممکن، خودداری نورزید، اما پس