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