Поста Система Продукций

нормальная система Поста, нормальное исчисление Поста,- частный случай Поста канонической системы, когда все правила вывода имеют вид и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил эквивалентность П. С. П. И канонич. Систем Поста в широком смысле. П. С. П. Были использованы Э. Постом и А. А. Марковым (1947) при построении первых примеров ассоциативных исчислений с неразрешимой проблемой распознавания равенства слов (проблема Т уэ). Лит.:[1] Post E. L., "Araer. J. Matty.", 1943, v. 65, № 2, p. 197-215. [2] Марков А. А., Теория алгорифмов, М., 1954 (Тр. Матем. Ин-та АН СССР, т. 42). С. И. Адян.

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

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

Поста Нормальная Система

нормальное исчисление,- важный частный случай Поста канонической системы. С. Ю. Мослов. ..

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

Поста Решетка

- решетка по включению Поста алгебр. ..

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

Постникова Квадрат

Когомологическая операция типа 0(1, А, 3, В), где А, В - абелевы группы с фиксированным гетероморфизмом h. , т. Е. Таким отображением, что функция билинейна и h (-g) =h(g). Пусть - эпиморфизм, а - свободная абелева группа. Для 1-коциклов П. К. Определен формулой где - такая коцепь с коэффициентами в F, что . Надстройкой над П. К. Является Понтрягина квадрат. Для односвязного XП. К., для к-рого А=p2 (Х), В=p3 (Х), а h определяется композицией с отображением Хопфа , используетс..

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

Постникова Система

Дополнительный поиск Поста Система Продукций

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

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

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

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

Комментарии

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

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

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

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

& Суть игры

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

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

Введите следующее слово: 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