- ارسالی‌ها
- 1,036
- پسندها
- 32,564
- امتیازها
- 59,573
- مدال‌ها
- 23
- سن
- 21
در پاییز، نغمه‌های نوشتن در آسمان معلق‌اند. داستان‌هایی که با هر دم سردی از باد، جان می‌گیرند و دل‌ها را می‌نوازند.
متفرقه منطق در علوم کامپیوتر
- نویسنده موضوع مَه گل
- تاریخ شروع
- پاسخ‌ها 3
- بازدیدها 270
- کاربران تگ شده هیچ
- ارسالی‌ها
- 1,036
- پسندها
- 32,564
- امتیازها
- 59,573
- مدال‌ها
- 23
- سن
- 21
- نویسنده موضوع
- #2
مبانی نظری وآنالیز
منطق در علوم کامپیوتر نقش اساسی دارد. برخی از زمینه های اصلی منطق که قابل توجه هستند عبارت اند از: نظریه محاسبه پذیری (که قبلاً تئوری بازگشت نامیده می شد) ، منطق موجهات و نظریه رسته ها است . نظریه محاسبه بر اساس مفاهیمی که توسط منطق دانان و ریاضیدانانی مانند آلونزو چرچ و آلن تورینگ تعریف شده، بنا شده است. ابتدا چرچ با استفاده از ایده تعریف پذیری لامبدای خود وجود مسائل غیرقابل حل الگوریتمی را نشان داد. تورینگ اولین تحلیل قانع کننده از آنچه را که می توان یک روش مکانیکی نامید ارائه داد و کورت گودل ادعا کرد که او تحلیل تورینگ را "کامل" می داند. علاوه بر این، برخی از زمینه های دیگر در همپوشانی نظری بین منطق و علوم کامپیوتر عبارتند از:- قضایای...
امضا : مَه گل
- ارسالی‌ها
- 1,036
- پسندها
- 32,564
- امتیازها
- 59,573
- مدال‌ها
- 23
- سن
- 21
- نویسنده موضوع
- #3
کامپیوتر ها برای کمک به منطق دانان
یکی از اولین کاربرد های اصطلاح هوش مصنوعی سیستم نظریه پرداز منطق بود که در سال 1956 توسط آلن نیوول، جی سی شاو و هربرت سیمون توسعه یافت. یکی از کارهایی که منطق دانان انجام می دهند این است که مجموعه ای از گزاره ها(شرط ها) در منطق را در نظر می گیرند و مجموعه نتایجی (یا گزاره های جدیدی) را که با استفاده از قوانین منطق درست هستند استنباط می کنند. برای مثال اگر در یک سیستم منطقی که می گوید "همه انسان ها فانی هستند" و "سقراط انسان است" آنگاه استنتاج "سقراط فانی است" معتبر می باشد. البته این یک مثال بدیهی است. در سیستم های منطقی واقعی گزاره ها می توانند بسیار متعدد و پیچیدتر باشند. خیلی زود پی برده شد که در این تحلیل و بررسی ها می توان از...امضا : مَه گل
- ارسالی‌ها
- 1,036
- پسندها
- 32,564
- امتیازها
- 59,573
- مدال‌ها
- 23
- سن
- 21
- نویسنده موضوع
- #4
