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