ИГУ - «Известия Иркутского государственного университета»

«Известия Иркутского государственного университета»

Журнал ИГУ

Список выпусков > Серия «Математика» №2, 2009

В. В. Блудов, Э. М. У. Гласс
Группы и упорядочения: проблема равенстваслов, вложения и амальгамы (обзор последних достижений)
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