SCI Библиотека

В учебном пособии изложены элементы теории множеств, алгебры логики и предикатов, булевых функций, контактных схем и алгоритмов. Показана методика решения типовых задач. Предназначено для обучающихся по направлению подготовки 09.03.02 Информационные системы и технологии, направленность «Создание, модификация и сопровождение информационных систем, администрирование баз данных»

Пособие предназначено для студентов, специализирующихся по информатике, а также всех тех, кто желает начать систематическое изучение математической логики

Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А. Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность
объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмической теории информации, а также для алгоритмической теории вероятностей: объект считается случайным, если его сложность близка к максимальной.

Предлагаемая книга содержит подробное изложение основных понятий алгоритмической теории информации и теории вероятностей, а также наиболее важных работ, выполненных в рамках «колмогоровского семинара по сложности определений и сложности вычислений», основанного А. Н. Колмогоровым в
начале 1980-х годов.

Книга рассчитана на студентов и аспирантов математических факультетов и факультетов теоретической информатики