|
НОРМАЛЬНАЯ ФОРМАНОРМАЛЬНАЯ ФОРМА (в математи- ч е с к о й л о г и к е) – наиболее простая в к.-л. отношении – "стандартная" – форма представления логич. объектов (предложений, формул, доказательств, схем определений и др.). Понятие о Н. ф. вводится в каждом конкретном случае посредством спец. определений. Так, говорят о (совершенных) конъюктивных и дизъюнктивных Н. ф. в алгебре логики (см. также Логика высказываний), предваренных (сколемовских) Н. ф. в предикатов исчислении (см. Предварённая форма), о Н. ф. определения обще-(и частично)-рекурсивных функций (см. Рекурсивные функции и предикаты), о Н. ф. доказательства в секвенций исчислении и др. Доказательства существования Н. ф. играют фундаментальную роль в соответствующих разделах математической логики и теории алгоритмов в связи с разрешения проблемой. Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970. Категория: Словари и энциклопедии » Философия » Философская энциклопедия Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|