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