Теория вычислений

В первой части дается введение в теорию алгоритмов (часто называемую также теорией вычислимых функций или просто теорией вычислимости). Намечаются разные варианты её построения, основанные на исп…

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal tec…

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered througho…

Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metathe…

В книге рассматриваются вопросы наиболее перспективного направления исследований в информационно-коммуникационных технологиях – модели квантовых вычислений. Текст построен как можно более просто …

В книге изложены основные результаты исследований по теории многочленов, как классические, так и современные. Большое внимание уделено 17-й проблеме Гильберта о представлении неотрицательных мног…

Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимост…

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a sing…

В учебном пособии, предназначенном для самостоятельной работы студентов, особое внимание уделено причинно-следственным связям, рассмотрена схематизация исследования рядов, показано разбиение проц…

Для студентов ГУИМЦ, обучающихся по направлениям подготовки: 09.03.01 «Информатика и вычислительная техника», 10.05.03 «Информационная безопасность автоматизированных систем», 11.03.03 «Конструир…