Исчерпывания Метод

При этом Вместо того чтобы прибегнуть к предельному переходу, Архимед геометрически доказывает, что при любом n Вводя площадь Архимед получает, что и, следуя изложенному выше порядку, заканчивает доказательство того, что Рис. К ст. Исчерпывания метод.. ..

ИСФАХАНСКАЯ ШКОЛА миниатюры - сформировалась на рубеже 16-17 вв. В Исфахане (Иран). Для Исфаханской школы характерны возникновение станковой миниатюры (на отдельных листах), преимущественное развитие виртуозного рисунка кистью, с легкой подцветкой (Реза Аббаси). С 1670-х гг. В произвольной Исфаханской школе проявилось влияние европейской живописи.. ..

ИСХОД ("Книга исхода") - вторая книга Пятикнижия.. ..

ИСЧИСЛЕНИЕ - знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. Е. Термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил ..

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - раздел математической логики, аксиоматическое построение логики высказываний.. ..

Метод доказательства, применявшийся математиками древности при нахождении площадей и объемов.. ..

- метод доказательства, применявшийся математиками древности при нахождении площадей и объемов. Назв. "метод исчерпывания" введено в 17 в. Типичная схема доказательства при помощи И. М. Может быть изложена в современных обозначениях так. Для определения величины Астроится нек-рая последовательность величин C1, C2, ..., С п,. Так, что предполагают также известным такое В, что и при любом целом Кдля достаточно больших пудовлетворяются неравенства где D- постоянно. С современной точки зре..