بررسی تصمیم پذیری نظریه ضرب اعداد طبیعی
Publish Year: 1399
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 627
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
FMCBC03_004
تاریخ نمایه سازی: 19 اسفند 1399
Abstract:
نظريه ضرب اعداد طبيعی نظريه ای از مجموعه اعداد طبيعی با عمل ضرب است. در اين مقاله تصميم پذيری (يعنی مراحلی تصميم گيری و الگوريتمی وجود دارد که برای ھر جمله ϕ از زبان L تعيين می کند که T ⊢ ϕ يانه) بررسی می شود. برای اين منظور ھم چنين نظريه جمع اعداد طبيعی را مطالعه می کنيم و ارتباط تصميم پذيری نظريه جمع اعداد طبيعی با نظريه ضرب اعداد طبيعی را نشان خواھيم داد.
Keywords:
تصمیم پذیری - تمامیت - تصمیم پذیری
Authors
زهرا شیخ الاسلامی
دانشجوی دکترای جبر- منطق . تبریزبلوار ۲۹ بهمن دانشگاه تبریز دانشکده ریاضی