درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
173 مرتبه مشاهده شده
برنامه هیلبرت
حسینی، محمد عرفان Hosseini, Mohammad Erfan
- شماره پایان نامه:56405
- کد دانشکده:02
- پديدآور: حسینی، محمد عرفان
- عنوان:برنامه هیلبرت.
- نام دانشگاه/پژوهشگاه:دانشگاه صنعتی شریف
- سال اخذ مدرك:1402.
- نام دانشکده:علوم ریاضی
- مقطع:کارشناسی ارشد
- گرایش:ریاضی محض
- توصیف ظاهری:78 ص.: جدول، نمودار، کتابنامه؛ چکیده به فارسی و انگلیسی
- توصیفگر: برنامه هیلبرت Hilbert Program
- توصیفگر: سازگاری Consistency
- توصیفگر: قاعده امگا Omega-Rule
- توصیفگر: سازگاری تقریبا متناهی گون Almost Finitistic Consistency
- توصیفگر: ریاضیات وارونه Reverse Mathematics
- توصیفگر: دستگاههای خود تایید Self-Verifying Systems
- استاد راهنما. اردشیر، محمد
- محتواي کتاب
- مشاهده