جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
منطق غیر کلاسیک
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
1
تعداد رکورد ها : 2
عنوان :
نظریه مدل منطق شهودی و اجبار [کتاب انگلیسی]
نویسنده:
Melvin Fitting
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
North-Holland Pub,
زبان :
انگلیسی
کلیدواژههای اصلی :
منطق شهودگرا
,
منطق غیر کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
برنامه ریزی منطق استقرایی احتمالاتی: نظریه و کاربردها [کتاب انگلیسی]
نویسنده:
Luc De Raedt, Kristian Kersting (auth.), Luc De Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton (eds.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer-Verlag Berlin Heidelberg,
زبان :
انگلیسی
کلیدواژههای اصلی :
منطق استقرایی
,
منطق احتمالاتی
,
منطق غیر کلاسیک
,
منطق استقرایی احتمالاتی
چکیده :
ترجمه ماشینی: این سوال که چگونه احتمال و منطق را با یادگیری ترکیب کنیم، در چندین رشته مانند بازنمایی دانش، استدلال در مورد عدم قطعیت، داده کاوی و یادگیری ماشین به طور شبیه سازی توجه بیشتری را به خود جلب کرده است. این امر منجر به ایجاد زیرشاخه تازه در حال ظهور می شود که با نام های یادگیری رابطه ای آماری و برنامه ریزی منطق استقرایی احتمالی شناخته می شود. این کتاب مقدمه ای بر این رشته با تاکید بر روش های مبتنی بر اصول برنامه نویسی منطقی ارائه می دهد. با فرمالیسم ها و سیستم ها، پیاده سازی ها و کاربردها و همچنین با نظریه برنامه ریزی منطق استقرایی احتمالی سروکار دارد. 13 فصل این بررسی پیشرفته با مقدمه ای بر برنامه ریزی منطق استقرایی احتمالی آغاز می شود. علاوه بر این، این کتاب یک مرور کلی از مهمترین فرمالیسمها و سیستمهای یادگیری منطق احتمالی مانند تکنیکهای یادگیری توالی رابطهای، با استفاده از هستههایی با نمایشهای منطقی، منطق مارکوف، سیستم PRISM، CLP(BN)، برنامههای منطق بیزی و انتخاب مستقل ارائه میکند. منطق. بخش سوم شرح مفصلی از برخی کاربردهای نمایشی برنامه نویسی منطق استقرایی احتمالی ارائه می دهد. بخش پایانی به برخی تحقیقات نظری میپردازد و شامل فصلهایی در مورد مقایسه رفتاری نمایشهای برنامهریزی منطق احتمالی و تحلیل بیانی مدل-نظری است.
انتخاب :
مشخصات اثر
ثبت نظر
1
تعداد رکورد ها : 2
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید