Иногда сталкиваюсь с недопониманием между разработчиками, тестировщиками и менеджерами по поводу термина «задача сделана». Это может приводить к неприятным последствиям. Суть проблемы На переднем краю проблемы выступает разработчик. Он написал код, отправил в тестирование и доложил «задача готова». Хотя, как она готова, если она даже не протестирована? Ну такой подход из серии «с моей стороны пули вылетели». А если нет отдела тестирования, который эти пули хоть как-то может притормозить в случае чего, то разраб написал код, отправил в деплой и с чувством выполненного долга пошел делать другую задачу...
Обычно именно с этой темы я начинаю первое занятие по геометрии. Удивительно, что раньше без этого можно было обойтись, но в последнее время возникла потребность вносить ясность в этот вопрос.
Если говорить коротко, то теорема это верное логическое следование (импликация)...