Меню
Главная
Авторизация/Регистрация
 
Главная arrow Информатика arrow ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ
Посмотреть оригинал

Вопросы и задания

  • 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 + 2ah + b2.
 
Посмотреть оригинал
Если Вы заметили ошибку в тексте выделите слово и нажмите Shift + Enter
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 

Популярные страницы