Сектор

одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. И. Находит широкое применение в доказательств теории, основаниях математики, при автоматич. Поиске вывода. С. И. Было предложено Г. Генценом в 1934 (см. [1]). Ниже приводится один из вариантов классич. Исчисления предикатов в форме С. И. Н а б о р о м ф о р м у л наз. Конечное множество формул нек-рого логико-математического языка W, причем в этом множестве допускаются повторения формул. Порядок формул в наборе Г ..

- выражение вида где A1,. ., А n, B1, . ., В т- формулы. Читается. "при допущениях A1, . ., А n имеет место В 1 или B2, или . ., или В т". Часть С., стоящая слева от стрелки, наз. А н т е ц е д е н т о м. Часть С., стоящая справа от стрелки, наз. Сукцедентом (консеквентом). Формула (пустая конъюнкция обозначает ложь, пустая дизъюнкция - истину) наз. Ф о р м у л ь н ы м о б р а з о м С. Г. Е. Минц. ..

- единица измерения плоских углов, равная части градуса или части минуты. Обозначается знаком ". Метрическая С.-1/106 часть прямого угла. Обозначается знаком сс. ..

- метод вычисления нулей непрерывных функций. Пусть в [а, b] содержится нуль a непрерывной функции f(x). Х0, х1 - различные точки этого отрезка. Итерационная формула С. М. (1) Если последовательность сходится, то обязательно к нулю функции f(x). При наличии у f непрерывной производной на [а, b]локальная сходимость С. М. К простому корню будет сверхлинейной. Если усилить требования к гладкости f, можно указать точный порядок (локальной) сходимости [1]. Именно, для и a такого, что , З..