Изучение языковых, инструментальных средств, методологии логического моделирования, поддерживающих решение широкого класса задач. Язык логического моделирования. Концепция и средства модульной логической спецификации. Представление динамических свойств.