Исходное сообщение
"Инструментарий для доказательства теорем Coq рассматривает в..." Отправлено Lex, 11-Апр-21 14:42
> Вот ты можешь по названию проги - «Windows», однозначно догадаться что так > называется операционная система? Окна.. экраны. Какая-то взаимосвязь есть > Вот ты можешь по названию проги - «Inkscape», однозначно догадаться что так > называется инструментарий для векторной графики ? ink - чернила. Есть какая-то связь с рисованием и "рисовалкой" > Вот ты можешь по названию проги - «WinRar», однозначно догадаться что так > называется инструментарий для архивирования ? WinRar - [Rar]-архиватор для [Win]dows. Связь есть. Rar - формат сжатия, разработанный Евгением Рошалом. И название - [Р]ошал [Ар]хиватор. Т.е даже в названии формата упоминается, для чего он. > Вот ты можешь по названию проги - «Photoshop», однозначно догадаться что так > называется графический редактор ? Изображения, фотографии.. какая-то связь есть > ну ты понял... Ну вообще-то нет. Так какая связь между названием Петух( в лучшем случае ) и инструментарием для доказательства теорем ? Не видеоредактором, не подборкой горячих видосиков 18+, не инструментарием восстановления поврежденных древних надписей и изображений, разработанного во Франции, не ПО для автоматизации фермы или чего-то еще подобного.. а, черт возьми,  инструментарием для доказательства теорем. Конечно, можно тупо сослаться на три первых буквы фамилии ОДНОГО ИЗ разработчиков ( не удивлюсь, если "совершенно случайно" именно того, с фамилией которого получалось не "пет" / "сти" / "мих" / "гам" / итп, а именно кок ), но это будет слишком тупо.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: