Логика в информатике (2025-2026): Лекция 10

Дискретные цепи Маркова (ДЦЦ). Выражение свойств ДЦЦ с использованием LTL. Присвоение вероятностей измеримым наборам запусков. Вероятностная задача проверки модели LTL. Пример марковского процесса принятия решений.