URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера
Id: 34111
 
799 руб.

Дискретная математика для инженера. Изд.2, перераб. и доп.

1988. 480 с. Твердый переплет. Букинист. Состояние: 4+. Есть погашенная библиотечная печать.

 Аннотация

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

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


 ОГЛАВЛЕНИЕ

Предисловие ко второму изданию Предисловие к первому изданию

Глава первая. Множества, функции, отношения

1.1. Множества и операции под ними

1.2. Соответствия и функции.

1.3. Отношения

Глава вторая. Элементы общей алгебры

2.1. Операции-на множествах и их свойства.

2.2. Полугруппы, группы, решетки

Глава третья. Введение в логику

3.1. Логические функции (функции алгебры логики)

3.2. Булева алгебра

3.3. Полнота и замкнутость.

3.4. Язык логики предикатов

Глава четвертая. Графы

4.1. Основные понятия и операции

4.2. Маршруты, цепи и циклы

4.3. Некоторые классы графов и их частей

4.4. Ориентированные графы

4.5. Графы с пометенными вершинами и ребрами

Глава пятая. Теория алгоритмов

5.1. Предварительное обсуждение.

5.2. Машины Тьюринга

5.3. Рекурсивные функции

5.4. Вычислимость и разрешимость

Глава шестая. Формальные системы

6.1. Формальные теории (логические исчисления). Исчисление высказываний

6.2. Исчисление предикатов и теории первого порядка

6.3. Метатеория логических исчислений

6.4. Абстрактные формальные системы

Глава седьмая. Языки и грамматики

7.1. Формальные грамматики и их свойства

7.2. Операции над языками

7.3. О семантике формальных языков

Глава восьмая. Автоматы

8.1. Основные понятия

8.2. Распознавание множеств автоматами

8.3. Сети из автоматов, их анализ и синтез

8.4. Программная реализация логических функций и автоматов

Глава девятая. Комбинаторные задачи и трудоемкость вычислений

9.1. Трудоемкость относительно разных машин.

9.2. Классы трудоемкости комбинаторных задач

9.3. Метод ветвей и границ

Глава десятая. Линейное программирование,

10.1. Некоторые сведения из линейной алгебры и многомерной геометрии

10.2. Задачи линейного программирования. Области допустимости

10.3. Двойственные задачи линейного программирования

10.4. Симплекс-метод для решения задач линейного программирования

10.5. О полиномиальной трудоемкости задач линейного программирования,

ирисок литературы

Предметный указатель

 
© URSS 2016.

Информация о Продавце