توضیحات
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gdel’s incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing’s Halting problem, and much more. The concepts come alive with many examples and exercises.
————————————————————–
ترجمه ماشینی :
با استفاده از نظریه دسته بندی پایه، این عنصر تمام مفاهیم اصلی را توصیف می کند و قضایای اصلی علم کامپیوتر نظری را اثبات می کند. نظریه مقوله که با توابع، فرآیندها و ساختارها کار می کند، به طور منحصر به فردی برای ارائه نتایج بنیادی علم کامپیوتر نظری واجد شرایط است. در این عنصر، خوانندگان با برخی از عمیقترین ایدهها و قضایای رایانهها و ریاضیات مدرن، مانند ماشینهای تورینگ، مسائل غیرقابل حل، سؤال P=NP، قضیه ناتمامی کرت گلدل، مسائل حلناپذیر، پروتکلهای رمزنگاری، مسئله توقف آلن تورینگ، و خیلی بیشتر. مفاهیم با مثال ها و تمرین های زیادی زنده می شوند.
tag : دانلود کتاب علوم کامپیوتر نظری برای نظریه پرداز دسته کاری , Download علوم کامپیوتر نظری برای نظریه پرداز دسته کاری , دانلود علوم کامپیوتر نظری برای نظریه پرداز دسته کاری , Download Theoretical Computer Science for the Working Category Theorist Book , علوم کامپیوتر نظری برای نظریه پرداز دسته کاری دانلود , buy علوم کامپیوتر نظری برای نظریه پرداز دسته کاری , خرید کتاب علوم کامپیوتر نظری برای نظریه پرداز دسته کاری , دانلود کتاب Theoretical Computer Science for the Working Category Theorist , کتاب Theoretical Computer Science for the Working Category Theorist , دانلود Theoretical Computer Science for the Working Category Theorist , خرید Theoretical Computer Science for the Working Category Theorist , خرید کتاب Theoretical Computer Science for the Working Category Theorist ,

نقد و بررسیها
هنوز بررسیای ثبت نشده است.