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