Геометрический ряд
числовой сходящийся ряд вида (|q| < 1): a1 + a1q + … + a1qn + …; сумма его равна a1/1 - q
обобщение математической индукции: утверждение считается доказанным для всех элементов некоторого вполне упорядоченного множества, если справедливость этого утверждения для любого элемента вытекает из его справедливости для предшествующих элементов
том, что для языков бесконечного порядка невозможно семантически определить истину без использования трансфинитной...
индукции), не может быть точно сформулирован без теории семантических категорий.
Указаны четыре математических метода решения задач и доказательства теорем. Отмечены имена ученых, внесших вклад в их формирование и развитие. Показаны многочисленные примеры применения этих методов. Приведена историческая справка.
числовой сходящийся ряд вида (|q| < 1): a1 + a1q + … + a1qn + …; сумма его равна a1/1 - q
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
цепь, не содержащая цикла (т. е. все ее вершины различны)