درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
980 مرتبه مشاهده شده
رهیافتی ساختی به مساله عدم قطعیت در توصیف صوری مبتنی بر تئوری مجموعه ها
موسوی، محمد رضا.
- شماره پایان نامه:33435
- کد دانشکده:19
- پديدآور: موسوی، محمد رضا.
- عنوان:رهیافتی ساختی به مساله عدم قطعیت در توصیف صوری مبتنی بر تئوری مجموعه ها.
- محل اخذ مدرك:تهران :
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1380.
- نام دانشکده:مهندسی کامپیوتر
- گرایش:کارشناسی ارشد (نرم افزار)
- یادداشت:113ص0: جدول، کتابنامه
- توصیفگر: مهندسی نرم افزار Software Engineering
- توصیفگر: صورت گرایی Formalism
- توصیفگر: عدم قطعیت Uncertainty
- توصیفگر: برنامه نویسی کامپیوتری Computer Programming
- توصیفگر: ریاضیات ساختی Constructive Mathematics
- توصیفگر: نظریه مجموعه ها Set Theory
- استاد راهنما. میریان حسین آبادی، حسن،
- محتواي پايان نامه
- مشاهده