درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
2353 مرتبه مشاهده شده
منطق تعبیرپذیری واثبات پذیری
معمارزاده، مسعود.
- شماره پایان نامه:34774
- کد دانشکده:02
- پديدآور: معمارزاده، مسعود.
- عنوان:منطق تعبیرپذیری واثبات پذیری.
- محل اخذ مدرك:تهران :
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1382
- نام دانشکده:علوم ریاضی
- گرایش:کارشناسی ارشد (ریاضی محض)
- یادداشت:124ص0: کتابنامه
- توصیفگر: حساب Arithmetic
- توصیفگر: منطق موجهات Modal Logic
- توصیفگر: اثبات پذیری Provability
- توصیفگر: تعبیرپذیری Interpretability
- استاد راهنما. اردشیر، محمد،
-
محتواي پايان نامه
- مشاهده