کتاب The Logical Approach to Automatic Sequences اثر Jeffrey Shallit انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
دنباله‌های خودکار دنباله‌هایی هستند که روی یک الفبای محدود ایجاد می‌شوند که توسط یک ماشین حالت محدود تولید می‌شوند. این کتاب با معرفی یک روش تصمیم گیری که از طریق آن بسیاری از نتایج جدید در ترکیبات و تئوری اعداد را می توان به طور خودکار با دخالت انسان کم یا بدون دخالت انسان اثبات یا رد کرد، دیدگاه جدیدی در مورد توالی های خودکار و به طور کلی تر در مورد ترکیبات روی کلمات ارائه می دهد. این رویکرد برای اثبات قضایا بسیار قدرتمند است و اجازه می‌دهد استدلال‌های موردی طولانی و مستعد خطا با محاسبات ساده جایگزین شوند. خوانندگان یاد خواهند گرفت که چگونه نتایج مورد نظر خود را در منطق مرتبه اول با استفاده از نرم افزار رایگان برای خودکارسازی فرآیند محاسبات بیان کنند. نتایجی که معمولاً به اثبات های چند صفحه ای نیاز دارند می توانند در چند میلی ثانیه ظاهر شوند و به کاربران اجازه می دهند با سؤالات ریاضی درگیر شوند که در غیر این صورت حل آنها دشوار است. این متن با بیش از 150 تمرین گنجانده شده، منبعی ایده‌آل برای محققان، دانشجویان تحصیلات تکمیلی، و دانشجویان پیشرفته‌ای است که ترکیبیات، دنباله‌ها و تئوری اعداد را مطالعه می‌کنند.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Jeffrey Shallit
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
375
