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


 
Вернуться в: Каталог  
Обложка Лопатков М.Г. Дискретная математика, математическая логика и теория алгоритмов: теория булевых функций
Id: 117813
 

Дискретная математика, математическая логика и теория алгоритмов: теория булевых функций

2006. 108 с. Мягкая обложка. ISBN 5-7779-0738-5.
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

В основе учебного пособия - лекции, которые читает автор в течение ряда лет на математическом факультете Омского государственного университета.

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

Для студентов, аспирантов и преподавателей математических факультетов вузов.


 Оглавление

ПРЕДИСЛОВИЕ

ВВЕДЕНИЕ

1. ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ

1.1. Определение и простейшие свойства графов

1.2. Деревья

1.3. Упражнения

2. ОПРЕДЕЛЕНИЕ БУЛЕВЫХ ФУНКЦИЙ

2.1. Определение и таблица значений булевой функции

2.2. Примеры булевых функций

2.3. Упражнения

3. ЯЗЫК ТЕОРИИ БУЛЕВЫХ ФУНКЦИЙ

3.1. Формулы теории булевых функций

3.2. Дерево формулы

3.3. Упражнения

4. ЭКВИВАЛЕНТНОСТЬ ФОРМУЛ

4.1. Интерпретации и значения формул

4.2. Теорема об основных эквивалентностях

4.3. Теорема о замене

4.4. Упражнения

5. НОРМАЛЬНЫЕ ФОРМЫ. ПРИНЦИП ДВОЙСТВЕННОСТИ

5.1. Определимость функций формулами

5.2. Двойственные функции

5.3. Теорема о разложении булевой функции

5.4. Дизъюнктивные нормальные формы

5.5. Конъюнктивные нормальные формы

5.6. Полином Жегалкина

5.7. Упражнения

6. МАКСИМАЛЬНЫЕ ЗАМКНУТЫЕ КЛАССЫ. ТЕОРЕМА ПОСТА

6.1. Замыкание системы функций

6.2. Классы I0 и I1

6.3. Класс самодвойственных функций G

6.4. Класс монотонных функций M

6.5. Класс линейных функций L

6.6. Теорема Поста о полноте системы функций

6.6. Упражнения

7. РЕЛЕЙНО-КОНТАКТНЫЕ СХЕМЫ

7.1. Определение и примеры релейно-контактных схем

7.2. Анализ, синтез и упрощение РКС

7.3. Упражнения

ЗАКЛЮЧЕНИЕ

ОСНОВНЫЕ ОБОЗНА ЧЕНИЯ И СОКРАЩЕНИЯ

СПИСОК ИСПОЛЬЗОВАННОЙ И РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ

 
© URSS 2016.

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