01.01.09 - Дискретная математика и математическая кибернетика

Название работы	Автор	Дата защиты
Задача о продаже недвижимости : Теоретико-игровой подход	Фалько, Игорь Антонович	2001
Построение вопросно-ответной системы с использованием метода математической формализации естественных языков	Корхов, Александр Вадимович	2001
Метод математической формализации русского языка в задаче автоматического реферирования текстов	Корхова, Ольга Владимировна	2001
Задачи двухуровневого программирования, полиномиально разрешимые методом декомпозиции	Плясунов, Александр Владимирович	2001
О сложности и структуре минимальных самокорректирующихся контактных схем из некоторых классов	Валентинов, Евгений Валентинович	2001
Геометрические методы и эффективные алгоритмы в теории расписаний	Севастьянов, Сергей Васильевич	2000
Универсальные объекты в категориях структуризованных автоматов	Отрыванкина, Татьяна Михайловна	2000
Свойства оптимальных решений и эффективные алгоритмы построения расписаний в системах открытого типа	Черных, Илья Дмитриевич	2000
Построение тестов и оценка их параметров для некоторых классов контактных схем	Романов, Дмитрий Сергеевич	2000
О сравнении базисов при реализации булевых функций формулами	Черухин, Дмитрий Юрьевич	2000
Методы последовательных оценок в задаче управления динамическими балансовыми моделями	Банин, Александр Анатольевич	2000
О реализации функций алгебры логики автоматными конвейерными схемами	Никитин, Андрей Анатольевич	2000
Алгоритмы адаптации и контроля активного типа в линейных стохастических системах управления	Цыганова, Юлия Владимировна	2000
Применение методов теории групп к задачам управления на примере матричных дифференциальных уравнений Риккати	Егоров, Михаил Александрович	2000
Алгоритмы оптимизации в системах канонических гиперболических уравнений с частными производными	Бурдуковская, Анна Валерьевна	2000
Метод управления концептуальными моделями данных в системе представления знаний	Мамедниязова, Натали Сердаровна	2000
Задачи синтеза и анализа перечислителей в некоторых классах конечных автоматов	Посохина, Наталия Игоревна	2000
Конструкции плотно упакованных кодов и нижние оценки их числа	Кротов, Денис Станиславович	2000
Метод параметризации и его использование в вырожденных задачах	Лутошкин, Игорь Викторович	2000
Применение искусственного интеллекта для решения задач многокритериальной нелинейной оптимизации	Горчаков, Андрей Юрьевич	2000
Асимптотические задачи теории разбиений	Якубович, Юрий Владимирович	2000
Товарно-финансовая проводимость двухукладных социоэкономических структур и ее влияние на экономический рост	Савчук, Николай Филиппович	2000
Метод кососимметричной регуляризации для решения равновесных задач	Шпирко, Сергей Валерьевич	2000
О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами	Селезнева, Светлана Николаевна	2000
D - устойчивость матриц и знакопостоянство полиномов	Кановей, Григорий Владимирович	2000
Минимаксная рекуррентная интерполяция динамических объектов	Штаненко, Татьяна Ивановна	2000
Автоматная сложность вычисления формул	Кудрин, Александр Александрович	2000
Обеспечение устойчивости линейной системы с помощью ограниченного управления	Шапаренко, Наталия Николаевна	2000
Равновесия в многошаговых и повторяющихся играх	Егорова, Анастасия Анатольевна	2000
Метод нахождения точек переключения релейного управления в линейных механических системах	Потоцкая, Ирина Юрьевна	2000

Электронная библиотека диссертаций