9. Контрольні запитання.

1. Що таке висловлювання?

2. Що таке атомарна формула, як її позначити?

3. На прикладі пояснити поняття логічних зв’язок.

4. Що таке формула та які її особливості?

5. На прикладах пояснити, яка формула називається n-місною.

6. Дати означення тавтології, протиріччя.

7. На прикладах пояснити використання таблиць істинності.

8. На прикладах показати використання законів логіки висловлювань.

9. Які існують способи доведення логічних рівностей?

10. Які логічні операції є унарними, а які бінарними?

11. Що таке випереджальна нормальна формула?

12. Який алгоритм перетворення формули у випереджальну нормальну?

13. Що таке квантифікація?

14. Що таке предикат, n-місний предикат ?

Список літератури

1. Андерсон Д. Дискретная математика и комбинаторика. – СПб.: Вильямс. – 2003. – 960 с.

2. Капітонова Ю. В., Кривий С. Л., Летичевський О. А., Луцький Г. М., Печурін М. К. Основи дискретної математики. – К.: Наукова думка. – 2002. – 626 с.

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

4. Нефедов В.И., Осикова В. А. Курс дискретной математики. – М.:Изд-во МАИ. – 1992. – 264 с.

5. Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика: Підручник. – Л.: «Магнолія Плюс». – 2005. – 608 с.

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

7. Яблонский С. В. Введение в дискретную математику. – М.: Наука. – 1986. – 384 с.

НАВЧАЛЬНЕ ВИДАННЯ

Основи логіки методичні вказівки

до виконання практичних занять

з дисципліни „Комп’ютерна дискретна математика”

для студентів базового напряму

„Програмна інженерія”

Укладачі Сердюк Павло Віталійович

Нитребич Оксана Олександрівна

Редактор

Комп’ютерне верстання

3