Выпуск 2

(под ред. С.В.Яблонского)

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