Поисковый запрос: (<.>K=алгебраические модели программ<.>) |
Общее количество найденных документов : 8
Показаны документы с 1 по 8 |
1. 
|
Подловченко, Р. И.
Проблема включения в алгебраической модели программ с константами [Текст] / Р. И. Подловченко, Д. М. Русаков // Программирование. - 2007. - N 3. - С. . 3-15. - Библиогр.: с. 15 (8 назв. )
ББК 32.973-018 + 004
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
модели программ -- алгебраические модели программ -- модели программ с константами -- проблемы программ
Аннотация: В статье дается определение алгебраической модели программ и описывается проблематика теории.
Доп.точки доступа:
Русаков, Д. М.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
2.
|
Русаков, Д. М.
Алгоритм проверки включения схем в алгебраической модели программ с константами [Текст] / Д. М. Русаков // Программирование. - 2007. - N 6. - С. 3-13. - Библиогр.: с. 13 (7 назв. )
ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
модели программ -- Математическое обеспечение (Программирование -- алгебраические модели программ -- системное программирование
Аннотация: Описывается алгоритм, проверяющий отношение включения в алгебраической модели программ с константами, и доказывается его реальность.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
3.
|
Хачатрян, В. Е.
Проблема эквивалентных преобразований для однородных многоленточных автоматов [Текст] / В. Е. Хачатрян // Программирование. - 2008. - N 3. - С. 77-80. - Библиогр.: с. 80 (8 назв. )
ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
однородные многоленточные автоматы -- эквивалентные преобразования (программирование) -- алгебраические модели программ -- модели вычислений -- многоленточные автоматы (программирование)
Аннотация: Для однородных многоленточных автоматов строится полная система эквивалентных преобразований.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
4.
|
Подловченко, Р. И.
О проблеме минимизации для схем программ с перестановочными блоками [Текст] / Р. И. Подловченко // Программирование. - 2008. - N 4. - С. 72-77. - Библиогр.: с. 77 (3 назв. )
ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
алгебраические модели программ -- теоретическое программирование -- многоленточные автоматы (программирование) -- иерархия моделей программ -- минимизация схем программ
Аннотация: Рассматривается специального вида алгебраическая модель программ и обсуждается проблема минимизации для схем программ из этой модели.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
5.
|
Подловченко, Р. И.
Полные системы эквивалентных преобразований в уравновешенных полугрупповых моделях программ с левым сокращением [Текст] / Р. И. Подловченко // Программирование. - 2010. - N 3. - С. 2-18. - Библиогр.: с. 17 (11 назв. )
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
модели программ -- схемы программ -- алгоритмы -- алгебраические модели программ -- коммутативные модели
Аннотация: Рассматриваются алгебраические модели программ. Программы, предназначены для исследования семантических свойств, взятых в определенной формализации.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
6.
|
Подловченко, Р. И.
Об одной методике распознавания эквивалентности в алгебраических моделях программ [Текст] / Р. И. Подловченко // Программирование. - 2011. - N 6. - С. 33-43. . - Библиогр.: с. 42-43 (8 назв. )
ББК 32.973-018 + 22.14
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Математика
Алгебра
Кл.слова (ненормированные):
алгебраические модели программ -- разрешающий алгоритм -- математическое моделирование -- матричные схемы программ -- эквивалентность
Аннотация: В статье изучается задача проверки эквивалентности схем программ в уравновешенных полугрупповых моделях программ.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
7.
|
Подловченко, Р. И.
Об одном классе алгебраических моделей программ, представляющем практический интерес [Текст] / Р. И. Подловченко // Программирование. - 2013. - № 3. - С. 15-28. - Библиогр.: с. 28 (6 назв.)
. - ISSN 0132-3474ББК 22.19
Рубрики: Математика
Вычислительная математика
Кл.слова (ненормированные):
алгебраические модели программ -- коммутативные подмодели программ -- семантические свойства -- эквивалентность -- эквивалентные преобразования
Аннотация: В статье изложены концепции построения алгебраических моделей программ, и рассмотрен класс моделей, аппроксимирующих реальные последовательные программы.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
8.
|
Подловченко, Р. И.
Исследования в теории алгебраических моделей программ с процедурами [Текст] / Р. И. Подловченко // Программирование. - 2016. - № 1. - С. 5-9. - Библиогр.: с. 9 (12 назв.)
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
алгебраические модели программ -- исследования -- перегородчатые модели программ -- эквивалентные преобразования
Аннотация: В статье дан обзор результатов, полученных в последние годы для перегородчатых моделей программ.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
|
|
БД "Книги"
Стандартный
Главная
Описание
Шлюз Z39.50