نقش نظریه در علوم کامپیوتر: مقالاتی تقدیم‌شده به یانوش برزووسکی ۲۰۱۷
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski 2017

دانلود کتاب نقش نظریه در علوم کامپیوتر: مقالاتی تقدیم‌شده به یانوش برزووسکی ۲۰۱۷ (Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski 2017) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی

نویسنده

Stavros Konstantinidis, Nelma Moreira, Rogerio Reis, Jeffrey Shallit

voucher-1

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2017

زبان

English

تعداد صفحه‌ها

312

نوع فایل

pdf

حجم

14.6 MB

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

پیش‌خرید با تحویل فوری(⚡️) | فایل کتاب حداکثر تا ۳۰ دقیقه(🕒) پس از ثبت سفارش آماده دانلود خواهد بود.

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب نقش نظریه در علوم کامپیوتر: مقالاتی تقدیم‌شده به یانوش برزووسکی ۲۰۱۷

این مجموعه، آثار جمعی از پژوهشگران برجسته را گرد هم آورده است که با یانوش برزوزوفسکی همکاری داشته یا در زمینه‌هایی که او توسعه داده، فعالیت کرده‌اند. این زمینه‌ها شامل زبان‌های منظم، نیم‌گروه‌های نحوی زبان‌های صوری، سلسله مراتب عمق نقطه، و مدل‌سازی صوریِ تست مدارهای الکترونیکی و مشخصات نرم‌افزاری با استفاده از نظریه اتوماتا می‌شوند.


فهرست کتاب:

۱. روی جلد

۲. صفحه عنوان فرعی

۳. عنوان

۴. حق چاپ

۵. تقدیم‌نامه

۶. پیشگفتار

۷. زندگی‌نامه مختصر یانوش آ. برزووسکی

۸. فهرست مطالب

۹. فصل ۱. سیستم‌های واکنش: مدلی از محاسبات الهام گرفته از عملکرد سلول زنده

۱۰. فصل ۲. حل معادلات نقطه ثابت بر روی نیم حلقه‌های کامل

۱۱. فصل ۳. ساختار و پیچیدگی برخی از خانواده‌های زبان زیرمنظم

۱۲. فصل ۴. راه دشوار مدل‌سازی: گزیده‌ای از سوابق یک همکاری لذت‌بخش تقریباً ۲۰ ساله

۱۳. فصل ۵. آیا متمم‌گیری شر است؟

۱۴. فصل ۶. شبه‌فواصل و اتوماتای وزن‌دار متناهی

۱۵. فصل ۷. مسائل باز درباره زبان‌های منظم، ۳۵ سال بعد

۱۶. فصل ۸. سلسله مراتب عمق نقطه، ۴۵ سال بعد

۱۷. فصل ۹. عمق کلاس‌های بسته توابع ارزش در منطق چند مقداری

۱۸. فصل ۱۰. CSP برای موازی‌سازی الگوریتم ساخت DFA برزووسکی

۱۹. فصل ۱۱. مثال‌های برنامه‌نویسی از منحنی‌های پرکننده فضا

۲۰. فهرست نام نویسندگان

 

توضیحات(انگلیسی)

This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.


Table of Contents

1. Cover

2. Halftitle

3. Title

4. Copyright

5. Dedication

6. Preface

7. Short Biography for Janusz A. Brzozowski

8. Contents

9. Chapter 1. Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell

10. Chapter 2. Solving Fixed Point Equations over Complete Semirings

11. Chapter 3. Structure and Complexity of Some Subregular Language Families

12. Chapter 4. The Arduous Road to Modelling: Excerpts from Records of an Enjoyable Co-operation of Nearly 20 Years

13. Chapter 5. Is Complementation Evil?

14. Chapter 6. Quasi-Distances and Weighted Finite Automata

15. Chapter 7. Open Problems about Regular Languages, 35 Years Later

16. Chapter 8. The Dot-Depth Hierarchy, 45 Years Later

17. Chapter 9. Depth of Closed Classes of Truth Functions in Many-valued Logic

18. Chapter 10. CSP for Parallelising Brzozowski’s DFA Construction Algorithm

19. Chapter 11. Programming Examples of Space-Filling Curves

20. Author Index

دیگران دریافت کرده‌اند

سایر کتاب‌های ناشر

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.