Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціональними символами - Статья

бесплатно 0
4.5 213
Приклад приведення двох термів з одномісними функціональними символами у середовищі лямбда-алгебри. Генетичний алгоритм із використанням спеціальних метрик як альтернативний спосіб ефективного знаходження уніфікатора. Проблематика задачі уніфікації.

Скачать работу Скачать уникальную работу

Чтобы скачать работу, Вы должны пройти проверку:



Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность
своей работы


Новые загруженные работы

Дисциплины научных работ





Хотите, перезвоним вам?