Теория алгоритмов и программ. Выпуск 3
Date
1977
Authors
Латвийский государственный университет. Вычислительный центр
Journal Title
Journal ISSN
Volume Title
Publisher
Латвийский государственный университет
Abstract
Статьи сборника посвящены в основном теории
индуктивного вывода. Рассмотрены также вопросы семантики программ
(аппарат формального доказательства свойств программ) и
теории сводимости.
Description
Keywords
Research Subject Categories::MATHEMATICS::Applied mathematics::Theoretical computer science , Теория алгоритмов , Программирование , Семантика программ , Компьютерные программы , Математическое программирование , Matemātiskā programmēšana , Algoritmi