دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات محاسباتی ویرایش: illustrated edition نویسندگان: R. Gregory Taylor سری: ISBN (شابک) : 019510983X, 9780195109832 ناشر: Oxford University Press, USA سال نشر: 1997 تعداد صفحات: 683 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
در صورت تبدیل فایل کتاب Models of Computation and Formal Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدلهای محاسبات و زبانهای رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب منحصر به فرد، یک درمان جامع و دقیق از نظریه محاسبه پذیری ارائه می دهد که مقدماتی و در عین حال مستقل است. این کتاب با نگاه کردن به موضوع با استفاده از مدلهای محاسباتی به جای جهتگیری محدودیت، رویکردی جدید دارد و اولین کتاب در نوع خود است که شامل نرمافزار میشود. شبیهسازیهای نرمافزاری همراه تقریباً همه مدلهای محاسباتی برای استفاده همراه با متن در دسترس هستند و نمونههای متعددی در قالبی کاربرپسند بر روی دیسک ارائه شدهاند. کاربردهای آن در خود علوم کامپیوتر شامل پیوندهای جالبی به نظریه زبان برنامه نویسی، تئوری طراحی کامپایلر و طراحی الگوریتم است. نرم افزار، مثال های متعدد و راه حل ها این کتاب را برای مطالعه خود توسط دانشمندان کامپیوتر و ریاضیدانان ایده آل می کند.
This unique book presents a comprehensive and rigorous treatment of the theory of computability which is introductory yet self-contained. It takes a novel approach by looking at the subject using computation models rather than a limitation orientation, and is the first book of its kind to include software. Accompanying software simulations of almost all computational models are available for use in conjunction with the text, and numerous examples are provided on disk in a user-friendly format. Its applications to computer science itself include interesting links to programming language theory, compiler design theory, and algorithm design. The software, numerous examples, and solutions make this book ideal for self-study by computer scientists and mathematicians alike.