- •Застосування логіки висловлювань в програмній інженерії методичні вказівки
- •Теоретичні відомості.
- •Нормальні форми логіки висловлювань
- •Карти Карно
- •Кодистійкі до перешкод
- •Логічні побітові операції
- •Завдання до виконання
- •Контрольні запитання.
- •Список літератури
- •Застосування логіки висловлювань в програмній інженерії методичні вказівки
Контрольні запитання.
Визначити кон’юнктиву та диз’юнктивну нормальну форму.
Які правила отримання КНФ та ДНФ?
На прикладах будувати ДКНФ та ДДНФ.
Що таке скорочена ДНФ?
Який алгоритм отримання скороченої ДНФ?
Що таке мінімальна та тупикова ДНФ?
На прикладі пояснити використання карт Карно.
Що таке перешкодостійкі коди?
Які коди називаються блоковими? Наведіть приклад.
Що характеризує відстань за Хеммінгом?
Як визначити надмірність коду?
Назвати логічні побітові операції.
На прикладі пояснити використання логічних побітових операцій – зсуву вліво, зсуву вправо.
Список літератури
Андерсон Д. Дискретная математика и комбинаторика. – СПб.: Вильямс. – 2003.
Капітонова Ю. В., Кривий С. Л., Летичевський О. А., Луцький Г. М., Печурін М. К. Основи дискретної математики. – К.: Наукова думка. –2002.
Кузнецов О. П, Адельсон-Вельский Г. М. Дискретная математика для инженера. – М.: Знергоатомиздат, 1988, – 480 с.
Нефедов В.И., Осикова В. А. Курс дискретн ой математики. – М.:Изд-во МАИ. – 1992. – 264с.
Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика: Підручник. – Л.: «Магнолія Плюс». – 2005. – 608с.
Новиков Ф. А. Дискретная математика для программистов. – СПб.: Питер. – 2000.
Яблонский С. В. Введение в дискретную математику. – М.: Наука. – 1986. – 384с.
НАВЧАЛЬНЕ ВИДАННЯ
Застосування логіки висловлювань в програмній інженерії методичні вказівки
до виконання практичних завдань
з дисципліни „ Комп’ютерна дискретна математика ”
для студентів базового напряму
„ Програмна інженерія ”
Укладачі Сердюк Павло Віталійович
Нитребич Оксана Олександрівна
Редактор
Комп’ютерне верстання