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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور کلید واژه ها
>
منطق شناخت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 3
جنبه‌هایی از منطق تلفیقی اثباتها و اثبات‌پذیری
نویسنده:
مقداد قاری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می‌پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ JB (صورت صریح منطق موجه براوری ‎ KB)، ‎ JGL (صورت صریح منطق اثبات‌پذیری گودل لوب ‎ GL)‎ و JLD (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبات قضیه تحقق برای KB‎ با استفاده از نگاشت نشاندن، اثبات قضیه تحقق برای GL‎ به صورت نحوی، و اثبات قضیه تحقق برای JLD ‎ به صورت معنایی. ارایه دستگاههای اثبات گنتسنی برای منطقهای توجیه و اثبات قضیه حذف برش برای آنها، از جمله: دستگاههای گنتسنی LPG‎ وLPLG ‎ برای منطق اثباتها، دستگاههای گنتسنی S4LPG و S4LPLG برای منطق شناختی با توجیه ‎ S4LP ‎، دستگاه ابر رشته‌ای ‎ S4LPNLH برای منطق شناختی با توجیه ‎ S4LPN و دستگاههای رشته‌ای برچسب‌دار برای منطقهای توجیه و منطقهای شناختی با توجیه.
مشخصات اثر
منطق شناختی سوردار برای بررسی آگاهی در سیستم‌های چند عاملی
نویسنده:
حمید احمدی میرقائد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
در این پایان نامه نقش اگاهی در سیستم های چند عاملی بر پایه منطق مرتبه اول مورد بررسی قرار می گیرد.این کار در گذشته بر پایه منطق گزاره ای انجام شده است.در این پایان نامه سیستم های حالات سراسری معرفی می گردند.سپس تناظر یک به یک بین این سیستم ها و ساختارهای کریپکی معرفی می گردند. در ادامه با ارائه یک دستگاه مناسب سلامت و تمامیت آن با این سیستم ها مورد بررسی قرار گرفته و در آخر مثالی ارائه می گردد.
مشخصات اثر
پیش‌فرض‌های فلسفی منطق معرفت
نویسنده:
علی عباس‌نژاد
نوع منبع :
رساله تحصیلی
وضعیت نشر :
ایرانداک,
چکیده :
معرفت شناسی‌ یکی‌ از مهم‌ترین مباحث فلسفه است. اهمیت معرفت شناسی‌ در بسیاری از قسمت های فلسفه، منطق دانان را وا داشت به دنبال یافتن نظامی صوری از معرفت شناسی‌ باشند، تا بتوان در قسمت‌های مختلف فلسفه و علم از آن استفاده کرد. سرانجام، منطق دانان موفق شدند که منطقی‌ را طراحی کنند، که استدلال‌های معرفتی را صورت بندی می‌کند.این منطق در علوم کامپیوتر کارایی غیر قابل انکاری دارد، و سبب رشد و توسعه بسیاری از مباحث هوش مصنوعی شده است. اما در مورد کاری آن در معرفت شناسی‌، همواره به دیده تردید نگریسته شد. هدف ما در این رساله نشان دادن ناکارآمدی منطق معرفت در مباحث معرفت شناسی‌، بررسی‌ ریشه‌های این ناکارآمدی، و بررسی تعامل منطق معرفت و معرفت شناسی است.
مشخصات اثر
  • 1
  • تعداد رکورد ها : 3