دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987
دانلود کتاب منطق و محاسبه: مجموعه مقالات کارگاه آموزشی در دانشگاه کارنگی ملون ، 30 ژوئن - 2 ژوئیه 1987
مشخصات کتاب
Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987
ویرایش:
نویسندگان: Wilfried Sieg (ed.)
سری: Contemporary Mathematics 106
ISBN (شابک) : 0821851101, 2519726156
ناشر: Amer Mathematical Society
سال نشر: 1990
تعداد صفحات: 314
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و محاسبه: مجموعه مقالات کارگاه آموزشی در دانشگاه کارنگی ملون ، 30 ژوئن - 2 ژوئیه 1987 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق و محاسبه: مجموعه مقالات کارگاه آموزشی در دانشگاه کارنگی ملون ، 30 ژوئن - 2 ژوئیه 1987
این جلد شامل مجموعه مقالات کارگاه منطق و محاسبات است که در جولای 1987 در دانشگاه کارنگی ملون برگزار شد. تمرکز این کارگاه، تعامل دقیق بین ریاضیات و نظریه محاسبات، یکی از جذاب ترین و بالقوه ثمربخش ترین تحولات در منطق بود. اهمیت این تعامل نه تنها در ظهور رایانه به عنوان یک ابزار قدرتمند در تحقیقات ریاضیات، بلکه در تلاش‌های مختلف برای انجام بخش‌های قابل توجهی از ریاضیات به روش‌های اطلاعاتی محاسباتی نهفته است.
این دادرسی سه هدف مکمل را دنبال می‌کند: توسعه بخش‌هایی از ریاضیات تحت حداقل فرضیات نظری مجموعه‌ها. ارائه چارچوب های رسمی مناسب برای پیاده سازی کامپیوتری؛ و از اثبات های رسمی، اطلاعات ریاضی و محاسباتی استخراج کند. این جلد با هدف منطق‌دانان، ریاضیدانان و دانشمندان کامپیوتر، سرشار از نتایج و مملو از مسائل ریاضی، منطقی و محاسباتی است.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the Workshop on Logic and Computation, held in July 1987 at Carnegie-Mellon University. The focus of the workshop was the refined interaction between mathematics and computation theory, one of the most fascinating and potentially fruitful developments in logic. The importance of this interaction lies not only in the emergence of the computer as a powerful tool in mathematics research, but also in the various attempts to carry out significant parts of mathematics in computationally informative ways.
The proceedings pursue three complementary aims: to develop parts of mathematics under minimal set-theoretic assumptions; to provide formal frameworks suitable for computer implementation; and to extract, from formal proofs, mathematical and computational information. Aimed at logicians, mathematicians, and computer scientists, this volume is rich in results and replete with mathematical, logical, and computational problems
