مطالعه نظریه جمع اعداد طبیعی
سال انتشار: 1397
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 584
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
MATHCO02_012
تاریخ نمایه سازی: 8 مرداد 1398
چکیده مقاله:
در این مقاله ، تصمیم پذیری ساختار اعداد طبیعی در زبان + بررسی خواهد شد. و تصمیم پذیری حساب پرس بورگر باا ستفاده از حذف سور توسط اندرتون نشان داده شده است. در این مقاله یک برهان جدید و متفاوت از برهان موجود ارائه خواهد شد
کلیدواژه ها:
نویسندگان