Эта страница расказывает о новом подходе к представлению функций алгебры логики. Подходе-основанном на позицинном языке представления ФАЛ. |
Этот подход впервые был предложен Мироном Ивановичем Тельпизом .Основная его идея заключается в том, что для представления ФАЛ используется позиционнй язык, аналогичный тому, котоый применяется в позиционной системе счисления.В результате примения этого подхода была создана позиционная алгебра логики и доказана теорема NP=P. |
Создавая эту страницу мы преследовали следующие цели:расказать о теории позиционной алгебры логики (ПАЛ), организовать форум для обсуждения её основных идей и найти спонсоров для финансирования дальнейших разработок. |
Навигатор по сайту | Возможные сферы применения | Наши друзья и спонсоры | |
Личные странички |