درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
2091 مرتبه مشاهده شده
رویکردی اثباتی به معنای ثوابت منطقی (نظریه انواع مارتین لاف)
روان، علیرضا.
- شماره پایان نامه:34517
- کد دانشکده:42
- پديدآور: روان، علیرضا.
- عنوان:رویکردی اثباتی به معنای ثوابت منطقی (نظریه انواع مارتین لاف).
- محل اخذ مدرك:تهران :
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1382
- نام دانشکده:فلسفه علم
- گرایش:کارشناسی ارشد
- یادداشت:100ص0: جدول، کتابنامه
- توصیفگر: نظریه برهان Proof Theory
- توصیفگر: نظریه شهودی انواع Intuitionistic Type Theory
- توصیفگر: نظریه معنا Meaning Theory
- توصیفگر: حکم Judgment
- توصیفگر: گزاره Proposition
- توصیفگر: ثابت منطقی Logical Constant
- توصیفگر: قواعد استنتاج Inference Rules
- استاد راهنما. موحد، ضیاء،
- محتواي پايان نامه
- مشاهده