مرور درختی موضوعات | کتابخانه مجازی الفبا

مرور درختی موضوعات | کتابخانه مجازی الفبا

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
استدلال اخلاقی(وابسته اخص اثبات پذیری)(فلسفه اخلاق) برهان پذیری ( در فلسفه اخلاق) برهان ناپذیری(در فلسفه اخلاق) واقع گرایی اثبات پذیر (وابسته اخص اثبات پذیری)(فلسفه اخلاق)
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 1
مفهوم اثبات در ریاضیات، فلسفه و علوم کامپیوتر [کتاب انگلیسی]
نوع منبع :
کتاب
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
De Gruyter,
چکیده :
ترجمه ماشینی: این کتاب تحقیقاتی را در اختیار خواننده قرار می‌دهد که از «اثبات» هومبولت کولگ که در پاییز 2013 در برن برگزار شد، که متخصصان برجسته‌ای را که به طور فعال با مفهوم «اثبات» در فلسفه، ریاضیات و علوم رایانه درگیر بودند، گرد هم آورد. هدف این جلد این است که وسعت و عمق موضوع را رعایت کند و مفاهیم جاری مرتبط و پیشرفت‌های فنی را با «اثبات» در آن زمینه‌ها ارائه دهد.
مشخصات اثر
  • 1
  • تعداد رکورد ها : 1