Дипломная работа, защищена в МГГУ им. М.А Шолохова в 2010 г. В
дипломной работе автор изучила теоретические аспекты и выявила
природу "Логики предикатов", определила актуальность проблемы "
Логики предикатов " в современных условиях, рассмотрела задачу по
«Логике предикатов» и его решение на Прологе.