- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение
Тип роботи:
диссертация кандидата физико-математических наук
Рік:
2005
Кількість сторінок:
155
Артикул:
1180 179 грн
Рекомендовані дисертації
- Суперпозиции функций k-значной логики и их обобщений
- Задачи дискретной геометрии шарнирных конструкций и схем
- Алгоритмы планирования вычислений и организации рестартов в системах реального времени
- Методы решения двухуровневых задач дискретного монотонного программирования и их применение при оптимизации надежности непоследовательных систем
- О критериях полноты по неявной выразимости в трехзначной логике
- Методы вычисления логарифмической функции правдоподобия и ее градиента в алгоритмах калмановской фильтрации
- Минимаксная рекуррентная интерполяция динамических объектов
- Мартингальные методы построения моделей объектов, эволюционирующих в случайных средах
- Математические проблемы управления потоковыми переключательными сетями
- Исследование проблем принятия решений в пространствах нечетких бинарных отношений и /или/ в условиях неполной информации