Досліджено актуальні питання розробки аксіоматичних моделей і методів проектування лінгвістичних трансляторів у системах логічного програмування. Зокрема, запропоновано методи перетворення правил довільних граматик на адекватні формули логічних обчислень, що дозволяє реалізувати фази компіляції відповідних умов за допомогою методу резолюцій. Сформульовано та доведено достатні умови завершеності фаз синтаксичного аналізу та переведення. Досліджено узагальнені моделі методу резолюцій і алгоритму уніфікації в рамках математик, відмінних від категорії множин.

  Скачати повний текст

Дослідження, проведені у спецшколах України, засвідчили бідність активного словника слабочуючих учнів на дієслівно-префіксальні слова. Доведено принципову можливість впливу методично правильно підготовлених словотворчих вправ на збагачення словника слабочуючих учнів лексичними одиницями із похідною основою. При розробці методичних позицій було використано відомі у вітчизняній методиці викладання рідної мови висновки про реальні можливості мовленнєвого розвитку слабочуючих учнів у процесі утворення структурно-семантичного підходу до вивчення складу слова і словотворення, які досі не були реалізовані в спецпрактиці вивчення рідної мови в школі для слабочуючих дітей.

  Скачати повний текст