منطق لوکاسیویچ و توسیعه ای آن و تعمیم برخی نتایج به منطق گودل
سال انتشار: 1398
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 565
فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
این مقاله در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ITCT06_013
تاریخ نمایه سازی: 24 شهریور 1398
چکیده مقاله:
ابتدا منطق لوکاسیویچ گزارهای و منطق پاولکا را بررسی میکنیم. سپس به معرفی منطق پیوسته پرداخته و برخی نتایج شناخته شده آن را مرور میکنیم. در انتها سعی میکنیم موضوع را به منطق گودل تعمیم دهیم. مطالب ارائه شده در واقع خلاصه و تعمیمی هستند از قسمتی از مطالب مقاله تالیفی توسط مولف اول خاتمی & پورمهدیان .1397
کلیدواژه ها:
نویسندگان
سیدمحمدامین خاتمی
گروه علوم کامپیوتر، دانشگاه صنعتی بیرجند، بیرجند، ایران
قاسم خاکشور
گروه علوم پایه، آموزشکده فنی و حرفه ای دختران بیرجند، دانشگاه فنی و حرفه ای، بیرجند، ایران