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

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

Смотреть больше слов в «Философской Энциклопедии»

НОРМАЛЬНЫЙ АЛГОРИФМ →← НОРВЕЖСКАЯ ФИЛОСОФИЯ

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

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

- 1) Н. ф. матрицы A - матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от р... смотреть

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

НОРМА́ЛЬНАЯ ФО́РМА (в математи- ч е с к о й л о г и к е) – наиболее простая в к.-л. отношении – "стандартная" – форма представления логич. объектов ... смотреть

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

= нормальная форма колебанийnormal mode (of vibrations)

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

Normalform матем.

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

норма́льна фо́рма

НОРМАЛЬНАЯ ФОРМА МАТРИЦЫ

нармальная форма матрыцы

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

(в теории катастроф) normal Mors form

T: 68