منطق لوکاسیویچ و توسیعه ای آن و تعمیم برخی نتایج به منطق گودل

سال انتشار: 1398
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 565

فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد

این مقاله در بخشهای موضوعی زیر دسته بندی شده است:

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ITCT06_013

تاریخ نمایه سازی: 24 شهریور 1398

چکیده مقاله:

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

نویسندگان

سیدمحمدامین خاتمی

گروه علوم کامپیوتر، دانشگاه صنعتی بیرجند، بیرجند، ایران

قاسم خاکشور

گروه علوم پایه، آموزشکده فنی و حرفه ای دختران بیرجند، دانشگاه فنی و حرفه ای، بیرجند، ایران