Философская энциклопедия - нормальная форма
Нормальная форма
НОРМА́ЛЬНАЯ ФО́РМА
(в математич е с к о й л о г и к е) – наиболее простая в к.-л. отношении – "стандартная" – форма представления логич. объектов (предложений, формул, доказательств, схем определений и др.). Понятие о Н. ф. вводится в каждом конкретном случае посредством спец. определений. Так, говорят о (совершенных) конъюктивных и дизъюнктивных Н. ф. в алгебре логики (см. также Логика высказываний), предваренных (сколемовских) Н. ф. в предикатов исчислении (см. Предварённая форма), о Н. ф. определения обще-(и частично)-рекурсивных функций (см. Рекурсивные функции и предикаты), о Н. ф. доказательства в секвенций исчислении и др. Доказательства существования Н. ф. играют фундаментальную роль в соответствующих разделах математической логики и теории алгоритмов в связи с разрешения проблемой.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
.Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2308 | |
2 | 2261 | |
3 | 1393 | |
4 | 1351 | |
5 | 757 | |
6 | 732 | |
7 | 686 | |
8 | 664 | |
9 | 640 | |
10 | 616 | |
11 | 614 | |
12 | 561 | |
13 | 556 | |
14 | 543 | |
15 | 539 | |
16 | 532 | |
17 | 524 | |
18 | 522 | |
19 | 515 | |
20 | 515 |