Справедливо, Евгений!
Должно быть **Например, формула <>!a удовлетворяет данному требованию, а формула !<>a -- нет.**
С уважением, Константин Савенков.
Картавец Евгений пишет:
Признаюсь, фраза, выделенная жирным шрифтом, ввела меня в некоторое затруднение. (**Например, формула !<>a удовлетворяет данному требованию, а формула !<>a -- нет.** )
Дано:
Описание на естественном языке трёх свойств, которым должна удовлетворять некоторая программа.
Выполнить:
Для каждого свойства ввести при помощи конструкций #define необходимые пропозициональные символы и составить формулу логики LTL.
Требования к решению:
При описании пропозициональных символов разрешается использовать предикаты, ограничивающие значения переменных, упоминаемых в формулировке свойства на естественном языке, а также ссылки на метки в тексте программы.
Предполагается< что код программы при проверке свойства не модифицируется. Таким образом, использование различных вспомогательных переменных (счётчиков, флагов итп) не допускается.
Оператор ! (отрицание) разрешено применять лишь непосредственно к пропозициональным символам. *Например, формула !<>a удовлетворяет данному требованию, а формула !<>a -- нет.*
Решение задания можно присылать по почте или сдавать на зачёте.
Сроки зачётов (ауд. 758):
13 мая (первые 3 пары) -- АСВК 15 мая (первая пара) -- АЯ 18 мая (первые 3 пары) -- СП + все, кто не успел сдать.
На зачёте будет происходить сдача 5-го задания и проставление оценок за практикум (студентам АСВК -- в ведомость).