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