Учебное пособие является современным практическим курсом по квантовымвычислениям. Рассмотрены базовые алгоритмы для квантовых информационных систем и основные понятия квантовой теории информации. Изложение учебного материала сопровождается большим количеством детально проработанных примеров и квантовых схем. К заданиям для самостоятельной работы приводятся ответы и решения. Содержание книги соответствует ФГОС по направлениям подготовки «Информационные системы и технологии»,«Программная инженерия», «Математика и компьютерные науки».

В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются основные способы представления и обработки графов, деревьев и массивов, инструменты профессионального программирования. Приводятся примеры разработки символьных преобразователей, калькуляторов, интерпретаторов языков программирования, игровых моделей и т. п.Книга содержит практикум по программированию и описание основных классов Visual Prolog.Учебник предназначен для изучения дисциплин «Логическое программирование» и «Функциональное и логическое программирование».

В учебном пособии включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуникационных технологий. В каждой главе приводятся теоретические сведения, необходимые для решения задач разного уровня сложности, ответы и во многих случаях подробные пояснения к решениям. Во втором издании, в отличии от первого, выходившего под названием «Задачи по дискретной математике», используется язык программирования Python.Добавлены более 50 новых задач с решениями и ответами, а также контрольные вопросы к каждой главе.

Учебное пособие представляет собой введение в квантовые информационные системы. Рассмотрены основные вопросы квантовой теории, классическая и квантовая модели информационных систем, квантовые алгоритмы и квантовые каналы связи, элементная база квантовых компьютеров. Дан обзор физических методов реализации кубитов, квантовых языков программирования (Open QASM, Qiskit) и программных оболочек (IBM Q Experience, Quantum Composer, Jupiter Notebooks). Рассмотрены практические вопросы реализации квантовых алгоритмов, применения квантовых информационных систем к решению задач квантовой криптографии, использования защищенных квантовых каналов связи и др.