جستجوي پيشرفته | کتابخانه مجازی الفبا

کانال ارتباطی از طریق پست الکترونیک : support@alefbalib.com

نام :*

نام خانوادگی :*

پست الکترونیک :*

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

ارسال انصراف

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

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

پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی

جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن

: جستجو در الفبا در گوگل

...جستجوی هوشمند

مرور > مرور کلید واژه ها

خاصیت تفکیک پذیری

مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو

تعداد رکورد ها : 1

عنوان :

قواعد پذیرفتنی در منطق گبی-دیانگ

نویسنده:

آمنه پیرمرادی

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,

کلیدواژه‌های اصلی :

منطق ریاضی , منطق جدید , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق شهودگرا Intuitionistic Logic , منطق میانی , خاصیت تفکیک پذیری , قوانین پذیرفتنی , منطق گبی-دیانگ

چکیده :

در این پایان‌نامه قواعد پذیرفتنی منطق‌های میانی را مطالعه کرده و نتایج کلی برای توسیع‌های مدل‌ها و مجموعه‌ی فرمول‌ها را ارائه می‌کنیم. این نتایج کلی برای بدست آوردن پایه‌ای برای قواعد پذیرفتنی منطق‌های گبی-دیانگ و نشان دادن اینکه این منطق‎ها تایپ یکسان‌سازی متناهی دارند بکار برده می‌شود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه می‌کنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزاره‌ای را بررسی نماید

مشخصات اثر

تعداد رکورد ها : 1

از :	{0}
پست الکترونیک :	{1}
تلفن :	{2}
دورنگار :	{3}
Aaddress :	{4}
متن :	{5}

جستجوي پيشرفته | کتابخانه مجازی الفبا

ورود

ثبت نام

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