Дневной и сокращенной формы обучения

Обучающихся по направлению

Методические указания к практическим занятиям

БУЛЕВЫ ФУНКЦИИ

АЛГЕБРА ВЫСКАЗЫВАНИЙ.

Моделирования и управления

ГОУ ВПО

Библиографический список

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

2. Коршунов Ю.М. Математические основы кибернетики: Учеб. Пособие для вузов. - 3-е изд. перераб. и доп. - М.: Энергоатомиздат, 1987. - 496 с.: ил.

3. Новиков Ф.А. Дискретная математика для программистов. – Спб: Питер, 2000. – 304 с.: ил.

4. Яблонский С.В. Введение в дискретную математику: Учебное пособие для Вузов/ Под ред. В.А. Садовничего – 3-е изд. стер. – М.: Высш. шк., 2001. – 384 с.

5. Гудстейн Р.Л. Математическая логика: Пер. с англ. - М.: Издат. иностр. лит., 1961, - 162 с.

6.

8. Эдельман С.Л. Математическая логика. - М.: Высш. школа, 1975. - 176 с.

9. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Наука, 1984. - 223 с.

“Воронежская государственная технологическая академия”

Кафедра информационных технологий,

по дисциплине "Математика",

раздел "Математическая логика

и теория алгоритмов"

Для специалистов и бакалавров,

230200 – "Информационные системы"

Данное методическое указание рассчитано на 3 практических занятия (6 часов) и является первым в серии методических указаний раздела «Математическая логика».

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

Дата добавления: 2015-06-27