- ПОСТА НОРМАЛЬНАЯ СИСТЕМА
нормальное исчисление,- важный частный случай Поста канонической системы. с. Ю. Мослов.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ПОСТА НОРМАЛЬНАЯ СИСТЕМА
Смотреть что такое "ПОСТА НОРМАЛЬНАЯ СИСТЕМА" в других словарях:
ПОСТА СИСТЕМА ПРОДУКЦИЙ — нормальная система Поста, нормальное исчисление Поста, частный случай Поста канонической системы, когда все правила вывода имеют вид и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил… … Математическая энциклопедия
система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… … Словарь-справочник терминов нормативно-технической документации
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
Требования — 5.2 Требования к вертикальной разметке 5.2.1 На поверхность столбиков, обращенную в сторону приближающихся транспортных средств, наносят вертикальную разметку по ГОСТ Р 51256 в виде полосы черного цвета (рисунки 9 и 10) и крепят световозвращатели … Словарь-справочник терминов нормативно-технической документации
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… … Медицинская энциклопедия
БЛАГОВЕЩЕНИЕ ПРЕСВЯТОЙ БОГОРОДИЦЫ — [греч. Εὐαγγελισμός; лат. Annuntiatio], один из главных христ. праздников, посвященный воспоминанию благовестия арх. Гавриила Пресв. Деве Марии и Боговоплощения. Событие Благовещения Согласно Евангелию (Лк 1. 26 38), в 6 й месяц после зачатия… … Православная энциклопедия
Сокольников, Григорий Яковлевич — Григорий Яковлевич Сокольников … Википедия
Григорий Сокольников — Сокольников Григорий Яковлевич Народный комиссар финансов РСФСР 1922 год … Википедия
