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

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

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

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

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

public

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