Алгоритм синтеза программ с явной и неявной рекурсией

Алгоритм синтеза программ с явной и неявной рекурсией

Bibliografiske detaljer
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 84-88]
Hovedforfatter:	Пинжин А. Е. Алексей Евгеньевич
Summary:	Заглавие с титульного листа Электронная версия печатной публикации Теория С-моделей расширяется понятием рекурсивных подсхем. Предлагается алгоритм синтеза рекурсивных программ, где затраты на вывод характеризуются полиномиальной функцией третьей степени. Приведены теоретические и экспериментальные результаты оценки эффективности алгоритма.
Sprog:	russisk
Udgivet:	2008
Serier:	Управление, вычислительная техника и информатика
Fag:	алгоритмы синтеза рекурсия рекурсивные подсхемы рекурсивные программы затраты полиномиальная функция теоретические результаты экспериментальные результаты функциональные связи логические выводы синтез функциональное программирование подпрограммы условия труды учёных ТПУ электронный ресурс
Online adgang:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/18.pdf
Format:	Electronisk Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173678

Lignende værker

Эффективный алгоритм синтеза программ с условиями и подпрограммами
af: Пинжин А. Е. Алексей Евгеньевич
Udgivet: (2008)

Основания математики. Логические исчисления и формализация арифметики.
af: Гильберт Д. Давид
Udgivet: (Москва, Наука, 1982)

Теория рекурсии для программистов
af: Головешкин В. А. Василий Адамович
Udgivet: (Москва, Физматлит, 2006)

Рекурсивные преобразователи информации учебное пособие для вузов
af: Анисимов А. В. Анатолий Васильевич
Udgivet: (Киев, Вища школа, 1987)

Математическая логика и теория алгоритмов учебное пособие
af: Гамова А. Н.
Udgivet: (Саратов, СГУ, 2020)

Локальная теория степеней неразрешимости
af: Арсланов М. М. Марат Мирзаевич
Udgivet: (Казань, Изд-во Казанского ун-та, 1987)

Практикум по основам программирования. Массивы. Строки. Подпрограммы учебное пособие
af: Тракимус Ю. В.
Udgivet: (Новосибирск, НГТУ, 2021)

Вычислимое и невычислимое
af: Манин Ю. И. Юрий Иванович
Udgivet: (Москва, Сов. радио, 1980)

Анализ сложности алгоритмов учебно-методическое пособие
af: Филатов В. В.
Udgivet: (Москва, РТУ МИРЭА, 2023)

Основания интуиционистской математики с точки зрения теории рекурсивных функций пер. с англ.
af: Клини С. К. Стефен Коул
Udgivet: (Москва, Наука, 1978)

Алгоритмы и структуры данных. Новая версия для Оберона
af: Вирт Н.
Udgivet: (Москва, ДМК Пресс, 2010)

Рекурсивно перечислимые множества и сводимости табличного типа
af: Дегтев А. Н. Александр Николаевич
Udgivet: (Москва, Наука, 1998)

Обработка рекурсивных данных конечными автоматами
af: Новосельцев В. Б. Виталий Борисович
Udgivet: (2006)

Теория и алгоритмы обработки рекурсивных информационных структур диссертация на соискание ученой степени кандидата технических наук спец. 05.13.01
af: Соколова В. В. Вероника Валерьевна
Udgivet: (Томск, [Б. и.], 2006)

Теория и алгоритмы обработки рекурсивных информационных структур автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.13.01
af: Соколова В. В. Вероника Валерьевна
Udgivet: (Томск, [Б. и.], 2007)

Представление и обработка изображений. Рекурсивный подход
af: Александров В. В. Виктор Васильевич
Udgivet: (Ленинград, Наука, 1985)

Теория и алгоритмы обработки рекурсивных информационных структур автореферат диссертации на соискание ученой степени кандидата технических наук
af: Соколова В. В. Вероника Валерьевна
Udgivet: (Томск, [Б. и.], 2007)

Представление знаний в информационных системах. Использование среды PIE при проектировании баз данных и знаний учебное пособие для бакалавров по направлению подготовки 09.03.02 «информационные системы и технологии»
af: Хабаров С. П.
Udgivet: (Санкт-Петербург, СПбГЛТУ, 2019)

Введение в теорию схем программ
af: Котов В. Е. Вадим Евгеньевич
Udgivet: (Новосибирск, Наука, 1978)

Основы теории алгоритмов и рекурсивных функций
af: Людковский С. В.
Udgivet: (Москва, РТУ МИРЭА, 2022)

Методы реализации рекурсивной модели данных
af: Соколова В. В. Вероника Валерьевна
Udgivet: (2009)

Рекурсивная модель организации данных
af: Резниченко В. А. Владимир Анатольевич
Udgivet: (2007)

Элементы теории алгоритмов и формальных языков учебное пособие
af: Богатиков В. Н.
Udgivet: (Тверь, ТвГТУ, 2023)

Информатика. Введение в компьютерные науки учебник для вузов
af: Королев Л. Н. Лев Николаевич
Udgivet: (Москва, Абрис, 2012)

Алгоритмы и рекурсивные функции
af: Мальцев А. И. Анатолий Иванович
Udgivet: (Москва, Наука, 1986)

Методические рекомендации по изучению полового созревания хрящевых рыб (Chondrichthyes)
af: Орлов А. М.
Udgivet: (Махачкала, ДГУ, 2019)

Трансляция и оптимизация программ сборник научных трудов
Udgivet: (Новосибирск, [Б. и.], 1983)

Расширенные возможности языка SQL учебное пособие
af: Борисенков Д. В.
Udgivet: (Воронеж, ВГУ, 2021)

Банки данных тезисы докладов второй Всесоюзной конференции, Ташкент, 12-14 октября1983
Udgivet: (Киев, Изд-во ИК АН УССР, 1983)

Реализация рекурсивного цифрового фильтра на основе штрафного p-сплайна
af: Кочегурова Е. А. Елена Алексеевна
Udgivet: (2018)

Теоретическая информатика. Доказательство правильности учеб. пособие
af: Веретельникова Е. Л.
Udgivet: (Новосибирск, НГТУ, 2016)

Таксономия рекурсивных зависимостей
af: Соколова В. В. Вероника Валерьевна
Udgivet: (2005)

Теория алгоритмов учебно-методическое пособие
af: Куликов В. Г.
Udgivet: (Москва, МИСИ – МГСУ, 2022)

Программирование на языке С++ учебно-методическое пособие
af: Тонхоноева А. А.
Udgivet: (Улан-Удэ, БГУ, 2024)

Алгоритм синтеза нечётких логических регуляторов на основе самоорганизации
af: Усков А. А.
Udgivet: (2004)

Основы теории элементарных алгоритмов учебное пособие
af: Косовский Н. К. Николай Кириллович
Udgivet: (Ленинград, Изд-во ЛГУ, 1987)

Структуры и алгоритмы обработки данных: Практикум
af: Сыромятников В. П.
Udgivet: (Москва, РТУ МИРЭА, 2020)

Теория алгоритмов учебное пособие
af: Кабанцова Л. Ю.
Udgivet: (Воронеж, ВГУ, 2021)

Основы информатики (часть II) Учебное пособие
af: Карасев В. В.
Udgivet: (Рязань, РГРТУ, 2007)

Справочник по языку Haskell
af: Душкин Р. В.
Udgivet: (Москва, ДМК Пресс, 2009)