Попробую описать знание материала 1 курса:
сечения Дедекинда - кажется, это подмножества
и без максимального элемента; вспомнил, как определяется сложение и умножение для положительных (содежащих
) сечений (не знаю, можно ли определить умножение единообразно для всех сечений), в уме проверил соответствие с операциями для рациональных чисел, выполнение алгебраических чисел вроде легко видно;
можно получить
пополнением по норме
- модулю (действительные числа - классы фундаментльных последовательностей рациональных чисел);
определение предела функции и последовательности на языке
, арифметические и порядковые свойства пределов, 1 и 2 замечательные пределы;
определение производной, его значение для элементарных функций, теоремы Ферма, Ролля, Лагранжа (дифференцируемость нужна, по-моему, внутри интервала), про отношение приращений 2 функций;
определение определённого интеграла, связь с пределами Дарбу, линейные и порядковые свойства, непрерывность относительно (верхнего) предела, его дифференцируемость в условии непрерывности подынтегральной функции, формула Ньютона-Лейбница.
Не знаю, насколько много из перечисленного сумею доказать. Допишу, возможно, завтра, если нужно будет.