R
эх, плазму до сих пор оч люблю
мне тоже мультик по охотникам на приведений нравится)
Size: a a a
2020 January 31
R
столько было сил и времени потрачено на ее моделирование методом частиц-в-ячейках
на эту кафедру шли не особо желающие учиться люди)
R
больше шло на вычмат
R
а там рядом машоб и анализ данных)
R
поэтому и шли)
AT
а там рядом машоб и анализ данных)
"Мамы всякие нужны, мамы всякие важны. И на всякий случай записал адрес"
R
"Мамы всякие нужны, мамы всякие важны. И на всякий случай записал адрес"
побойся бога, ты же транзитивно-уважаемый пруф инженер
AT
побойся бога, ты же транзитивно-уважаемый пруф инженер
но не рефлексивно!
R
но не рефлексивно!
чет теоркат какой-то
R
вообще где снг школа пруф инжинирга или чистого компутер саенса?
R
везде машин лернинг
R
такое ощущение
AT
знаю, что в нескольких вузах в мск и спб читают курсы или по Coq или по семантикам ЯПов с применением Coq
AT
по Agda и Lean бывают спецкурсы
AT
и по Isabelle/HOL
R
знаю, что в нескольких вузах в мск и спб читают курсы или по Coq или по семантикам ЯПов с применением Coq
тинек с мгу читали, видел. С твоим участием)
AT
да я-то разово рассказал (почти, еще разок в спб буду рассказывать в CS центре)
AT
а там люди на постоянной основе читают курсы