2013_02

Б ЕЛ
ОР УС С
К О -Р О С С И Й С К И Й У Н И В Е Р
С
ИТЕТ
БИБЛИОТЕКА
БЕЛОРУССКО-РОССИЙСКОГО УНИВЕРСИТЕТА
БИ БЛ И О Т Е К А
Список литературы,
поступившей в фонд
библиотеки
за февраль 2013 г.
(ест ест веннонаучный и
т ехнический блок)
1
Уважаемый читатель!
Предлагаем Вашему вниманию список новых поступлений в фонд библиотеки
университета. Информация в списке представлена через ряд разделов,
систематизированных согласно схеме Универсальной Десятичной Классификации.
Разделы не являются фиксированными и формируются в зависимости от поступлений
литературы. Содержание книг раскрывается с помощью аннотаций и оглавлений,
также приводятся сведения, отражающая информацию о том, в какое подразделение
библиотеки поступила книга.
 Также хотим обратить Ваше внимание на то, что с книгами, заказанными в 1
экземпляре, Вы можете ознакомиться при посещении библиотеки и, при
необходимости, дозаказать необходимое количество для обеспечения
читаемой Вами дисциплины.
Список сокращений:
абн—абонемент научной и художественной литературы (к.422)
абу—абонемент учебной литературы (к.213)
чзн—читальный зал социально-экономической литературы (к.306)
чзс—студенческий читальный зал (к.302)
чзп—читальный зал для преподавателей (к.312)
нбо—научно-библиографический отдел (к.216)
хр—отдел хранения фондов (к.216)
эб—электронная библиотека (к.405)
2
Информатика, информационные технологии
Громкович, Ю.Теоретическая информатика. Введение в
теорию автоматов, теорию вычислимости, теорию
сложности, теорию алгоритмов, рандомизацию, теорию связи
и криптографию : учебник / Ю. Громкович ; пер. с нем. Б.
Ф. Мельникова . - 3-е изд. - СПб. : БХВ-Петербург, 2010. 336с. : ил. - (Учебная литература для вузов).
Абн – 2, чзн – 3
В книге изложены основные понятия теоретической информатики:
алфавиты, слова, языки, алгоритмические проблемы, конечные
автоматы, машины Тьюринга. Рассматриваются теория вычислимости,
теория
сложности,
алгоритмизация
труднорешаемых
задач,
рандомизация, теория связи и криптографические методы.
Книга известного ученого вышла на 4-х языках (немецкий, английский,
французский, японский), в ближайшее время планируется издание еще
на 3-х языках.
На русском языке издается впервые.
Для студентов, аспирантов, преподавателей высших учебных
заведений и специалистов по информационным технологиям
Оглавление
От редактора перевода
Введение
Что такое теоретическая информатика?
Замечательная теория
Студентам
Структура книги
Алфавиты, слова, языки, алгоритмические проблемы
Цели и задачи главы
Алфавиты, слова и языки
Алгоритмические проблемы
Сложность по Колмогорову
Заключение
Конечные автоматы
Цели и задачи главы
Различные варианты представления конечных автоматов
3
Моделирование конечных автоматов
Доказательства неразрешимости
Недетерминизм
Заключение
Машины Тьюринга
Цели и задачи главы
Формальная модель машин Тьюринга
Многоленточные машины Тьюринга и тезис Чёрча
Недетерминированные машины Тьюринга
Кодирование машин Тьюринга
Заключение
Теория вычислимости
Цели и задачи главы
Метод диагонализации
Метод сводимости
Теорема Райса
Проблема соответствий Поста
Метод сложности по Колмогорову
Заключение
Теория сложности
Цели и задачи главы
Меры сложности
Классы сложности. Класс Р
Недетерминированные меры сложности
Класс NP и проверка доказательств
NP-полнота
Заключение
Алгоритмизация труднорешаемых задач
Цели и задачи главы
Псевдополиномиальные алгоритмы
Аппроксимационные алгоритмы
Алгоритмы локального поиска
Алгоритм имитационной нормализации
Заключение
Рандомизация
Цели и задачи главы
Основы теории вероятностей
Рандомизированный протокол связи
Избыток свидетельств и проверка простоты числа
Дактилоскопические методы и эквивалентность двух полиномов..
Заключение
Теория связи и криптографические методы
Цели и задачи главы
Классические криптографические системы
Системы с открытым ключом и RSA-кодирование
4
Цифровая подпись
Доказательства с нулевым разглашением
Проектирование объединённых сетей
Заключение
Список литературы
5