Источник векторного поля
точка, в которой дивергенция положительна
обобщение математической индукции: утверждение считается доказанным для всех элементов некоторого вполне упорядоченного множества, если справедливость этого утверждения для любого элемента вытекает из его справедливости для предшествующих элементов
том, что для языков бесконечного порядка невозможно семантически определить истину без использования трансфинитной...
индукции), не может быть точно сформулирован без теории семантических категорий.
Указаны четыре математических метода решения задач и доказательства теорем. Отмечены имена ученых, внесших вклад в их формирование и развитие. Показаны многочисленные примеры применения этих методов. Приведена историческая справка.
точка, в которой дивергенция положительна
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
идеал, состоящий только из нулевого элемента