Развитие навыков формализации и моделирования на примере искусственно созданных предметных областей, определенных среди логических задач повышенной сложности. Использование основных языков логического программирования и средств математической логики.
Аннотация к работе
Формирование навыков формализации и моделирования в процессе логического программирования.