Vik
Заводитель заводных
Карма: +71/-0
 Offline
Сообщений: 1398
|
 |
« Ответ #4800 : 04 Июнь 2014, 12:53:46 » |
|
Для оптимиста стакан наполовину полон, для пессимиста - наполовину пуст. А с точки зрения топологии стакан полон стекла, остальное - снаружи.
|
|
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
Карма: +571/-1
Offline
Сообщений: 15710
|
|
« Ответ #4801 : 14 Июнь 2014, 04:07:14 » |
|
В самом деле ...  |
|
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки!  |
|
|
Тимошок Игорь
Администратор
Живу я тут
Карма: +703/-5
Offline
Сообщений: 10394
|
|
« Ответ #4802 : 14 Июнь 2014, 13:28:51 » |
|
В самом деле ...
Э...подождите! Равенство (тождество) доказано только в одну сторону. А в обратную? |
|
|
|
|
Записан
|
|
|
|
Чеблакова Лена
Заслуженный Ветеран общения
Карма: +560/-0
Offline
Сообщений: 5178
|
|
« Ответ #4803 : 15 Июнь 2014, 01:51:13 » |
|
В самом деле ...
Э...подождите! Равенство (тождество) доказано только в одну сторону. А в обратную? а в одну сторону ты проверил? В самом деле?  |
|
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
Карма: +571/-1
Offline
Сообщений: 15710
|
|
« Ответ #4804 : 15 Июнь 2014, 02:59:51 » |
|
В самом деле ...
Э...подождите! Равенство (тождество) доказано только в одну сторону. А в обратную? а в одну сторону ты проверил? В самом деле? Да там же всё очевидно! А вот по поводу доказательства в обе стороны я в первый раз слышу  В самом деле ... |
|
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! |
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
Карма: +571/-1
Offline
Сообщений: 15710
|
|
« Ответ #4806 : 15 Июнь 2014, 22:33:30 » |
|
"Если из а следует б, но из б не следует а, то тезис а является более сильным, чем тезис б"
Так в том доказательстве ничто не из чего не следует. Там обычные равенства  |
|
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! |
|
|
Тимошок Игорь
Администратор
Живу я тут
Карма: +703/-5
Offline
Сообщений: 10394
|
|
« Ответ #4807 : 16 Июнь 2014, 08:51:29 » |
|
Так в том доказательстве ничто не из чего не следует. Там обычные равенства Значит, нужно в обе стороны доказывать каждый шаг для равенства двух объектов необходимо и достаточно, чтобы любой предикат, который может быть построен на данном типе, давал на них одинаковое логическое значение |
|
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
Карма: +571/-1
Offline
Сообщений: 15710
|
|
« Ответ #4808 : 16 Июнь 2014, 10:47:47 » |
|
Игорь, там же обычные преобразования!
Вот, например:
(a+b)*(c+d) = (a+b)*c + (a+b)*d = a*c + b*c + a*d + b*d
Зачем тут что-то доказывать "в обратную сторону" ?
|
|
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! |
|
|
Тимошок Игорь
Администратор
Живу я тут
Карма: +703/-5
Offline
Сообщений: 10394
|
|
« Ответ #4809 : 16 Июнь 2014, 12:27:57 » |
|
Чтобы произвести преобразования, нужно быть уверенным, что их можно произвести (это не всегда так). Да и само преобразование (функцию) кто-то когда-то доказывал, нет?
|
|
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
Карма: +571/-1
Offline
Сообщений: 15710
|
|
« Ответ #4810 : 16 Июнь 2014, 13:21:36 » |
|
Чтобы произвести преобразования, нужно быть уверенным, что их можно произвести (это не всегда так).
В приведённом выше примере все эти преобразования можно производить и это доказанно. Мы же говорим о конкретных задачах и решениях, а не абстрактно рассуждаем. Я честно говоря не очень понимаю - чего ты не понимаешь.  Мне кажется, мы говорим немного о разных вещах ... |
|
|
|
« Последнее редактирование: 16 Июнь 2014, 13:23:44 от xapuyc »
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! |
|
|
Тимошок Игорь
Администратор
Живу я тут
Карма: +703/-5
Offline
Сообщений: 10394
|
|
« Ответ #4811 : 16 Июнь 2014, 14:18:22 » |
|
В самом деле? |
|
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
Карма: +571/-1
Offline
Сообщений: 15710
|
|
« Ответ #4812 : 16 Июнь 2014, 16:51:19 » |
|
В самом деле? |
|
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! |
|
|
xapuyc
Администратор
Мудрый эксперт
Карма: +571/-1
Offline
Сообщений: 15710
|
|
« Ответ #4813 : 16 Июнь 2014, 17:19:54 » |
|
Предлагаю сменить тему  |
|
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! |
|
|
Yuliya
Мега-заводной
Карма: +125/-0
Offline
Сообщений: 930
улыбайтесь!
|
|
« Ответ #4814 : 18 Июнь 2014, 16:35:22 » |
|
Основные положения устава клуба анонимных добряков:
1. Будь добр.
1.1. Будь добр, сука.
2. Люби людей
2.1. Не этим.
3. Делай добро.
3.1. В случае сопротивления, оставайся добрым, продолжай.
3.2. В случае вмешательства полиции, оставайся добрым, убегай.
4. Неси добро.
4.1. Выноси добро.
4.2. Проноси добро.
4.3. В случае вмешательства полиции, скидывай добро, не забывай оставаться добрым, убегай.
4.4. В случае задержания или ареста, упирай на то, что добро не твоё, тебе его подкинули. Притворяйся злодеем. Полиции это импонирует.
5. Рассчитывай силу нанесения добра. Получив слишком много добра, неподготовленный человек может умереть от умиления.
6. Улыбайся.
6.1. Не рычи, когда улыбаешься.
7. Помогай другим людям стать добрее.
7.1. Не ори.
7.2. Спрячь нож.
7.3. При необходимости звони в скорую.
|
|
|
|
|
Записан
|
|
|
|
|
