درحال بارگذاري...
جستجو
جستجو در این کتاب
ترتيب بر اساس
رهیافتی ساختی به مساله عدم قطعیت در توصیف صوری مبتنی بر تئوری مجموعه ها
980 مرتبه مشاهده شده

رهیافتی ساختی به مساله عدم قطعیت در توصیف صوری مبتنی بر تئوری مجموعه ها

موسوی، محمد رضا.

  1. شماره پایان نامه:33435
  2. کد دانشکده:19
  3. پديدآور: موسوی، محمد رضا.
  4. عنوان:رهیافتی ساختی به مساله عدم قطعیت در توصیف صوری مبتنی بر تئوری مجموعه ها.
  5. محل اخذ مدرك:تهران :
  6. نام دانشگاه/پژوهشگاه:صنعتی شریف
  7. سال اخذ مدرك:1380.
  8. نام دانشکده:مهندسی کامپیوتر
  9. گرایش:کارشناسی ارشد (نرم افزار)
  10. یادداشت:113ص0: جدول، کتابنامه
  11. توصیفگر: مهندسی نرم افزار Software Engineering
  12. توصیفگر: صورت گرایی Formalism
  13. توصیفگر: عدم قطعیت Uncertainty
  14. توصیفگر: برنامه نویسی کامپیوتری Computer Programming
  15. توصیفگر: ریاضیات ساختی Constructive Mathematics
  16. توصیفگر: نظریه مجموعه ها Set Theory
  17. استاد راهنما. میریان حسین آبادی، حسن،

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

 فهرست مطالب

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

 فهرست نقدها