جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
تعداد رکورد ها : 5
عنوان :
نظریه اثبات [کتاب انگلیسی]
نویسنده:
K. Schütte, J.N. Crossley
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer-Verlag,
زبان :
انگلیسی
کلیدواژههای اصلی :
نظریه اثبات
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظریه اثبات پایه [کتابشناسی انگلیسی]
نویسنده:
A. S. Troelstra, H. Schwichtenberg
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
Cambridge University Press,
زبان :
انگلیسی
کلیدواژههای اصلی :
نظریه اثبات
چکیده :
ترجمه ماشینی: این مقدمه بر ایده های اساسی نظریه اثبات ساختاری شامل بحث و مقایسه کامل انواع مختلف رسمی سازی منطق مرتبه اول است. مثالهایی از چندین حوزه کاربردی ارائه شدهاند، یعنی: فراریاضیات منطق مرتبه اول محض (شهودی و همچنین کلاسیک). تئوری برنامه نویسی منطقی؛ نظریه دسته بندی؛ منطق معین؛ منطق خطی؛ محاسبات مرتبه اول و منطق مرتبه دوم. در هر مورد، هدف این است که روشها را در موقعیتهای نسبتاً ساده نشان دهیم و سپس آنها را در مکانهای دیگر در تنظیمات بسیار پیچیدهتر به کار ببریم. تمرین های متعددی در سراسر متن وجود دارد. به طور کلی، تنها پیش نیاز یک دوره استاندارد در منطق مرتبه اول است که این کتاب را برای دانشجویان تحصیلات تکمیلی و محققان مبتدی در منطق ریاضی، علوم کامپیوتر نظری و هوش مصنوعی ایده آل می کند. برای ویرایش جدید، بخشهای زیادی برای بهبود وضوح بازنویسی شدهاند، بخشهای جدیدی در مورد حذف برش اضافه شدهاند، و راهحلهایی برای تمرینهای انتخابی گنجانده شده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظریه اثبات و سیستم های شهودی [کتابشناسی انگلیسی]
نویسنده:
Bruno Scarpellini (auth.)
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
Springer-Verlag Berlin Heidelberg,
زبان :
انگلیسی
کلیدواژههای اصلی :
نظریه اثبات
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق تقلیل گرایانه و جستجوی اثبات: نظریه اثبات، معناشناسی و کنترل [کتاب انگلیسی]
نویسنده:
David J. Pym, Eike Ritter
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Oxford University Press, USA,
زبان :
انگلیسی
کلیدواژههای اصلی :
نظریه اثبات
,
منطق تقلیل گرایانه
چکیده :
ترجمه ماشینی: پین (U. of Bath) و Ritter (U. از بیرمنگام) با تکیه بر تکنیکها و فرهنگ فلسفه، اما بیشتر از تکنیکهای ریاضیات و محاسبات، منطق تقلیلدهنده و جستجوی اثبات را معرفی میکنند. آنها استدلال می کنند که دیدگاه تقلیل کننده منطق حداقل به اندازه دیدگاه قیاسی اساسی است. برخی از مشکلاتی را که باید به منظور ارائه معنایی از جست و جوهای اثباتی با ارزشی قابل مقایسه با معناشناسی اثبات متناظر مورد بررسی قرار گیرند، شناسایی کنید. و توضیح دهید که چگونه می توان این مسائل را در منطق شهودی حل کرد، که به اندازه کافی نه تنها جنبه های منطقی، بلکه همچنین جنبه های عملیاتی سیستم تقلیل را مدل می کند. اکثر فصول به صورت جداگانه منتشر شده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظریه اثبات: مقدمه [کتاب انگلیسی]
نویسنده:
Wolfram Pohlers (auth.)
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
Springer-Verlag Berlin Heidelberg,
زبان :
انگلیسی
کلیدواژههای اصلی :
نظریه اثبات
چکیده :
ترجمه ماشینی: اگرچه این یک متن مقدماتی در مورد نظریه اثبات است، بیشتر مطالب آن به صورت یکپارچه در جای دیگری در ادبیات یافت نمی شود، مگر در سطح بسیار پیشرفته. قلب این کتاب، تحلیل ترتیبی سیستمهای بدیهی است، با تأکید ویژه بر تئوری غیرقابل قبول تعاریف استقرایی ابتدایی در مورد اعداد طبیعی. پیامدهای "سازنده" تحلیل ترتیبی در پایان نامه ترسیم شده است. این کتاب با فرض عدم دانش قبلی در مورد نظریه اثبات و تقریباً هیچ یک از منطق، یک درمان مستقل ارائه می دهد. علاوه بر این، نویسنده کوشیده است از «زبان کابال» نظریه اثبات استفاده نکند، بلکه فقط از زبانی آشنا برای اکثر خوانندگان استفاده کند.
انتخاب :
مشخصات اثر
ثبت نظر
1
تعداد رکورد ها : 5
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید