Дисертація присвячена розробці методів формального опису структури природної мови за допомогою алгебри ідей - математичного апарата, побудованого як алгебро-логічний аналог природної мови. розроблено структуру алгебри ідей - носій алгебри, її операції й аксіоматика. Розглянуто питання повноти і нескоротності аксіоматики запропонованої моделі. Доведено, що алгебра ідей будь-якої розмірності існує і єдина з точністю до ізоморфізму. Розроблено модифіковану предикатну модель, що дозволяє вирішити задачу об"єднання часткових моделей, побудованих на базі підмножин множини ідей. Вирішено задачу конгруентних моделей, що виникає через частковість предиката і необхідності його довизначення. Розглянуто деякі важливі формальні і сенсорні інтерпретації алгебри ідей. Програмна система, створена на базі отриманих теоретичних результатів, впроваджена в інституті фізики високих енергій і ядерної фізики Національного наукового центра "Харківський фізико-технологічний інститут" для прийняття керуючих дій і контролю результатів керування в автоматизованій інформаційно-вимірювальній системі; у торгово-виробничому підприємстві "Європейське торгове обладнання" для розробки комп"ютерного дизайнерського комплексу у виді програмного керуючого модуля автоматизації дизайнерської роботи; на кафедрі автоматизації та проектування обчислювальної техніки Харківського національного університету радіоелектроніки для синтаксичного аналізу прикметників російської мови в системах, реалізованих на кристалі FPGA.