Search results for "Algoritmi"

showing 4 items of 204 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

Уравнения математической физики и теория алгоритмов

1972

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

Математическая физикаМатематический анализ:MATHEMATICS::Algebra geometry and mathematical analysis::Mathematical analysis [Research Subject Categories]DiferenciālvienādojumiДифференциальные уравненияТеория алгоритмовAlgoritmi
researchProduct

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

1988

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

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