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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور کلید واژه ها
>
منطق تقلیل گرایانه
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 1
منطق تقلیل گرایانه و جستجوی اثبات: نظریه اثبات، معناشناسی و کنترل [کتاب انگلیسی]
نویسنده:
David J. Pym, Eike Ritter
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Oxford University Press, USA,
چکیده :
ترجمه ماشینی: پین (U. of Bath) و Ritter (U. از بیرمنگام) با تکیه بر تکنیک‌ها و فرهنگ فلسفه، اما بیشتر از تکنیک‌های ریاضیات و محاسبات، منطق تقلیل‌دهنده و جستجوی اثبات را معرفی می‌کنند. آنها استدلال می کنند که دیدگاه تقلیل کننده منطق حداقل به اندازه دیدگاه قیاسی اساسی است. برخی از مشکلاتی را که باید به منظور ارائه معنایی از جست و جوهای اثباتی با ارزشی قابل مقایسه با معناشناسی اثبات متناظر مورد بررسی قرار گیرند، شناسایی کنید. و توضیح دهید که چگونه می توان این مسائل را در منطق شهودی حل کرد، که به اندازه کافی نه تنها جنبه های منطقی، بلکه همچنین جنبه های عملیاتی سیستم تقلیل را مدل می کند. اکثر فصول به صورت جداگانه منتشر شده است.
مشخصات اثر
  • 1
  • تعداد رکورد ها : 1