دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
دانلود کتاب تئوری محاسبات و مبانی ریاضیات - مجموعه مقالات نهمین کنفرانس بین المللی نظریه محاسبات و مبانی ریاضیات
مشخصات کتاب
Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
ویرایش: نویسندگان: Liang Yu (editor), Kazuyuki Tanaka (editor), Yue Yang (editor), Ningning Peng (editor), Guohua Wu (editor) سری: ISBN (شابک) : 9811259283, 9789811259289 ناشر: WSPC سال نشر: 2022 تعداد صفحات: 194 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری محاسبات و مبانی ریاضیات - مجموعه مقالات نهمین کنفرانس بین المللی نظریه محاسبات و مبانی ریاضیات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری محاسبات و مبانی ریاضیات - مجموعه مقالات نهمین کنفرانس بین المللی نظریه محاسبات و مبانی ریاضیات
این جلد دارای آخرین پیشرفت های علمی در زمینه های تئوری محاسباتی و مبانی منطقی ریاضیات و همچنین کاربردها است. این حوزه شامل مباحث تئوری محاسبات، ریاضیات معکوس، تجزیه و تحلیل غیر استاندارد، نظریه اثبات، نظریه مجموعه ها، فلسفه ریاضیات، ریاضیات سازنده، نظریه تصادفی و نظریه پیچیدگی محاسباتی است.
توضیحاتی درمورد کتاب به خارجی
This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. The scope involves the topics of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.
