نظریهٔ مدل محدود و برخی کاربردهای آن در حساب محدود

The Review of Laser Engineering Pub Date : 2021-09-23 DOI:10.30465/LSJ.2021.36251.1358

ابوالفضل علم, مرتضی منیری

{"title":"نظریهٔ مدل محدود و برخی کاربردهای آن در حساب محدود","authors":"ابوالفضل علم, مرتضی منیری","doi":"10.30465/LSJ.2021.36251.1358","DOIUrl":null,"url":null,"abstract":"نظریة مدل محدود را می‌توان بخشی از نظریة مدل دانست که هدف آن بررسی مفاهیم و نتایج نظریة مدل در یک زبان شامل یک رابطة ترتیبی است در حالتی که سورهای مورد بحث همگی از نوع محدود هستند. از نظریة مدل محدود می‌توان برای مطالعة مسائل مربوط به نظریة حساب محدود استفاده کرد. حساب محدود را می‌توان زیرنظریه‌ای از حساب مرتبة اول پئانو در زبانی گسترش‌یافته دانست. خود حساب محدود، کاربردهای فراوانی در نظریة پیچیدگی محاسبات دارد. با تعریف و مطالعة مفاهیم پایه‌ای نظریة مدل در حالت محدود مانند حذف سور محدود و مدل‌ کامل محدود، نتایج جالبی در نظریة مدل با کاربردهایی در نظریۀ پیچیدگی محاسبه و حساب محدود به دست آمده است. در این مقاله، ضمن مروری بر نتایج موجود در این زمینه، برخی مفاهیم و نتایج جدید را در این راستا ارائه می‌کنیم و ارتباط‌های آن‌ها را با برخی مسائل بنیادی در نظریة پیچیدگی محاسبه مطالعه می‌کنیم.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"59 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Review of Laser Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.30465/LSJ.2021.36251.1358","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

نظریة مدل محدود را می‌توان بخشی از نظریة مدل دانست که هدف آن بررسی مفاهیم و نتایج نظریة مدل در یک زبان شامل یک رابطة ترتیبی است در حالتی که سورهای مورد بحث همگی از نوع محدود هستند. از نظریة مدل محدود می‌توان برای مطالعة مسائل مربوط به نظریة حساب محدود استفاده کرد. حساب محدود را می‌توان زیرنظریه‌ای از حساب مرتبة اول پئانو در زبانی گسترش‌یافته دانست. خود حساب محدود، کاربردهای فراوانی در نظریة پیچیدگی محاسبات دارد. با تعریف و مطالعة مفاهیم پایه‌ای نظریة مدل در حالت محدود مانند حذف سور محدود و مدل‌ کامل محدود، نتایج جالبی در نظریة مدل با کاربردهایی در نظریۀ پیچیدگی محاسبه و حساب محدود به دست آمده است. در این مقاله، ضمن مروری بر نتایج موجود در این زمینه، برخی مفاهیم و نتایج جدید را در این راستا ارائه می‌کنیم و ارتباط‌های آن‌ها را با برخی مسائل بنیادی در نظریة پیچیدگی محاسبه مطالعه می‌کنیم.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

نظریة مدل محدود را میتوان بخشی از نظریة مدل دانست که هدف آن برسی مفاهیم و نتاج نظریة مدل در یک زبان شامل یک رابطة ترتیبی است در حالتی هک سورهای مورد بحث همگی از نوع محدود هستند.از نظریة مدل محدود میتوان برای مطالعة مسائل مربوط به نظریة حساب محدود استفاده کرد.حساب محدود را میتوان زیرنظریهای از حساب مرتبة اول پئانو در زبانی گسترشیافته دانست.خود حساب محدود، کاربردهای فراوانی در نظریة پیچیدگی محاسبات دارد.با تعریف و مطالعة مفاهیم پایهای نظریة مدل در حالت محدود مانند حذف سور محدود و مدل کامل محدود، نتایج جالبی در نظریة مدل با کاربردهای در نظریۀ پیچیدگی محاسبه و حساب محدود به دست آمده است.در این مقاله، ضمن مروری بر نتایج موجود در این زمینه، برخی مفاهیم و نتایج جدید را در این راستا ارائه میکنیم و ارتباطهای آنها را با برخی مسائل بنیادی در نظریة پیچیدگی محاسبه مطالعه میکنیم.

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

The Review of Laser Engineering

自引率

0.00%

发文量

期刊最新文献

Breda Ridderstraat 7 حمل شیء بر خود: حمل اولی، شایع یا اینهمانی منطق جدید نظریهٔ مدل محدود و برخی کاربردهای آن در حساب محدود استراوسون و نظریه انشائی صدق سمنتیک عبارتهای ناشمار انضمامی