Интерактивный курс
От определений к исполняемой арифметике¶
Мы сопоставляем каждое математическое определение с представлением данных и кодом Python, а не только показываем результат.
Исходные знания
Предполагается знание переменных, функций, классов и условий Python. Специальные методы, декораторы и dataclass объясняются по мере необходимости.
Как проходить курс¶
В каждой главе сначала прочитайте определение и настоящий код, затем запишите прогноз и лишь после этого запускайте пример.
Математическое определение
Сначала отличите аксиомы от построенных на них определений.
Представление данных
Найдите, как математический объект хранится в значении Python.
Реализация на Python
Сопоставьте каждый случай определения с ветвью настоящего метода.
Главы¶
- 00 · Механизмы Python, нужные для курса
- 01 · Натуральные числа: ноль, следующий и рекурсия
- 02 · Целые числа: представители и эквивалентность
- 03 · Рациональные числа: перекрёстные произведения
- 04 · Многочлены: коэффициенты и последовательности Штурма
- 05 · Вещественные алгебраические корни: изоляция и бисекция
В конце вы сможете обосновать трассировку по аксиомам и коду, а не просто повторить вывод.