Контакти Карта сайту

Основнi результати

Пошук співробітників по першій букві прізвища

А Б В Г Ґ Д Е Є Ж З И І Ї Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ь Ю Я

 

Теореми про повноту для скінченних автоматів. Оригінальний метод представлення контекстно-вільних мов у магазинних автоматах. Теорія дискретних перетворювачів, еквівалентні перетворення та оптимізація програм, методи розпізнавання еквівалентності схем програм над пам’яттю. Автоматно-алгебраїчні методи в теорії програмування. Методи верхньої та нижньої апроксимації обчислення інваріантів програм над вільними алгебрами даних. Разом з В.М.Глушковим та Ю.В.Капітоновою заклав основи математичної теорії проектування обчислювальних систем. Паралельне програмування: методи розпаралелювання послідовних програм, математичні моделі та методи організації паралельних та розподілених обчислень, макроконвейерні паралельні обчислення. Алгебраїчне програмування: інтеграція парадигм функціонального, алгебраїчного та логічного програмування на базі теорії переписування алгебраїчних виразів. Теорія взаємодії агентів та середовищ, інерційне програмування та моделювання. Класифікація функцій занурення та редукційні теореми. Методи та алгоритми верифікації систем.

 

Пошук
 
Пошта

 
 3d принтери та станки з ЧПУ в Україні