درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
4873 مرتبه مشاهده شده
اثبات قضایای ناتمامیت گودل و لم قطریسازی
حبیبی، رضا.
- شماره پایان نامه:32656
- کد دانشکده:42
- پديدآور: حبیبی، رضا.
- عنوان:اثبات قضایای ناتمامیت گودل و لم قطریسازی.
- محل اخذ مدرك:تهران :
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1378
- نام دانشکده:فلسفه علم
- گرایش:کارشناسی ارشد
- یادداشت:75ص.،کتابنامه
- توصیفگر: سازگاری Consistency
- توصیفگر: نمایش دادن Representation
- توصیفگر: اثبات Proving
- توصیفگر: منطق ریاضی Mathematical Logic
- توصیفگر: مدل های ریاضی Mathematical Models
- توصیفگر: حساب Arithmetic
- توصیفگر: قضیه گودل.
- توصیفگر: قطری سازی Diagonalization
- استاد راهنما. اردشیر، محمد،
- محتواي پايان نامه
- مشاهده