SoftCraft
разноликое программирование

Top.Mail.Ru

Яндекс.Метрика

Теоретические аспекты программирования


Содержание раздела

Кузнецов Б.П. Орграфы и булевы формулы (2003)

Кузнецов Б.П. Тестовое программирование (введение в проблему) (2003)

Зюбин В.Е. Исследование условий применимости языка параллельного программирования СПАРМ для задач построения надежных управляющих программ (2004)

Пузиков Р.Ю. Немного философии о простых числах (2006)

Шахов В. Моделирование программно-аппаратных "реактивных" систем раскрашенными сетями Петри (2006)

Шахов В. Программно-аппаратная декомпозиция реактивных параллельных систем (2007)

Легалов А.И. Доказательство преобразования рекурсивного алгоритма вычисления числа Фибоначчи в итеративный (2018)