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