ГлавнаяАрхивПрикладная дискретная математика. 2009. № 1(3).

Прикладная дискретная математика. 2009. № 1(3).

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРИКЛАДНОЙ ДИСКРЕТНОЙМАТЕМАТИКИ

Закревский А. Д. , Торопов Н. Р. Минимизация булевых функций многихпеременных в классе ДНФ - итеративный метод и программная реализация // Прикладная дискретная математика. 2009. № 1(3). C. 5–14.
5–14
Токарева Н. Н. Бент-функции: результаты и приложения. Обзор работ // Прикладная дискретная математика. 2009. № 1(3). C. 15–37.
15–37
Шоломов Л. А. Логические методы построения и анализа моделей выбора // Прикладная дискретная математика. 2009. № 1(3). C. 38–71.
38–71

ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ В ДИСКРЕТНОЙ МАТЕМАТИКЕ

Дулькейт В. И. , Файзуллин Р. Т. Приближённое решение задачи коммивояжера методом рекурсивного построения вспомогательной кривой // Прикладная дискретная математика. 2009. № 1(3). C. 72–78.
72–78

МАТЕМАТИЧЕСКИЕ ОСНОВЫ КРИПТОГРАФИИ

Прокопьев С. Е. Поиск упрощенной модели протоколов инфраструктурыцифровой подписи с использованием верификаторов моделей // Прикладная дискретная математика. 2009. № 1(3). C. 79–92.
79–92

МАТЕМАТИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ БЕЗОПАСНОСТИ

Буренин П. В. Подходы к построению ДП-модели файловых систем // Прикладная дискретная математика. 2009. № 1(3). C. 93–113.
93–113
Колегов Д. Н. Об использовании формальных моделей для анализа уязвимостей // Прикладная дискретная математика. 2009. № 1(3). C. 113–116.
113–116
Колегов Д. Н. Анализ безопасности информационных потоков по памяти в компьютерных системах с функционально и параметрически ассоциированнымисущностями // Прикладная дискретная математика. 2009. № 1(3). C. 117–125.
117–125
Прикладная дискретная математика. 2009. № 1(3).
Прикладная дискретная математика. 2009. № 1(3).
Полнотекстовая версия