Search results for "Программирование"

showing 3 items of 3 documents

Теория алгоритмов и программ

1986

Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.

АвтоматыПрограммированиеТеория алгоритмовAlgoritmi:MATHEMATICS::Applied mathematics::Theoretical computer science [Research Subject Categories]Matemātiskā programmēšanaПрограммное обеспечение ЭВМ
researchProduct

Теория алгоритмов и программ. Выпуск 3

1977

Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.

Компьютерные программыТеория алгоритмовПрограммированиеAlgoritmiСемантика программМатематическое программирование:MATHEMATICS::Applied mathematics::Theoretical computer science [Research Subject Categories]Matemātiskā programmēšana
researchProduct

Теоретические вопросы программирования

1988

Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.

ПрограммированиеТеория алгоритмовАвтоматический синтез программAlgoritmi:MATHEMATICS::Applied mathematics::Theoretical computer science [Research Subject Categories]Matemātiskā programmēšanaПрограммное обеспечение ЭВМ
researchProduct