Datorzinātne. Informācijas tehnoloģijas

Permanent URI for this collection

https://dspace-dev.lu.lv/handle/7/1947
Computer Science and Information Technologies

Browse

Browsing Datorzinātne. Informācijas tehnoloģijas by Subject "Algoritmi"

Now showing 1 - 4 of 4
  • Thumbnail Image
    Item
    Теоретические вопросы программирования
    (Латвийский государственный университет, 1988) Латвийский государственный университет. Вычислительный центр; Фрейвалд, Р.В.
    Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.
  • Thumbnail Image
    Item
    Теория алгоритмов и программ
    (1986) Латвийский государственный университет. Вычислительный центр; Барздинь, Я.М.
    Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.
  • Thumbnail Image
    Item
    Теория алгоритмов и программ. Выпуск 3
    (Латвийский государственный университет, 1977) Латвийский государственный университет. Вычислительный центр; Барздинь, Я.М.
    Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.
  • Thumbnail Image
    Item
    Уравнения математической физики и теория алгоритмов
    (Латвийский государственный университет, 1972) Латвийский государственный университет. Вычислительный центр
    Сборник включает научные работы по краевым задачам для дифференциальных уравнений в частных производных, по стохастическим дифференциально-функциональным уравнениям, а также по теории алгоритмов.