Логика Предикатов

ВСТУП
  Сучасний рівень і темп технічного розвитку висувають перед студентом – майбутнім фахівцем, основну вимогу - не тільки вміти вчитися упродовж життя, а й ефективно застосувати нові знання, наукові відкриття і технології. Особливо це стосується такого розділу науки, як штучний інтелект.
  Інтелектуальні системи нового типу повинні створювати той інструментарій, який забезпечить освічену людину засобами більш якісного і глибшого опанування новітніми досягненнями науки і технологій. З іншого боку, на сьогодні важко назвати розділ теоретичної науки, який би не знайшов застосування в системах штучного інтелекту.
  Актуальність даної очевидна. Використання   точних наук у конструюванні технологій надзвичайно важливо,саме на їх основі створюється кістяк, те з чого почне «рости» справжній витвір мистецтва нового часу.
  Об’єкт: Математична логіка;
  Предмет: Логіка предикатів та її застосування   на практиці
  Мета: Висвітлити   основні напрямки застосування логіки предикатів у вирішенні прикладних та практичних задач.
  Завдання:
  1) Виділити основні напрямки використання логіки предикатів;
  2) Охарактеризувати на основі яких властивостей має місце їх використання саме у даній галузі;
  3) Зробити   висновок що до значення цього розділу   математичної логіки що до глобальних технологічних проблем;
1. Прикладнi числення (теорiї першого порядку)
  Прикладнi числення (теорiї першого порядку) характеризуються тим, що в них до логiчних аксiом додаються власнi спецiальнi аксiоми, в яких визначають