Секвенция

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

Значения в других словарях

Математическая энциклопедия

Секвенциальное Пространство

топологическое пространство Xтакое, что из и (т. Е . множество Анезамкнуто) следует существование последовательности , k=1, 2, . ., точек из А, сходящихся к нек-рой точке . Если из всегда следует, что существует последовательность точек из А, сходящаяся к х, то Xназ. Пространством Ф р е ш е - У р ы с о н а. М. Я. Войцеховский.. ..

Математическая энциклопедия

Секвенций Исчисление

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

Математическая энциклопедия

Сектор

Сектор газа. Жарг. Шк. 1. Школьный туалет. 2. Медпункт. ВМН 2003, 120.. ..

Математическая энциклопедия

Секунда

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

Дополнительный поиск Секвенция

Топ просмотров

Кударь, Петр Сергеевич / Работа / Аникин / Обворожить / Привередливый / Мимо яблоньки яблочко не падает. / Ехало болело / Сесть на шею / Хуеплёт / Попутать берега / Ай, Моська! знать она сильна, Что лает на слона / Оразмухамедов / Печенье домашнее / Где цветок, там и медок. / Ехал прямо, да попал в яму. / Воробью по колено / Хмырь / Без четырех углов изба не рубится. / Чёрта в ступе / Потерять голову / Молодец! Возьми с полки пирожок с гвоздями (с котятами) / Да будет стыдно тому, кто об этом дурно думает / Чувырла / Мелко плавать - дно задевать. / Уме недозрелый, плод недолгой науки! / Пень не околица, глупая речь не пословица. / Топорная работа / Фитуни, Леонид Леонидович / Ириней Лионский / Всякая лиса свой хвост хвалит.

Добавить комментарий

Для добавления комментария необходимо пройти авторизацию или регистрацию.

Комментарии

Комментариев пока нет

На нашем сайте Вы найдете значение "Секвенция" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Секвенция, различные варианты толкований, скрытый смысл.

Первая буква "С". Общая длина 9 символа

Угадай синоним...

& Суть игры

Угадайте следующее слово, по смыслу схожее с нижеприведенными

Багровый, алый

Введите следующее слово: 7 букв

Коментарии к словам

чо 13 окт. 2023 г., 20:02:07

3 целых1\8 +1/12-1/3 черта 7,3 0,4*8,5 ..

Вырожденное Гипергеометрическое Уравнение

Антон 4 сент. 2022 г., 10:11:57

Демонтаж сенажных башен , консультации по разборке сенажных башен, помощь в составлении договора подряда на выполнение работ по демонтажу сенажных башен с выездом на место +375(29)9082408 +375(29)8108370 ( Вацап, Вайбер) Антон ..

Сенажная башня

Антон 4 сент. 2022 г., 10:04:01

Разберу сенажную башню по договору подряда( за180 000₽ за большую,60 000₽ за малую) , либо проведу платную консультацию по разбору с возможным выездом за 60 000₽ , мой телефон для связи +375(29)9082408 +375(29)8108370( Вайбер, Вацап)..

Степан 18 янв. 2022 г., 13:33:10

Добрый день, меня зовут Степан. Нас заинтересовал Ваш сайт. Мы хотели бы с вами поработать на взаимовыгодных условиях. К примеру мы бы хотели разместить статью или новость на вашем сайте про наш сайт. Скажите это возможно? Какие еще варианты у вас ес..

Абашидзе

Ирина 28 сент. 2021 г., 17:14:55

Добрый день, меня зовут Ирина. Нас заинтересовал Ваш сайт. Мы хотели бы с вами поработать на взаимовыгодных условиях. К примеру мы бы хотели разместить статью или новость на вашем сайте про наш сайт. Скажите это возможно? Какие еще варианты у вас ест..

Alveococcus multilocularis