دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
دانلود کتاب اثبات و محاسبات: دیجیتالی شدن در ریاضیات، علوم کامپیوتر و فلسفه
مشخصات کتاب
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
ویرایش: نویسندگان: Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg سری: ISBN (شابک) : 9813270934, 9789813270930 ناشر: World Scientific Publishing سال نشر: 2018 تعداد صفحات: 300 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات و محاسبات: دیجیتالی شدن در ریاضیات، علوم کامپیوتر و فلسفه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اثبات و محاسبات: دیجیتالی شدن در ریاضیات، علوم کامپیوتر و فلسفه
این کتاب برای دانشجویان تحصیلات تکمیلی و محققین است و تحقیقات بنیادی مدرن در ریاضیات، علوم کامپیوتر و فلسفه را از دیدگاه بین رشته ای معرفی می کند. دامنه آن شامل مبانی پیشگویی، ریاضیات سازنده و نظریه نوع، محاسبات در انواع بالاتر، استخراج برنامه ها از اثبات ها، و جنبه های الگوریتمی در ریاضیات مالی است. این کتاب با پر کردن شکاف بین کتاب‌های درسی (پایه) مقطع کارشناسی ارشد و مقالات تحقیقاتی پیشرفته، گزارشی علمی از تحولات اخیر و شاخه‌های نوظهور رشته‌های فوق‌الذکر ارائه می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.
