В. В. Блудов, А. В. Манцивода, Н. А. Перязев К 80-летию со дня рождения профессора А. И. Кокорина (1927-1987) | 1 |
В. В. Блудов, Э. М. У. Гласс Группы и упорядочения: проблема равенстваслов, вложения и амальгамы (обзор последних достижений) | 4 |
А. А. Викентьев, Р. А. Викентьев О метриках на формулах и мере опровержимости логических формул УИП с вероятностями на измеримых классах моделей | 20 |
С. Ф. Винокуров, А. С. Казимиров Перечисление операторных классов булевых функций | 40 |
Alexander N. Gavryushkin Computable Limit Models | 56 |
О. В. Зубков О доле бесповторных функций, свободных от лап большой ширины | 62 |
К. Д. Кириченко Оценки сложности шаблонов минимизации полиномиальных форм булевых функций | 72 |
C. Л. Крывый, В. Гжывач Алгоритмы построения предбазиса множества решений систем линейных диофантовых ограничений в дискретных областях | 82 |
А.А. Малых, А.В. Манцивода Онтобокс: онтологии для объектов | 94 |
В. И. Мартьянов Расширенная гипотеза близнецов и теория натуральных чисел с выделенными простыми числами | 105 |
Н. А. Перязев, И. А. Яковчук Минимизация мультиопераций в классе стандартных форм | 117 |
А. Г. Пинус О семействах определимых (формульных) производных объектов на универсальных алгебрах | 127 |
Л. В. Рябец Сложность проверяющих тестов для бесповторных булевых функций | 136 |
С. В. Судоплатов Несущественные совмещения малых теорий | 158 |
Н. О. Стукушин Логические формализации спецификаций на основе ОО-проекций | 171 |
В. С. Ульянов Бесконечные ленивые маркированные деревья | 183 |
Труды А. И. Кокорина | 194 |