جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
4. اصطلاحنامه سایر موضوعات
>
اصطلاحنامه منطق
>
منطق جدید
>
منطق غیر کلاسیک (منطق های توسعه یافته)
>
منطق های نایکنواخت Nonmonotonic logic
>
منطق پیشفرض
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
1
تعداد رکورد ها : 4
عنوان :
منطقهای تطبیقی برای استدلال غیرقابل قبول: کاربردها در استدلال، استدلال هنجاری و استدلال پیشفرض [کتاب انگلیسی]
نویسنده:
Christian Straßer
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer,
زبان :
انگلیسی
کلیدواژههای اصلی :
منطق تطبیقی
,
منطق پیشفرض
چکیده :
ترجمه ماشینی: این کتاب منطق تطبیقی را به عنوان چارچوبی بصری و قدرتمند برای مدلسازی استدلال غیرقابل قبول ارائه میکند. این زمینههای مختلفی را بررسی میکند که در آنها استدلال قابل انکار مفید است و مقدمهای فشرده در منطق تطبیقی ارائه میدهد. نویسنده ابتدا خوانندگان را با استدلال قابل ابطال، چارچوب منطق تطبیقی، ترکیبی از منطق های تطبیقی، و طیف وسیعی از ویژگی های فرانظری مفید آشنا می کند. او سپس یک مطالعه سیستماتیک از منطق تطبیقی بر اساس کاربردهای مختلف ارائه می دهد. این کتاب مدلهای رسمی برای استدلال انکارناپذیر را ارائه میکند که از زمینههای مختلف ناشی میشوند، مانند استدلال پیشفرض، استدلال، و استدلال هنجاری. مزیتهای فرانظری مختلف منطقهای تطبیقی را نسبت به سایر منطقها یا چارچوبهای منطقی که استدلال انکارپذیر را مدل میکنند، برجسته میکند. به این ترتیب کتاب وضعیت منطق های تطبیقی را به عنوان یک چارچوب رسمی عمومی برای استدلال غیرقابل اثبات اثبات می کند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
درآمدی بر منطق پیشفرض [کتاب انگلیسی]
نویسنده:
Philippe Besnard (auth.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer-Verlag Berlin Heidelberg,
زبان :
انگلیسی
کلیدواژههای اصلی :
منطق پیشفرض
چکیده :
ترجمه ماشینی: این کتاب برای کسانی نوشته شده است که علاقه مند به fonnalization استدلال انسانی هستند، به ویژه به منظور ساختن سیستم های کامپیوتری "هوشمند". بنابراین، عمدتاً برای جامعه هوش مصنوعی، هم دانشجویان و هم محققان طراحی شده است، اگرچه می تواند برای افرادی که در زمینه های مرتبط مانند روانشناسی شناختی کار می کنند مفید باشد. موضوع اصلی برنامههای هوش مصنوعی نیست، اگرچه اینها در قالب طرح مورد بحث قرار گرفتهاند. در عوض، کتاب تاکید زیادی بر توسعه منطقی پیشفرض، نتایج و مشکلات دارد. منطق پیشفرض برای بخش مهمی از استدلال انسان، فونالیسم ارائه میکند. منطق پیش فرض به طور خاص به استدلال عقل سلیم مربوط می شود، که اخیراً در ادبیات هوش مصنوعی به عنوان اهمیت اساسی برای بازنمایی دانش شناخته شده است. پیش از این، سیستمهای استدلال fonnalized در محیطهای دنیای واقعی شکست میخوردند، اگرچه با نسبت قابل قبولی در محیطهای کاملاً تعریف شده موفق بودند. این وضعیت کاوش های تجربی و طراحی سیستم ها را بدون توجیه نظری امکان پذیر کرد. به ویژه، نمی توان آنها را با هم مقایسه کرد، زیرا هیچ مبنایی برای قضاوت در مورد شایستگی های مربوط به آنها وجود نداشت. منطق پیش فرض با اثبات درستی برخی از آنها بسیار مثمر ثمر بود. ما امیدواریم که این کتاب آغازگر پیشرفت های موفق دیگری در منطق پیش فرض باشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
واژهنامهی توصیفی منطق: انگلیسی به فارسی
نویسنده:
ضیا، موحد
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
تهران: پژوهشگاه علوم انسانی و مطالعات فرهنگی,
زبان :
انگلیسی , فارسی
کلیدواژههای اصلی :
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق مرتبه دوم
,
منطق این همانی
,
منطق موجهات
,
منطق شناختی
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق غیر صوری informal logic
,
منطق فراگیر inclusive logic
,
منطق شهودگرا Intuitionistic Logic
,
منطق های ساختاری
,
منطق های فراسازگار
,
منطق فازی
,
منطق احتمالاتی Probabilistic logic
,
منطق آزاد
,
منطق های نایکنواخت Nonmonotonic logic
,
منطق ابهام
,
منطق پیشفرض
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فرهنگ نامه منطق
نویسنده:
نرگس نیمروزی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
قم: بوستان کتاب قم ,
زبان :
فارسی
کلیدواژههای اصلی :
فرهنگ نامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق مرتبه دوم
,
منطق این همانی
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق غیر صوری informal logic
,
منطق فراگیر inclusive logic
,
منطق شهودگرا Intuitionistic Logic
,
منطق های ساختاری
,
منطق های فراسازگار
,
منطق فازی
,
منطق احتمالاتی Probabilistic logic
,
منطق آزاد
,
منطق های نایکنواخت Nonmonotonic logic
,
منطق ابهام
,
منطق پیشفرض
,
اصطلاح نامه توصیفی
چکیده :
این کتاب اصطلاح نامهای توصیفی و دو زبانه (فارسی - انگلیسی) است که بیش از سه هزار اصطلاح ضروری و پرکاربرد علم منطق درآن گردآوری شده است. دامنه اصطلاحات این فرهنگ نامه، منطق قدیم و جدید و برخی شاخههای آن را دربردارد. مولف با استفاده از منابع فارسی، عربی، انگلیسی و پایگاههای متعدد اینترنتی معتبر فلسفی و منطقی این اصطلاحاترا تدوین نموده است. نکات قابل توجه این فرهنگ نامه عبارتند از: نثر روان، طراحی جدولهای متفاوت و ابتکاری، مستندسازی اصطلاحات، تنوع حوزههای اصطلاحات، بهرهگیری از منابع معتبر کهن و معاصر عربی و انگلیسی، همچنین جامعیت و مدخلهای توصیفی این اثر میباشد
انتخاب :
مشخصات اثر
ثبت نظر
1
تعداد رکورد ها : 4
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید