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