теория вычислений
Теория алгоритмов и вычислений. Учебное пособие для вузов
В первой части дается введение в теорию алгоритмов (часто называемую также теорией вычислимых функций или просто теорией вычислимости). Намечаются раз…
Подробнее
Исследование функций одной переменной и построение графиков. Рабочая тетрадь № 3
Для студентов ГУИМЦ, обучающихся по направлениям подготовки: 09.03.01 «Информатика и вычислительная техника», 10.05.03 «Информационная безопасность ав…
Подробнее
Static Analysis of Software. The Abstract Interpretation
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This …
Подробнее
Logic for Computer Science and Artificial Intelligence
Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large am…
Подробнее
Theory of Computation
Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic,…
Подробнее
Квантовые вычисления и функциональное программирование
В книге рассматриваются вопросы наиболее перспективного направления исследований в информационно-коммуникационных технологиях – модели квантовых вычис…
Подробнее
Многочлены
В книге изложены основные результаты исследований по теории многочленов, как классические, так и современные. Большое внимание уделено 17-й проблеме Г…
Подробнее
Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Ала…
Подробнее
Generic Inference. A Unifying Theory for Automated Reasoning
This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing th…
Подробнее
Как исследовать числовые ряды
В учебном пособии, предназначенном для самостоятельной работы студентов, особое внимание уделено причинно-следственным связям, рассмотрена схематизаци…
Подробнее