Сборник содержит 17 научных статей, написанных представителями различных вузов страны. В статьях изучаются актуальные вопросы теории нелинейных краевых задач обыкновенных дифференциальных уравнений. Исследован ряд ...

Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.

В статьях сборника изучаются актуальные вопросы теории краевых задач обыкновенных дифференциальных уравнений. Исследованы вопросы разрешимости, единственности. Ряд статей посвящены изучению прикладных задач, возникающих ...

В статьях изучаются актуальные задачи теории краевых задач обыкновенных дифференциальных уравнений. Исследуются вопросы существования, единственности и априорной ограниченности решения. Разрабатываются методы ...

Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.

Сборник включает научные работы по краевым задачам для дифференциальных уравнений в частных производных, по стохастическим дифференциально-функциональным уравнениям, а также по теории алгоритмов.

Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.