مشخصات کتاب

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 

در صورت تبدیل فایل کتاب 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Desertification Combat And Food Safety: The Added Value Of Camel Producers

دانلود کتاب A race for madmen: the extraordinary history of the Tour de France

دانلود کتاب Tactical Boundaries: How to Make All of Your Relationships Work for You

دانلود کتاب Türk dillərinin tarixi-müqayisəli leksikologiyası məsələləri. Cild 1

دانلود کتاب Ursula K. Le Guin’s "A Wizard of Earthsea": A Critical Companion