دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Jeffrey Shallit
سری: London Mathematical Society Lecture Note Series, 482
ISBN (شابک) : 1108745245, 9781108745246
ناشر: Cambridge University Press
سال نشر: 2022
تعداد صفحات: 374
[375]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 Mb
در صورت تبدیل فایل کتاب The Logical Approach to Automatic Sequences به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکرد منطقی به دنباله های خودکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
دنباله های خودکار دنباله هایی بر روی یک الفبای محدود هستند که توسط یک ماشین حالت محدود تولید می شوند. این کتاب با معرفی یک روش تصمیم گیری که از طریق آن بسیاری از نتایج جدید در ترکیبات و تئوری اعداد را می توان به طور خودکار با دخالت کم یا بدون دخالت انسان اثبات یا رد کرد، دیدگاه جدیدی در مورد توالی های خودکار و به طور کلی تر در مورد ترکیبات روی کلمات ارائه می دهد. این رویکرد برای اثبات قضایا بسیار قدرتمند است و اجازه میدهد استدلالهای موردی طولانی و مستعد خطا با محاسبات ساده جایگزین شوند. خوانندگان یاد خواهند گرفت که چگونه نتایج مورد نظر خود را در منطق مرتبه اول با استفاده از نرم افزار رایگان برای خودکارسازی فرآیند محاسبات بیان کنند. نتایجی که معمولاً به اثبات های چند صفحه ای نیاز دارند می توانند در چند میلی ثانیه ظاهر شوند و به کاربران اجازه می دهند تا با سؤالات ریاضی درگیر شوند که در غیر این صورت حل آنها دشوار است. این متن با بیش از 150 تمرین گنجانده شده، منبعی ایدهآل برای محققان، دانشجویان فارغالتحصیل، و دانشجویان پیشرفتهای است که ترکیبیات، دنبالهها و تئوری اعداد را مطالعه میکنند.
Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically proved or disproved with little or no human intervention. This approach to proving theorems is extremely powerful, allowing long and error-prone case-based arguments to be replaced by simple computations. Readers will learn how to phrase their desired results in first-order logic, using free software to automate the computation process. Results that normally require multipage proofs can emerge in milliseconds, allowing users to engage with mathematical questions that would otherwise be difficult to solve. With more than 150 exercises included, this text is an ideal resource for researchers, graduate students, and advanced undergraduates studying combinatorics, sequences, and number theory.