مشخصات کتاب

Automata and computability: a programmer's perspective

ویرایش:  
نویسندگان: Gopalakrishnan. Ganesh  
سری:  
ISBN (شابک) : 9781315148175, 1351374273 
ناشر: CRC Press 
سال نشر: 2019 
تعداد صفحات: 328
[349] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 25 Mb 

در صورت تبدیل فایل کتاب Automata and computability: a programmer's perspective به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب خودکار و محاسبه پذیری: دیدگاه یک برنامه نویس نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب خودکار و محاسبه پذیری: دیدگاه یک برنامه نویس

« Automata and Computability یک کتاب درسی تست شده در کلاس است که مقدمه ای جامع و قابل دسترس برای تئوری اتوماتا و محاسبات ارائه می دهد. نویسنده از تصاویر، مثال های جذاب و نکات تاریخی استفاده می کند تا مطالب را برای دانش آموزان جالب و مرتبط کند. این شامل ایده‌های مدرن/کاربردی، مانند تجزیه مبتنی بر مشتق و یک کاهنده لامبدا است که جهانی بودن حساب لامبدا را نشان می‌دهد. این کتاب همچنین نشان می دهد که چگونه می توان خودکارها را با در دسترس قرار دادن خط لوله تبدیل زبان معمولی از طریق یک رابط دستوری ساده، مجسمه سازی کرد. یک دفترچه یادداشت Jupyter کتاب را همراهی می کند تا کد، ویدیوهای یوتیوب و سایر مکمل ها را برای کمک به مربیان و دانش آموزان ارائه دهد. ویژگی‌ها از تصاویر، مثال‌های جذاب و اظهارات تاریخی برای دسترسی به مطالب استفاده می‌کند. ایده‌های مدرن/ کاربردی، مانند تجزیه مبتنی بر مشتق و کاهش‌دهنده لامبدا که جهان‌شمول بودن حساب لامبدا را نشان می‌دهد، نشان می‌دهد که چگونه می‌توان خودکار را با ایجاد تبدیل زبان معمولی مجسمه‌سازی کرد. خط لوله در دسترس از طریق رابط دستوری ساده از یک نماد برنامه‌نویسی تابعی کوچک (FP) متشکل از لامبدا، نقشه‌ها، فیلترها و درک مجموعه (پشتیبانی شده در پایتون) برای انتقال ریاضیات از طریق ساختارهای PL که مختصر و شبیه ریاضی هستند استفاده می‌کند. کد برنامه‌نویسی عملکردی فشرده که با نشانه‌گذاری لاتکس و ویجت‌های Jupyter در سندی که کتاب‌ها را همراهی می‌کند، جمع‌آوری می‌شود. دانش آموزان می توانند کد را بدون زحمت اجرا کنند. »--  بیشتر بخوانید...
چکیده: « اتومات و محاسبه پذیری یک کلاس تست شده است کتاب درسی که مقدمه ای جامع و در دسترس برای تئوری اتوماتا و محاسبات ارائه می دهد. نویسنده از تصاویر، مثال های جذاب و نکات تاریخی استفاده می کند تا مطالب را برای دانش آموزان جالب و مرتبط کند. این شامل ایده‌های مدرن/ کاربردی است، مانند تجزیه مبتنی بر مشتق و یک کاهنده لامبدا که جهانی بودن حساب لامبدا را نشان می‌دهد. این کتاب همچنین نشان می دهد که چگونه می توان خودکارها را با در دسترس قرار دادن خط لوله تبدیل زبان معمولی از طریق یک رابط دستوری ساده، مجسمه سازی کرد. یک دفترچه یادداشت Jupyter کتاب را همراهی می کند تا کد، ویدیوهای یوتیوب و سایر مکمل ها را برای کمک به مربیان و دانش آموزان ارائه دهد. ویژگی‌ها از تصاویر، مثال‌های جذاب و اظهارات تاریخی برای دسترسی به مطالب استفاده می‌کند. ایده‌های مدرن/ کاربردی، مانند تجزیه مبتنی بر مشتق و کاهش‌دهنده لامبدا که جهان‌شمول بودن حساب لامبدا را نشان می‌دهد، نشان می‌دهد که چگونه می‌توان خودکار را با ایجاد تبدیل زبان معمولی مجسمه‌سازی کرد. خط لوله در دسترس از طریق رابط دستوری ساده از یک نماد برنامه‌نویسی تابعی کوچک (FP) متشکل از لامبدا، نقشه‌ها، فیلترها و درک مجموعه (پشتیبانی شده در پایتون) برای انتقال ریاضیات از طریق ساختارهای PL که مختصر و شبیه ریاضی هستند استفاده می‌کند. کد برنامه‌نویسی عملکردی فشرده که با نشانه‌گذاری لاتکس و ویجت‌های Jupyter در سندی که کتاب‌ها را همراهی می‌کند، جمع‌آوری می‌شود. دانش آموزان می توانند کد را بدون زحمت اجرا کنند. »

توضیحاتی درمورد کتاب به خارجی

« Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus. The book also shows how to sculpt automata by making the regular language conversion pipeline available through a simple command interface. A Jupyter notebook will accompany the book to feature code, YouTube videos, and other supplements to assist instructors and students. Features Uses illustrations, engaging examples, and historical remarks to make the material accessible Incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus Shows how to'sculpt'automata by making the regular language conversion pipeline available through simple command interface Uses a mini functional programming (FP) notation consisting of lambdas, maps, filters, and set comprehension (supported in Python) to convey math through PL constructs that are succinct and resemble math Provides all concepts are encoded in a compact Functional Programming code that will tesselate with Latex markup and Jupyter widgets in a document that will accompany the books. Students can run code effortlessly. »--  Read more...
Abstract: « Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus. The book also shows how to sculpt automata by making the regular language conversion pipeline available through a simple command interface. A Jupyter notebook will accompany the book to feature code, YouTube videos, and other supplements to assist instructors and students. Features Uses illustrations, engaging examples, and historical remarks to make the material accessible Incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus Shows how to'sculpt'automata by making the regular language conversion pipeline available through simple command interface Uses a mini functional programming (FP) notation consisting of lambdas, maps, filters, and set comprehension (supported in Python) to convey math through PL constructs that are succinct and resemble math Provides all concepts are encoded in a compact Functional Programming code that will tesselate with Latex markup and Jupyter widgets in a document that will accompany the books. Students can run code effortlessly. »

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Between Universalism and Skepticism: Ethics as Social Artifact

دانلود کتاب Surprises in Theoretical Casimir Physics: Quantum Forces in Inhomogeneous Media

دانلود کتاب Recent Advances in Document Recognition and Understanding

دانلود کتاب Nos tempos de Getúlio: Da revolução de 30 ao fim do Estado Novo

دانلود کتاب Русская фразеология в культурологическом аспекте. Монография