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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 4
منطق‌های تطبیقی ​​برای استدلال غیرقابل قبول: کاربردها در استدلال، استدلال هنجاری و استدلال پیش‌فرض [کتاب انگلیسی]
نویسنده:
Christian Straßer
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Springer,
کلیدواژه‌های اصلی :
چکیده :
ترجمه ماشینی: این کتاب منطق تطبیقی را به عنوان چارچوبی بصری و قدرتمند برای مدل‌سازی استدلال غیرقابل قبول ارائه می‌کند. این زمینه‌های مختلفی را بررسی می‌کند که در آن‌ها استدلال قابل انکار مفید است و مقدمه‌ای فشرده در منطق تطبیقی ارائه می‌دهد. نویسنده ابتدا خوانندگان را با استدلال قابل ابطال، چارچوب منطق تطبیقی، ترکیبی از منطق های تطبیقی، و طیف وسیعی از ویژگی های فرانظری مفید آشنا می کند. او سپس یک مطالعه سیستماتیک از منطق تطبیقی بر اساس کاربردهای مختلف ارائه می دهد. این کتاب مدل‌های رسمی برای استدلال انکارناپذیر را ارائه می‌کند که از زمینه‌های مختلف ناشی می‌شوند، مانند استدلال پیش‌فرض، استدلال، و استدلال هنجاری. مزیت‌های فرانظری مختلف منطق‌های تطبیقی را نسبت به سایر منطق‌ها یا چارچوب‌های منطقی که استدلال انکارپذیر را مدل می‌کنند، برجسته می‌کند. به این ترتیب کتاب وضعیت منطق های تطبیقی را به عنوان یک چارچوب رسمی عمومی برای استدلال غیرقابل اثبات اثبات می کند.
درآمدی بر منطق پیش‌فرض [کتاب انگلیسی]
نویسنده:
Philippe Besnard (auth.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Springer-Verlag Berlin Heidelberg,
کلیدواژه‌های اصلی :
چکیده :
ترجمه ماشینی: این کتاب برای کسانی نوشته شده است که علاقه مند به fonnalization استدلال انسانی هستند، به ویژه به منظور ساختن سیستم های کامپیوتری "هوشمند". بنابراین، عمدتاً برای جامعه هوش مصنوعی، هم دانشجویان و هم محققان طراحی شده است، اگرچه می تواند برای افرادی که در زمینه های مرتبط مانند روانشناسی شناختی کار می کنند مفید باشد. موضوع اصلی برنامه‌های هوش مصنوعی نیست، اگرچه اینها در قالب طرح مورد بحث قرار گرفته‌اند. در عوض، کتاب تاکید زیادی بر توسعه منطقی پیش‌فرض، نتایج و مشکلات دارد. منطق پیش‌فرض برای بخش مهمی از استدلال انسان، فونالیسم ارائه می‌کند. منطق پیش فرض به طور خاص به استدلال عقل سلیم مربوط می شود، که اخیراً در ادبیات هوش مصنوعی به عنوان اهمیت اساسی برای بازنمایی دانش شناخته شده است. پیش از این، سیستم‌های استدلال fonnalized در محیط‌های دنیای واقعی شکست می‌خوردند، اگرچه با نسبت قابل قبولی در محیط‌های کاملاً تعریف شده موفق بودند. این وضعیت کاوش های تجربی و طراحی سیستم ها را بدون توجیه نظری امکان پذیر کرد. به ویژه، نمی توان آنها را با هم مقایسه کرد، زیرا هیچ مبنایی برای قضاوت در مورد شایستگی های مربوط به آنها وجود نداشت. منطق پیش فرض با اثبات درستی برخی از آنها بسیار مثمر ثمر بود. ما امیدواریم که این کتاب آغازگر پیشرفت های موفق دیگری در منطق پیش فرض باشد.
فرهنگ نامه منطق
نویسنده:
نرگس نیمروزی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
قم: بوستان کتاب قم ,
چکیده :
این کتاب اصطلاح نامه‌ای توصیفی و دو زبانه (فارسی - انگلیسی) است که بیش از سه هزار اصطلاح ضروری و پرکاربرد علم منطق درآن گردآوری شده است. دامنه اصطلاحات این فرهنگ نامه، منطق قدیم و جدید و برخی شاخه‌های آن را دربردارد. مولف با استفاده از منابع فارسی، عربی، انگلیسی و پایگاه‌های متعدد اینترنتی معتبر فلسفی و منطقی این اصطلاحاترا تدوین نموده است. نکات قابل توجه این فرهنگ نامه عبارتند از: نثر روان، طراحی جدول‌های متفاوت و ابتکاری، مستندسازی اصطلاحات، تنوع حوزه‌های اصطلاحات، بهره‌گیری از منابع معتبر کهن و معاصر عربی و انگلیسی، همچنین جامعیت و مدخل‌های توصیفی این اثر می‌باشد
  • تعداد رکورد ها : 4