rrcai.ru

Russian Research Center for Artificial Intelligence (Российский исследовательский центр искусственного интеллекта) является издательством, специализирующимся на математической логике и исследованиях ошибок в монографиях. Одна из их публикаций, "Алгебра логики и алгебра Поста (теория двузначных функций)", содержит две существенные ошибки - теорема Янова-Мучника и ДНФ-КНФ. Однако остальные ошибки являются несущественными. В результате исправлений, в подразделе 22.3 "Системный подход к именованию классов" были внесены изменения в наименования классов. Теперь цепочки классов имеют следующие имена: - p-цепочка: p2, ps2, psl3, pfsl4, p-xsl5 - c1-цепочка: c11, c12,..., c1omega, c1omega+1, c1omega+2, c1. - ответвление c1-цепочки: c1l - c0-цепочка: c01, c02,..., c0omega, c0omega+1, c0omega+2, c0. - ответвление c0-цепочки: c0l - n-цепочка: n1, ns2, nsl3. - n1-цепочка: n12, n13,..., n1omega. - n0-цепочка: n02, n03,..., n0omega. - f-цепочка: f1, fs2, fsl3. - f1-цепочка: f12, f13,..., f1omega, f1omega+1. - f0-цепочка: f02, f03,..., f0omega, f0omega+1. - m-цепочка: m1, ms2, mx. - m1-цепочка: m12, m13,..., m1omega, m1omega+1. - m0-цепочка: m02, m03,..., m0omega, m0omega+1. Соответственно, изменились имена в таблице 6 на странице 82 и на рисунке 3 на странице 94. Russian Research Center for Artificial Intelligence продолжает свою деятельность по изучению искусственного интеллекта и математической логики с целью развития и совершенствования данных областей.