تمامیت در منطق پیوسته | کتابخانه مجازی الفبا

تمامیت در منطق پیوسته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
تمامیت در منطق پیوسته
کتابخانه مجازی الفبا
1390
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
تمامیت در منطق پیوسته
ویرایش اثر
مقطع تحصیلی رساله تحصیلی:
کارشناسی ارشد
رشته تحصیلی:
ریاضیات
محل تحصیل رساله تحصیلی:
دانشگاه تربیت مدرس
پدیدآورندگان :
کشاورزیان , جاثیه (نویسنده)
باقری, سیدمحمد (استاد راهنما رساله تحصیلی)
وضعیت نشر :
تهران ، دانشگاه تربیت مدرس ، 1390
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
منابع دیجیتالی مرتبط :
متن ناقص پایان نامه
نویسنده :
جاثیه کشاورزیان
زبان :
فارسی
منبع اصلی :
https://ganj-old.irandoc.ac.ir/articles/553457
جنس منبع:
متن
پایگاه :
پ:پایگاه پایان نامه
یادداشت :
نوع منبع :
رساله تحصیلی
مخاطب :
بزرگسال , تخصصی
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال