درحال بارگذاري...
جستجو
جستجو در این کتاب
ترتيب بر اساس
تز چرچ و مبانی فلسفی محاسبه پذیری
1302 مرتبه مشاهده شده

تز چرچ و مبانی فلسفی محاسبه پذیری

سلطانی، مجتبی.

  1. شماره پایان نامه:36415
  2. کد دانشکده:42
  3. پديدآور: سلطانی، مجتبی.
  4. عنوان:تز چرچ و مبانی فلسفی محاسبه پذیری.
  5. نام دانشگاه/پژوهشگاه:صنعتی شریف
  6. سال اخذ مدرك:1384
  7. نام دانشکده:فلسفه علم
  8. گرایش:کارشناسی ارشد
  9. یادداشت:128ص0: کتابنامه؛ چکیده به فارسی و انگلیسی
  10. توصیفگر: توابع بازگشتی Recursive Functions
  11. توصیفگر: ماشین تورینگ Turing Machine
  12. توصیفگر: محاسبه پذیری Computability
  13. توصیفگر: تدقیق Explication
  14. استاد راهنما. اردشیر، محمد،

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

 فهرست مطالب

 فهرست نقدها