uAnalytiCon

Иногда студенты говорят нам, что Великой материализации квантора существования не было. Тогда мы рассказываем им о Великой материализации простых чисел в сыре, о которой они не могут помнить, так как были тогда слишком маленькими, а некоторые из них вообще ещё не существовали...

естественного языка». Мы поговорили о собаках, кошках, кенгуру, о разных видах равенства, приведении типов, копредикации и многих других страшных словах. Было гомотопичненько и параметричненько. С записью можно ознакомиться на нашем YouTube-канале, в паблике VK, на канале Дзен и на Rutube-канале...

Кажется, вопрос оказался не из тривиальных. Исследование продолжается, а мы пока пойдём праздновать Международный день рек. #ихнравы

читаете это сообщение, то ограбление можно не планировать. Это просто не выгодно во всех отношениях! Также на всякий случай напоминаем, что дедлайн подачи заявок всё ближе и ближе, надо успевать.

Тогда мы рассказываем им о Великой материализации квантора существования 1991 года, о которой они не могут помнить, так как были тогда слишком маленькими, а некоторые из них вообще ещё не существовали...