НОРМАЛЬНАЯ ФОРМА

НОРМАЛЬНАЯ ФОРМА
НОРМА́ЛЬНАЯ ФО́РМА
(в математи- ч е с к о й л о г и к е) – наиболее простая в к.-л. отношении – "стандартная" – форма представления логич. объектов (предложений, формул, доказательств, схем определений и др.). Понятие о Н. ф. вводится в каждом конкретном случае посредством спец. определений. Так, говорят о (совершенных) конъюктивных и дизъюнктивных Н. ф. в алгебре логики (см. также Логика высказываний), предваренных (сколемовских) Н. ф. в предикатов исчислении (см. Предварённая форма), о Н. ф. определения обще-(и частично)-рекурсивных функций (см. Рекурсивные функции и предикаты), о Н. ф. доказательства в секвенций исчислении и др. Доказательства существования Н. ф. играют фундаментальную роль в соответствующих разделах математической логики и теории алгоритмов в связи с разрешения проблемой.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Игры ⚽ Нужна курсовая?

Смотреть что такое "НОРМАЛЬНАЯ ФОРМА" в других словарях:

  • нормальная форма — канонический вид — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы канонический вид EN normal form …   Справочник технического переводчика

  • Нормальная форма — У этого термина существуют и другие значения, см. Нормальная форма (значения). Нормальная форма  свойство отношения в реляционной модели данных, характеризующее его с точки зрения избыточности, потенциально приводящей к логически ошибочным… …   Википедия

  • НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи …   Математическая энциклопедия

  • нормальная форма — norminė forma statusas T sritis automatika atitikmenys: angl. normal form vok. Normalform, f rus. нормальная форма, f pranc. forme normale, f …   Automatikos terminų žodynas

  • Нормальная форма дифференциальных уравнений — есть наипростейшая эквивалентная форма исходных уравнений. Нормальная форма получается с помощью специальных замен зависимых и независимых переменных задачи с целью максимального упрощения структуры уравнений. В математике эти замены переменных… …   Википедия

  • Нормальная форма Бойса — Кодда — (англ. Boyce Codd normal form; сокращённо BCNF)  одна из возможных нормальных форм отношения в реляционной модели данных. Иногда нормальную форму Бойса Кодда называют усиленной третьей нормальной формой, поскольку она во всех отношениях… …   Википедия

  • Нормальная форма Бойса — Кодда (англ. Boyce Codd normal form; сокращённо BCNF)  одна из возможных нормальных форм отношения в реляционной модели данных. Иногда нормальную форму Бойса Кодда называют усиленной третьей нормальной формой, поскольку она во всех… …   Википедия

  • Нормальная форма Чибрарио — нормальная форма дифференциального уравнения, не разрешённого относительно производной, в окрестности простейшей особой точки. Название предложено В. И. Арнольдом в честь известного итальянского математика Марии Чибрарио, установившей эту… …   Википедия

  • Нормальная форма Пуанкаре — Дюлака — Связать? В теории динамических систем, нормальная форма Пуанкаре Дюлака (англ.)  формальная норм …   Википедия

  • Нормальная форма Пуанкаре-Дюлака — Нормальная форма Пуанкаре Дюлака …   Википедия

  • нормальная форма Бэкуса — Стандартный способ формального определения грамматики, элементов и атрибутов языка программирования, например XML. [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN Backus normal formBNF …   Справочник технического переводчика


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»