Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика

Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика

Dettagli Bibliografici
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 84-88]
Autore principale:	Пинжин А. Е. Алексей Евгеньевич
Riassunto:	Заглавие с титульного листа Электронная версия печатной публикации Теория С-моделей расширяется понятием рекурсивных подсхем. Предлагается алгоритм синтеза рекурсивных программ, где затраты на вывод характеризуются полиномиальной функцией третьей степени. Приведены теоретические и экспериментальные результаты оценки эффективности алгоритма.
Lingua:	russo
Pubblicazione:	2008
Serie:	Управление, вычислительная техника и информатика
Soggetti:	алгоритмы синтеза рекурсия рекурсивные подсхемы рекурсивные программы затраты полиномиальная функция теоретические результаты экспериментальные результаты функциональные связи логические выводы синтез функциональное программирование подпрограммы условия труды учёных ТПУ электронный ресурс
Accesso online:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/18.pdf
Natura:	Elettronico Capitolo di libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173678

Documenti analoghi

Эффективный алгоритм синтеза программ с условиями и подпрограммами; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
di: Пинжин А. Е. Алексей Евгеньевич
Pubblicazione: (2008)

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

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

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

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

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

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

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

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

Обработка рекурсивных данных конечными автоматами; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
di: Новосельцев В. Б. Виталий Борисович
Pubblicazione: (2006)

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

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

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

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

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

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

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

Расширение реляционной алгебры рекурсивными структурами; Известия Томского политехнического университета [Известия ТПУ]; Т. 317, № 5 : Управление, вычислительная техника и информатика
di: Соколова В. В. Вероника Валерьевна
Pubblicazione: (2010)

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

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

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

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

Методы реализации рекурсивной модели данных; Молодежь и современные информационные технологии; Ч. 1
di: Соколова В. В. Вероника Валерьевна
Pubblicazione: (2009)

Рекурсивная модель организации данных; Современные техника и технологии; Т. 2
di: Резниченко В. А. Владимир Анатольевич
Pubblicazione: (2007)

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

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

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

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

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

Конструктивные модели
di: Гончаров С. С. Сергей Савостьянович
Pubblicazione: (Новосибирск, Научная книга, 1999)

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

Стратегия установления выводимости формул в структурных функциональных моделях; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
di: Коваленко Д. А. Дмитрий Алексеевич
Pubblicazione: (2006)

Ч. 2; Оптимизация и преобразования программ
Pubblicazione: (1983)

Реализация рекурсивного цифрового фильтра на основе штрафного p-сплайна; Компьютерная оптика; Т. 42, № 6
di: Кочегурова Е. А. Елена Алексеевна
Pubblicazione: (2018)

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

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

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

Таксономия рекурсивных зависимостей; Молодежь и современные информационные технологии
di: Соколова В. В. Вероника Валерьевна
Pubblicazione: (2005)

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

Регуляризирующие алгоритмы идентификации динамических систем и восстановления сигналов. Системно-структурный подход: диссертация на соискание ученой степени доктора технических наук; спец. 05.13.01
di: Симонов М. М. Михаил Михайлович
Pubblicazione: (Новосибирск, [Б. и.], 1988)