В. В. Блудов, А. В. Манцивода, Н. А. Перязев
К 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 |
|---|
