Browsing Datorzinātne. Informācijas tehnoloģijas by Subject "Теория алгоритмов"
Now showing items 1-4 of 4
-
Теоретические вопросы программирования
(Латвийский государственный университет, 1988)Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ. -
Теория алгоритмов и программ
(1986)Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ. -
Теория алгоритмов и программ. Выпуск 3
(Латвийский государственный университет, 1977)Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости. -
Уравнения математической физики и теория алгоритмов
(Латвийский государственный университет, 1972)Сборник включает научные работы по краевым задачам для дифференциальных уравнений в частных производных, по стохастическим дифференциально-функциональным уравнениям, а также по теории алгоритмов.