00:00 в прошлой серии 07:30 разворачивание определения декартова произведения 14:30 метаязык 17:20 бинарное отношение 21:00 отношение эквивалентности 24:40 фактормножество 31:42 множество целых чисел 39:00 множество рациональных чисел 41:22 функции 43:50 свойство функциональности 44:55 свойство тотальности 45:30 свойство инъективности 46:30 свойство сюръективности 49:20 область определения отношения 50:00 область значений отношения 50:35 композиция отношений 01:00:00 сечение 01:07:20 вещественные числа 01:15:06 дополнение определения сечения 01:18:09 порядок 01:19:05 принцип наименьшей верхней грани
@macarchev
2 жыл бұрын
Спасибо за работу, думаю, что модераторам имеет смысл включить уже сделанный тайминг в описание лекции, или, хотя бы, закрепить комментарием
@macarchev
2 жыл бұрын
Спасибо за работу, думаю, что модераторам имеет смысл включить уже сделанный тайминг в описание лекции, или, хотя бы, закрепить комментарием
@antonkucenko3310
3 жыл бұрын
Метаязык - это да. А вот "x", написанный белым мелом в этой аудитории, и "x", написанный другим мелом в другой аудитории, где читалась в другое время лекция на ту же самую тему (или просто лекцию повторили), эти "x" одно и то же? И вообще, есть ли где-нибудь такое абстрактное место, где все формулы как бы уже написаны, в единственном экземпляре (или много раз одно и то же, и имеет ли это вообще значение?), а мы их просто переписываем, в соответствии с правилами вывода. Почему, если вывод формулы где-то в другое время, в книге был написан, то нам не нужно повторять этот вывод прежде чем пользоваться этой формулой, и мы уверены, что мы ВСЕГДА можем переписать символ в символ этот вывод например? Это я типа шутить пытался
Пікірлер: 5