s
Про доказательства в Isabelle/HOL.
Size: a a a
2021 December 02
s
Конкретнее, см. http://concrete-semantics.org/
i
Это лучше чем конкретная математика кнута?
EZ
Что лучше, банан или красное
i
Похоже на вопрос при вписке
V🇺
V🇺
Там выше задали (не риторический) вопрос - что такое проекция. Ответ на него должен помочь распутаться
ДГ
Правильно ли я понимаю что надо решать так?
a` = a + kb
a` = (2+4k, 3k, 2+2k, k)
2+4k+2+2k-3k-k = 4+ 2k => k =-2
Ответ: (-6,-6, -2, -2)
@isenbaev
a` = a + kb
a` = (2+4k, 3k, 2+2k, k)
2+4k+2+2k-3k-k = 4+ 2k => k =-2
Ответ: (-6,-6, -2, -2)
@isenbaev
V🇺
i
что да?
V🇺
Банан или красное - лучше
FO
а можно вместе?
FO
бананы с красными вином %)
V🇺
Разрешаю, но лучше сыр вместо бананов
ДГ
осуждаем алкоголь
L
Лучше осуждать алкоголиков. Правда, это им тоже не особо помогает.
a
Сплошные углеводы, не ок.
ГG
👀
Почему?
Почему?
2021 December 03
a
Рацион не должен находиться близко к краям в выпуклой оболочке концентраций белков, жиров и углеводов. Вино это 100% углеводы, бананы — близко к тому, и к тому же калорийны.
X
ну он-то перед этим мог тарелку борща навернуть и мясца там запечь, а потом на дессерт уже своего вина с бананами