Пусть P(x,z) - метод P с входными аргументами x и выходными - Ответ на вопрос по Прог №1209309
-42%
Вопрос
Пусть P(x,z) - метод P с входными аргументами x и выходными z , и пусть P(x,z) корректен (частично, или условно) по отношению к предусловию Pre(x) и постусловию Post(x,z) . Какие высказывания истинны в этом случае по отношению к условно корректному методу P :- если на входе x , удовлетворяющем предусловию, метод P не завершит свою работу (зациклится), то это означает, что метод не является условно корректным
- на входе x , удовлетворяющем предусловию, условно корректный метод P может, как завершить свою работу, так и зациклиться - оба варианта не противоречат условной корректности метода
- если на входе x , удовлетворяющем предусловию, условно корректный метод P завершит свою работу, то на выходе гарантируется выполнение постусловия
- если на входе x , удовлетворяющем предусловию, условно корректный метод P завершит свою работу, то выполнение постусловия на выходе не гарантируется
Ответ
Этот вопрос в коллекциях
-20%
5,0
Рейтинг автора: 5 из 5
meimei1337 
🎓 Поможем сдать всё — тесты, практику, экзамены, курсовые, дипломы, отчёты! Закроем долги под ключ 🔑 Ведём от первой сессии до диплома 🏆 Работаем с Синергией, МЭИ и другими вузами 🤝 Гарантия результата или возврат денег 💰 Пиши! 🚀
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
