Логикалық бағдарламалау есептеріне және модель теориясының құрылымдық мәселелеріне қолданылуы бар ақырлы аксиоматтандырылатын теориялардың модельдік-теориялық қасиеттері

Бағдарламаның басқа жобалары

• Консервативті кеңейтімдер, саналатын реттелген модельдер және жабу операторлары
• Ассоциативті емес алгебралардың когомологиялық және құрылымдық мәселелері
• Экономикада, қаржы теориясында және сақтандыруда қолданылуымен үзіліссіз тығыздықтарды және таралу функцияларын бағалау
• Шардағы Лаплас теңдеуі үшін периодты шекаралық есептер және онымен байланысты тура және кері параболалық есептер
• Жоғары ретті дербес туындылы теңдеулер үшін бастапқы шекаралық есептерді шешу әдістері және олардың қолданылуы
• Көп өлшемді дегенеративті цилиндрлік емес домендерде жылу өткізгіштіктің сызықтық және сызықтық емес шекаралық есептері