شیوه استنتاج طبیعی در سیستم های زمانی kt و kc | کتابخانه مجازی الفبا

شیوه استنتاج طبیعی در سیستم های زمانی kt و kc | کتابخانه مجازی الفبا

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
شیوه استنتاج طبیعی در سیستم های زمانی kt و kc
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
شیوه استنتاج طبیعی در سیستم های زمانی kt و kc
ویرایش اثر
چکیده :
منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شیوه ای از استنتاج طبیعی را در پاره ای از سیستم های منطق زمان همچون kt و kc معرفی نموده و در محاسبات صوری این سیستم ها بکار گیرد.
منابع دیجیتالی مرتبط :
نسخه PDF
متکلمان و سایر شخصیت ها :
لطف الله نبوی
نویسنده :
لطف الله نبوی
منبع اصلی :
http://www.ensani.ir/fa/content/3475/default.aspx
جنس منبع:
متن
پایگاه :
پایگاه مجلات 2 (فلسفه (دانشگاه تهران)- سال 1381- شماره 4،5)
نوع منبع :
مقاله , کتابخانه عمومی
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال