درحال بارگذاري...
جستجو
جستجو در این کتاب
ترتيب بر اساس
برنامه هیلبرت
173 مرتبه مشاهده شده

برنامه هیلبرت

حسینی، محمد عرفان Hosseini, Mohammad Erfan

  1. شماره پایان نامه:56405
  2. کد دانشکده:02
  3. پديدآور: حسینی، محمد عرفان
  4. عنوان:برنامه هیلبرت.
  5. نام دانشگاه/پژوهشگاه:دانشگاه صنعتی شریف
  6. سال اخذ مدرك:1402.
  7. نام دانشکده:علوم ریاضی
  8. مقطع:کارشناسی ارشد
  9. گرایش:ریاضی محض
  10. توصیف ظاهری:78 ص.: جدول، نمودار، کتابنامه؛ چکیده به فارسی و انگلیسی
  11. توصیفگر: برنامه هیلبرت Hilbert Program
  12. توصیفگر: سازگاری Consistency
  13. توصیفگر: قاعده امگا Omega-Rule
  14. توصیفگر: سازگاری تقریبا متناهی‌ گون Almost Finitistic Consistency
  15. توصیفگر: ریاضیات وارونه Reverse Mathematics
  16. توصیفگر: دستگاه‌های خود تایید Self-Verifying Systems
  17. استاد راهنما. اردشیر، محمد

 فهرست محتوای دیجیتالی

 فهرست مطالب

اين منبع فهرست مطالبي ندارد

 فهرست نقدها