Продвинутая ОКТЧ наконец-то

Помогите пароль от роутера выбрать!

Успешно!!!

Я уже 5 минут лекции по матану пропустил. Наверное, это не критично.

Лукашов вводит натуральные числа не особо формальным образом. Умудрился упомянуть ALGOL 60. От ALGOL до теории категорий кстати всего 2 шага.

Сейчас докажут 2*2=4 в аксиоматике Пеано.

Шёл в 203 УПМ через ГК и Цифру
В последний момент меняют на 518 ГК
В 518 ГК оказались второкурсники со своим семинаром уже когда пара началась
И нас заставляют снова в 203 УПМ идти

На этот раз в ВК Ислам в ВШЭ

Поступайте в ФКН а стоп я учусь в МФТИ ну значит не поступайте

Разбор асимптотик от Ф.Руховича не особо интересный (потому что я знаю это)

Докажем, что сортировка пузырьком работает за O(n). Пусть T(n) число операций для n предметов. Тогда T(n)=O(n)+T(n-1). T(1)=O(1), поэтому для всех n T(n)=O(n) по индукции, так как O(n)+O(n)=O(n). Итого получаем искомое.

13 ноября 2026 все люди мгновенно пропадут (предсказание 1960 года), так как формула количества людей будет предсказывать отрицательные количества людей начиная с этого момента.

Бесконечные бесконечности

А сейчас вводятся действительные числа как классы эквивалентности стягивающихся систем вложенных рациональных отрезков (гнёзд)

Из других новостей вероятно, что сбили человека (крови и подобного нет, просто сбитая доставка (как она называется?))

Действительные числа всё ещё вводят (мы же не разобрались с умножением!)

Появилась реклама.

Ну что, сегодня предпосвят. Надеюсь, что мне понравится.