После краткого повторения материала индивидуальных занятий рассказано о связи логики работы с аксиомами числового поля и логики применения законов Ньютона к материальным точкам. Кратко введены комплексные, двойные, дуальные, гиперкомплексные числа и вектора как наборы действительных чисел. Мысль провести аналогию между идеей введения центра масс системы материальных точек и вариантом введения комплексных чисел пришла во время записи предыдущей лекции.
Учебные и иллюстративные материалы для школьников, студентов младших курсов и преподавателей
421 view
0
0
10 years ago 00:10:56 29
Беклемишев Лев - Аксиоматический метод
9 years ago 00:09:12 79
Аксиоматический метод верификации программ А. Хоара