x 1.00
Скачать видео

Лекция 1. Знакомство с бесконечной размерностью

  1. 00:19Введение в курс
  2. 06:35Логические символы
  3. 07:38Переменные для высказываний
  4. 12:27Два подхода с аксиомами и выводами
  5. 15:23Описание множества
  6. 17:23Вывод через исходный язык
  7. 18:26Аксиома равенства
  8. 22:03Пустое множество. Аксиома множества-степени
  9. 26:33Ввод обозначения
  10. 32:05Бесконечные множества
  11. 33:48Аксиома регулярности
  12. 38:22Пересечение множеств
  13. 40:23Представление натуральных чисел
  14. 45:16Аксиома бесконечности
  15. 47:40Множество натуральных чисел. Разрешительные аксиомы
  16. 01:00:45Функция и аргумент. Определение упорядоченных пар через неупорядоченные множества
  17. 01:08:28График функции
  18. 01:13:44Функция целых чисел. Аксиомы сложения и вычитания
  19. 01:15:48Операция умножения
  20. 01:16:42График операций сложения
  21. 01:23:57Рациональные числа
  22. 01:25:23Вещественные числа
  23. 01:26:49Комплексные числа
  24. 01:27:45Задача