توضیحات
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.
————————————————————–
ترجمه ماشینی :
دنباله های خودکار دنباله هایی بر روی یک الفبای محدود هستند که توسط یک ماشین حالت محدود تولید می شوند. این کتاب با معرفی یک روش تصمیم گیری که از طریق آن بسیاری از نتایج جدید در ترکیبات و تئوری اعداد را می توان به طور خودکار با دخالت انسان کم یا بدون دخالت انسان اثبات یا رد کرد، دیدگاه جدیدی در مورد توالی های خودکار و به طور کلی تر در مورد ترکیبات روی کلمات ارائه می دهد. این رویکرد برای اثبات قضایا بسیار قدرتمند است و اجازه میدهد استدلالهای موردی طولانی و مستعد خطا با محاسبات ساده جایگزین شوند. خوانندگان یاد خواهند گرفت که چگونه نتایج مورد نظر خود را در منطق مرتبه اول با استفاده از نرم افزار رایگان برای خودکارسازی فرآیند محاسبات بیان کنند. نتایجی که معمولاً به اثبات های چند صفحه ای نیاز دارند می توانند در چند میلی ثانیه ظاهر شوند و به کاربران اجازه می دهند با سؤالات ریاضی درگیر شوند که در غیر این صورت حل آنها دشوار است. این متن با بیش از 150 تمرین گنجانده شده، منبعی ایدهآل برای محققان، دانشجویان فارغالتحصیل، و دانشآموزان پیشرفتهای است که ترکیبات، توالیها و تئوری اعداد را مطالعه میکنند.
tag : دانلود کتاب رویکرد منطقی به دنباله های خودکار , Download رویکرد منطقی به دنباله های خودکار , دانلود رویکرد منطقی به دنباله های خودکار , Download The Logical Approach to Automatic Sequences Book , رویکرد منطقی به دنباله های خودکار دانلود , buy رویکرد منطقی به دنباله های خودکار , خرید کتاب رویکرد منطقی به دنباله های خودکار , دانلود کتاب The Logical Approach to Automatic Sequences , کتاب The Logical Approach to Automatic Sequences , دانلود The Logical Approach to Automatic Sequences , خرید The Logical Approach to Automatic Sequences , خرید کتاب The Logical Approach to Automatic Sequences ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.