منطق لوکاسیویچ و توسیعه ای آن و تعمیم برخی نتایج به منطق گودل
Publish Year: 1398
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 604
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
این Paper در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ITCT06_013
تاریخ نمایه سازی: 24 شهریور 1398
Abstract:
ابتدا منطق لوکاسیویچ گزارهای و منطق پاولکا را بررسی میکنیم. سپس به معرفی منطق پیوسته پرداخته و برخی نتایج شناخته شده آن را مرور میکنیم. در انتها سعی میکنیم موضوع را به منطق گودل تعمیم دهیم. مطالب ارائه شده در واقع خلاصه و تعمیمی هستند از قسمتی از مطالب مقاله تالیفی توسط مولف اول خاتمی & پورمهدیان .1397
Keywords:
Authors
سیدمحمدامین خاتمی
گروه علوم کامپیوتر، دانشگاه صنعتی بیرجند، بیرجند، ایران
قاسم خاکشور
گروه علوم پایه، آموزشکده فنی و حرفه ای دختران بیرجند، دانشگاه فنی و حرفه ای، بیرجند، ایران