Библиографический список к главе 5
Братко И. Программирование на языке пролог для искусственного интеллекта: Пер. с англ. – М.: Мир, 1990. – 560 с.
Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. – М.: Наука, 1977. – 368 с.
Глухов В.И. Синтез цифровых автоматов. – М.: Физматизд., 1962.
Ивс Г., Ньюсом К.В. О математической логике и философии математики (Начальные сведения об основаниях математики) / Пер. с англ. Ф.Л. Варпаховского. – М.: Знание, 1968. – 48 с.
Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. – 2-е изд., перераб и доп. – М.: Энергоатомиздат, 1988. – 480 с.
Червенчук В.Д. Логические функции, таблицы решений и аксиоматическое моделирование: Учеб. пособие. – Омск: Изд. ОмПИ, 1989. – 80 с.
Шрейдер Ю.А. Равенство, сходство, порядок. – М.: Наука, 1971. – 256 с.
Яблонский С.В. Введение в дискретную математику. – М.: Наука, 1979. – 272 с.
Проектирование цифровых вычислительных машин: Учеб. пособие для студентов вузов / Под ред. С.А. Майорова. – М.: Высш. школа, 1972. – 344 с.
Виктор Ильич Потапов,
Ольга Павловна Шафеева,
Игорь Владимирович Червенчук
Учебное издание
Основы компьютерной арифметики и логики
Редактор Т.А. Москвитина
ИД 06039 от 12.10.01
Подписано в печать Формат 60х84 1/16. Бумага офсетная.
Отпечатано на дупликаторе. Усл.-печ.л. 10,75. Уч.-изд.л. 10,75.
Тираж 200 экз. Заказ 488.
__________________________________________________________________
Издательство ОмГТУ. 644050, Омск, пр.Мира, 11, тел. 23-02-12.
Типография ОмГТУ
1 Множество пар S удобно задавать двоичной матрицей, т.е. таблицей размером m*n (m – число элементов множества X, n – число элементов области Y), элементами которой являются только нули и единицы. Если в i-й строке j-го столбца этой таблицы стоит 1 (0), то i-му элементу из X соответствует (не соответствует) j-й элемент из Y.
Такое сокращение словосочетания дизъюнктивная нормальная форма считается общепринятым, также как и КНФ – конъюнктивная нормальная форма, определение которой будет дано позже (прим. авторов).