Size: a a a

Мехмат МГУ

2020 September 11

A

Armen in Мехмат МГУ
*
источник

D

D.A. in Мехмат МГУ
источник

D

D.A. in Мехмат МГУ
/tenet
источник

M

MSU Hub Bot in Мехмат МГУ
источник

R

Respirant in Мехмат МГУ
Всем привет. Что будет с объемом и массой при пропорциональном увеличении размеров объекта?
источник

AR

Alexander Rogachev in Мехмат МГУ
Respirant
Всем привет. Что будет с объемом и массой при пропорциональном увеличении размеров объекта?
Масса это линейная от объема, а объем это куб линейных размеров
источник

AR

Alexander Rogachev in Мехмат МГУ
ОНИ ВЫРАСТУТ
источник

NK

ID:0 in Мехмат МГУ
источник

NK

ID:0 in Мехмат МГУ
📋 Пост в группе Мехмат МГУ:

Здравствуйте! С информированием о спецкурсах и ЕНС сейчас проблемы. Поэтому, некоторые студенты и преподаватели согласились писать в табличку то, что сами знают.

Таблица доступна для редактирования ВСЕМ, в этом и идея, так как у студентов разных кафедр\курсов разная информация. Давайте поможем себе сами в этой ситуации!

Огромное спасибо тем, кто её уже редактирует.

https://docs.google.com/spreadsheet...5PvifKKWjr217Dala2fg_Nnu25c/edit#gid=2072356640

— Ссылка:
Спецкурсы и ЕНС

— Автор: Катя Рыбак
источник

NK

ID:0 in Мехмат МГУ
📋 Пост в группе Мехмат МГУ:

Полугодовой спецкурс ЕНС "Математическая теория программирования" будет читаться онлайн по пятницам, с 15:45, адрес zoom-канала - 696 413 4616 пароль 337605. Курс читает доцент А.М.Миронов.

Целью курса является изложение основных математических моделей компьютерных программ и методов их формальной верификации. В курсе предполагается изложение следующих моделей:

1. Графовые модели нерекурсивных программ
2. Модели функциональных программ, основанные на понятии неподвижной точки.
3. Процессные модели параллельных и распределенных программ.
4. Автоматные модели (модели Крипке) программ с конечным числом состояний.
5. Вероятностные модели программ.
источник
2020 September 12

RB

Ramzan Bekbulatov in Мехмат МГУ
источник

M

MSU Hub Bot in Мехмат МГУ
он так сзади уже обсуждаем все детали у нас тут всем бабам
источник

A

Armen in Мехмат МГУ
Не давайте ему алкоголь
источник

RB

Ramzan Bekbulatov in Мехмат МГУ
Дали только в попу
источник

A

Armen in Мехмат МГУ
источник

A

Armen in Мехмат МГУ
/tenet
источник

M

MSU Hub Bot in Мехмат МГУ
источник

A

Armen in Мехмат МГУ
Во, теперь больше похоже на родной язык иска
источник

E

Eva in Мехмат МГУ
Armen
Во, теперь больше похоже на родной язык иска
ХАХАХАХХАХАХ
источник

E

Eva in Мехмат МГУ
Ещё и шутит несмешно-Рамзан смеяться перестал
источник