Г. И. Марчук, А. А. Романюха, Г. А. Бочаров. Математическое моделирование противовирусного иммунного ответа при вирусном гепатите B
Выпуск 2
(под ред. С.В.Яблонского)
М. Ф. Раца. Алгоритмическая неразрешимость проблемы выразимости в модальных логиках
С. С. Марченков. Классификация алгебр со знакопеременной группой автоморфизмов
В. В. Князев. Об итеративных расширениях логики первого порядка
Н. А. Карпова. О вычислениях с ограниченной памятью
О. М. Касим-Заде. О сложности реализации булевых функций в одной модели электронных схем
145
А. Е. Липатова. Об одном покрытии множества двоичных наборов и реализации конъюнкций контактными схемами
161
А. Б. Угольников. О сложности реализации формулами одной последовательности функций многозначной логики
Н. А. Шкаликова. О реализации булевых функций схемами из клеточных элементов
Н. П. Редькин. О полных проверяющих тестах для схем из функциональных элементов