Миронов А.М. - Формальная семантика и верификация ПО - 2. Верификация программ (продолжение)

Верификация программ (продолжение). Сортировка пузырьком 00:00:19 Повторение предыдущей лекции 00:12:44 Замечание по поводу теоремы Гаусса-Остроградского 00:14:35 Замечание по поводу следствия закона сохранения массы 00:16:00 Уравнение движения для жидкого объема 00:42:16 Общие свойства напряжений 01:07:47 Закон сохранения момента количества движения Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #миронов #формальнаясемантикапо #верификацияпо