ЗАПИТАННЯ І ЗАВДАННЯ
- 1. Що таке атомарному висловлювання? Наведіть кілька прикладів.
- 2. Чи є висловлювання «У Кронштадті холодно» атомарним?
- 3. Модель ліфта описується наступними бінарними змінними: Двері (відкрита / закрита), Мотор (включений / виключений), Перевантаження (є / немає). Скільки рядків буде мати таблиця істинності?
- 4. Що таке предикат? А предикат з нульовою арность?
- 5. У чому полягає відмінність алгоритмічних мов програмування від декларативних?
- 6. На основі табл. 1.3 доведіть, що яблуко смачне, якщо воно червоне.
ПРАКТИКУМ
- 1. Запишіть на мові Prolog силогізм Аристотеля: «Всі люди смертні. Сократ - людина. Отже, Сократ смертний ».
- 2. Складіть на мові Prolog програму обчислення ряду Фібоначчі (1,1, 2,3, 5, 8,13, 21, ...), в якому перші два числа - одиниці, а кожне наступне дорівнює сумі двох попередніх.
- 3. Доведіть методом логічного програмування, що різниця двох парних чисел - це парне число.
- 4. Доповніть набір аксіом для доказу (а + b ) 2 = а 2 + 2 ah + b 2 .
