Search
Now showing items 1-7 of 7
Теоретические и численные исследования краевых задач
(Латвийский государственный университет, 1989)
Сборник содержит 17 научных статей, написанных представителями
различных вузов страны. В статьях изучаются
актуальные вопросы теории нелинейных краевых задач обыкновенных
дифференциальных уравнений. Исследован ряд ...
Теоретические вопросы программирования
(Латвийский государственный университет, 1988)
Сборник посвящен исследованию сложности различных типов
вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.
Актуальные вопросы краевых задач. Теория и приложения
(Латвийский государственный университет, 1988)
В статьях сборника изучаются актуальные вопросы теории краевых задач обыкновенных дифференциальных
уравнений. Исследованы вопросы разрешимости, единственности. Ряд статей посвящены
изучению прикладных задач, возникающих ...
Краевые задачи обыкновенных дифференциальных уравнений
(Латвийский государственный университет, 1987)
В статьях изучаются актуальные задачи теории
краевых задач обыкновенных дифференциальных уравнений. Исследуются
вопросы существования, единственности и априорной
ограниченности решения. Разрабатываются методы ...
Теория алгоритмов и программ
(1986)
Сборник посвящен исследованию различных типов вычислительных
устройств, таких как альтернирующие вероятностные
машины, а также проблемам индуктивного синтеза программ.
Уравнения математической физики и теория алгоритмов
(Латвийский государственный университет, 1972)
Сборник включает научные работы по краевым задачам для дифференциальных
уравнений в частных производных, по стохастическим
дифференциально-функциональным уравнениям, а также по теории
алгоритмов.
Теория алгоритмов и программ. Выпуск 3
(Латвийский государственный университет, 1977)
Статьи сборника посвящены в основном теории
индуктивного вывода. Рассмотрены также вопросы семантики программ
(аппарат формального доказательства свойств программ) и
теории сводимости.