دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Antonio Montalb�n
سری:
ISBN (شابک) : 9781108423298, 1108423299
ناشر: Cambridge University Press
سال نشر: 2021
تعداد صفحات: 213
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
در صورت تبدیل فایل کتاب Computable Structure Theory: Within the Arithmetic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه ساختار محاسباتی: درون حساب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
در ریاضیات، ما می دانیم که مفاهیمی وجود دارد - اشیا، سازه ها، ساختارها، برهان ها - که توصیف آنها پیچیده تر و دشوارتر از دیگران است. نظریه ساختار قابل محاسبه پیچیدگی ساختارهای ریاضی، ساختارهایی مانند نمودارها، گروهها و ترتیبها را کمیت و مطالعه میکند. این اولین تک نگاری کامل در مورد نظریه ساختار محاسباتی در 20 سال گذشته است که توسط یک متخصص معاصر در این موضوع نوشته شده است. این کتاب با هدف دانشجویان فارغ التحصیل و محققین منطق ریاضی، نتایج جدید نویسنده را با بسیاری از نتایج قدیمیتر که قبلاً در ادبیات پراکنده شده بودند، همراه میکند و همه آنها را در چارچوبی منسجم ارائه میکند و یادگیری نتایج اصلی را برای خواننده آسانتر میکند. تکنیک ها در این منطقه برای کاربرد در تحقیقات خود. این جلد بر ساختارهای قابل شمارش متمرکز است که پیچیدگی آنها را می توان در حساب اندازه گیری کرد. جلد دوم آینده ساختارهای فراتر از حساب را مطالعه خواهد کرد.
In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings. Written by a contemporary expert in the subject, this is the first full monograph on computable structure theory in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings new results of the author together with many older results that were previously scattered across the literature and presents them all in a coherent framework, making it easier for the reader to learn the main results and techniques in the area for application in their own research. This volume focuses on countable structures whose complexity can be measured within arithmetic; a forthcoming second volume will study structures beyond arithmetic.