Разработка магистерской программы «Логические методы в информатике»