درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
1514 مرتبه مشاهده شده
نظریه بازگشت ساختی
شجاع الدین، محمد حسین Shojaeddin, Mohammad Hossein
- شماره پایان نامه:50427
- کد دانشکده:02
- پديدآور: شجاع الدین، محمد حسین
- عنوان:نظریه بازگشت ساختی.
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1396.
- نام دانشکده:علوم ریاضی
- مقطع:کارشناسی ارشد
- گرایش:علوم کامپیوتر - نظریه محاسبه
- توصیف ظاهری:40ص.: جدول، نمودار، کتابنامه؛ چکیده به فارسی و انگلیسی
- توصیفگر: تابع های بازگشتی Recursive Functions
- توصیفگر: ریاضیات ساختی Constructive Mathematics
- توصیفگر: نظریه بازگشت Recursion Theory
- توصیفگر: ریاضیات ساختی بیشاپ Bishop's Constructive Mathematics
- استاد راهنما. اردشیر، محمد