AZ
если ты проходил преобразования лапласа то это похожая фигня: переходим в другую область, решаем, возхвращаемся назад и хоба, мы в дамках
Size: a a a
2020 June 11
AZ
а конкретное чтото?
ну вон 3 задачки скидывали тут полгода назад
AZ
оно как раз на это
VS
@hirrolot Ищи что-то за границей на гранты. Чтобы на стипендию бесплатно учиться и жить. В США слыхал есть такое
DR
универы оверрейтед
Не все, угадать сложно, но можно Я хороший контраст между бакалавриатом и магистратурой словил
VS
@hirrolot и не обращай внимания на Попова. Не будь как Попов
SP
@hirrolot Ищи что-то за границей на гранты. Чтобы на стипендию бесплатно учиться и жить. В США слыхал есть такое
кстати да. знакомый так уехал и там паразитирует уже лет 10 наверное
DR
Да, спасибо.
Цитаты можно курсивом оформлять
Цитаты можно курсивом оформлять
👌
AZ
@enomad вот 3 задачки, это пример верификации
AZ
каждая задачка по сути формулировка теоремы
AZ
причем известные
AZ
в частности quiz_3 это "из лжи следует всё что угодно"
SP
а че делать то надо?
AZ
сделать так чтобы скомпилировалось
AZ
типы функций это теоремы
AZ
если они компилируется значит теорма доказана
e
Ищу сейчас
выбирай тот уник у которого дизайн современный, я свой так выбрал
SP
а смысл какой у типов?
AZ
Or это или, a -> b это импликация