Алгоритми. Обчислювальні функції
Підтеми:
Документи:
- Коэффициенты функциональных и эксплуатационных зависимостей при компоновке приборных отсеков ЛА [Текст] / С.В. Бодрышев, А.А. Буряков, М.Ю. Куприков // Полет. — 2006. — С. 58-60.
- Конструктивно-продукционные структуры и их грамматические интерпретации. ІІ. Уточняющие преобразования [Текст] / В.И. Шинкаренко, В.М. Ильман // . — С. 15-28.
- Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная [Текст] / В.И. Шинкаренко, В.М. Ильман // . — С. 8-16.
- К проблеме эквивалентности детерминированных магазинных автоматов [Текст] / В.Ю. Мейтус // Кибернетика и системный анализ. — 2007. — №2. — С. 24-39.
- Логика. Автоматы. Алгоритмы [Текст] / М.А. Айзерман, Л.А. Гусев, Л.И. Розоноэр, др. и. — М. : Физматгиз, 1963. — 556 с.
- Логика и математика [Текст] / В.А. Бочаров // Вестник МГУ . Серия: Философия : научный журнал. — С. 72-80.
- Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В.И. Игошин. — 4-е изд., стер. — М. : Академия, 2010. — 448 с.
- Математические методы анализа алгоритмов [Електронний ресурс] [Текст] : Пер. с англ. / Под ред. Ю.В. Матиясевича. — М. : Мир, 1982. — 120 с.
- Математические методы анализа алгоритмов [Текст] / Д. Грин, Д. Кнут. — М. : Мир, 1987. — 120 с.
- Математические методы анализа алгоритмов [Текст] : пер. с англ. / под ред. Ю. В. Матиясевича. — М. : Мир, 1987. — 119с.
- Математические построения и программирование [Текст] / под ред. С. С. Лаврова. — М. : Наука, 1978. — 191с.
- Математическое обеспечение САПР-К радиоэлектронной аппаратуры [Текст] : учеб. пособие / Гос. комитет СССР по народному образованию, Харьков. авиац. ин-т им. Н.Е. Жуковского. — Х. : ХАИ, 1989. — 92 с.
- Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / М-во освіти і науки України, Сумський держ. ун-т. — Київ : Ліра-К, 2015. — 212 с.
- Методические указания к выполнению лабораторных работ по курсу "Разработка и анализ алгоритмов" [Текст] / И.Т. Скибенко, А.Ю. Коростелев. — Х. : ХАИ, 1987. — 50 с.
- Методичні вказівки до лабораторних робітз дисципліни "Теорія алгоритмів" для студ.спеціальності "Інформатика" [Текст] / упоряд. В. І. Бритік, М. К. Свинар, Л. І. Маркова;МОН України,ХНУРЕ. — Харків : ХНУРЕ, 2004. — 40 с.
- Методичні вказівки до практичних занять та самостійної роботи з курсу "Теорія алгоритмів та математичні основи представлення знань" для студентів усіх форм навчання спеціальностей 7.080403,7.080401 [Текст]. Рекурсивні функції, знання / упоряд. : Г. Ф. Дюбко, Н. А. Валенда ; МО України, ХТУРЕ. — Харків : ХТУРЕ, 1999. — 60 с.
- Минимизация структур алгоритмов синтеза автоматов на основе алгоритмических алгебр [Текст] / В.Я. Жихарев, А.Х. Жихарева, Н.А. Федорович // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / М-во образования Украины, Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : ХАИ, 1998. — С. 221-237.
- Многоатрибутивный метод учета субъективности оценок при выборе варианта бортовой системы обмена информацией [Текст] / И.В. Ковалев, А.А. Усольцев, Р.Ю. Царев // . — С. 46-49.
- Модели представимости формальных языков в сложных проектах [Текст] / С.Ю. Мелешенко, А.Р. Емад, М.Н.Х. Хилал // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / МОН Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Харьков : Изд-во ХАИ, 2004. — С. 153-165.
- Моделирование трасс дистанционного оптического зондирования океана [Текст] / А.В. Демин, А.Г. Журенков, В.А. Яковлев // . — С. 20-23.
- Муравьиные алгоритмы для решения транспортных задач [Текст] / Таганрог, ТТИ ЮФУ // Известия РАН.Теория и системы управления : научный журнал / РАН. Известия АН. — С. 32-45.
- Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай [Текст] / Институт системного программирования РАН // Программирование. — 2004. — С. 4-24.
- Некорректные обратные задачи теплопроводности [Текст] / под ред. В.П. Мишина, О.М. Алифанова. — М. : Мир, 1989. — 312 с.
- Некоторые алгоритмы символьных вычислений в исследованиях проблем космической динамики [Текст] / Брестский государственный технический университет // Программирование. — 2006. — С. 16-22.
- Некоторые вопросы оптимального проектировавания конструкций методом случайного поиска [Текст] : автореф. дис. ... канд. техн. наук : 01.02.03 - сопротивление материалов и строительная механика / Новосибирск. ин-т инженеров ж.-д. транспорта. — Новосибирск, 1975. — 16 с.
- Нелинейная целочисленная транспортная задача с дополнительными пунктами производства и потребления [Текст] / А.С. Есенков, В.Ю. Леонов, А.П. Тизик, В.И. Цурков // Известия РАН.Теория и системы управления : научный журнал / РАН. Известия АН. — С. 88-94.
- Нелинейные автоматы над конечным кольцом [Текст] / В.Г. Скобелев // Кибернетика и системный анализ. — 2006. — №6. — С. 29-42.
- Необходимые условия оптимального управления обработкой сигналов в интегрированных аэрокосмических навигационных системах [Текст] / Национальный авиационный университет // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2008. — С. 36-39.
- Неопределенное суммирование рациональных функций с дополнительной минимизацией просуммированной части [Текст] / С.П. Поляков // Программирование. — 2008. — С. 48-53.
- Нечеткий решающий алгоритм [Текст] / Институт систем информатики им. А.П. Ершова СО РАН // Программирование. — 2006. — С. 27-35.
- Новая информационная технология разработки и исследования уточненных алгоритмов оценивания [Текст] / Е.Н. Безвесильная // Авиационно-космическая техника и технология. Вып. 11 ; М-во образования Украины, Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" - Х. : Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" , 1999. — С. 299-301.
- Об одном базисе Гребнера для тензоров [Текст] / Ю.Г. Палий, А.М. Хведелидзе // Программирование. — 2008. — С. 54-60.
- Об опорном суммировании [Текст] / С.А. Абрамов, М. Петковшек // . — С. 3-7.
- Обоснование алгоритма построения рельефометрической корреляционно-экстремальной навигационной системы [Текст] / В.М. Антимиров // . — С. 32-37.
- Обратная польская запись алгоритма как средство повышения надежности программного обеспечения бизнес-критических систем [Текст] / Харьковский национальный университет радиоэлектроники, г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2010. — С. 151-157.
- Обчислювальний алгоритм управління підприємством, утворення декількома підрозділами, з використанням методу декомпозиції [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.040302 - інформатика : (робота викон. на рос. мові) / Нац аерокосм. ун-т ім. М.Є. Жуковського"Харк. авіац. ін-т", Каф. інформатики (№304) ; кер. Макаренко В. А. — Х., 2011. — 61 с. + додатки.
- О двух типах нелинейных автоматов над конечным кольцом [Текст] / Институт прикладной математики и механики НАН Украины, г.Донецк, Украина // Кибернетика и системный анализ. — 2009. — №4. — С. 57-68.
- Однородный алгоритм расчета течений в составных областях произвольной формы [Текст] / А.В. Русанов, С.В. Ершов, А.В. Кудринский // Авиационно-космическая техника и технология : сб. науч. трудов. — Х. : Гос.аэрокосмический ун-т "ХАИ", 1998. — С. 100-103.
- Оптимальный расчет дополнительных сопротивлений в инженерной сети [Текст] / Б.Д. Яловкин // Математические модели, методы и системы обработки информации и принятия решений : сб. науч. тр. / Харьк. авиационный ин-т им. Н.Е. Жуковского. — Х. : ХАИ, 1988. — С. 8-12.
- Основы математики для биохимиков [Текст] : Пер. с англ. / Под. ред. Б.И. Курганова. — М. : Мир, 1983. — 144с.
- Основы теории алгоритмов [Текст] : учеб. пособие / под ред. В. А. Соколова. — 2-е изд., испр. — М. : Изд-во "Научный Мир", 2008. — 136 с.
- Основы теории элементарных алгоритмов [Текст] / ЛГУ им. А.А. Жданова. — Л. : Изд-во ЛГУ, 1987. — 152с.
- Особенности построения алгоритма, предназначенного для реализации в бортовой аппаратуре, оценки вектора состояния высокоэллиптического ИСЗ по сигналам систем ГЛОНАСС и GPS [Текст] / С.В. Аверин // . — С. 37-40.
- Оцінка похибки наближеного обчислення коефіцієнтів Фур’є функції двох змінних за деякою кубатурною формулою на класі диференційовних функцій [Текст] / О.М. Литвин, О.П. Нечуйвітер // Проблемы машиностроения. — Харьков, 2011. — С. 41-46.
- Параллельные полностью неявные методы численного решения жестких задач для СОДУ [Текст] / И.А. Назарова // Искусственный интеллект : Научно-технический журнал. — Донецк, 2005. — 3. — С.185-193.
- Параллельные схемы алгоритмов автоматического доказательства теорем в исчислении позитивно-образованных формул [Текст] / А.А. Ларионов, Е.А. Черкашин // Дистанционное и виртуальное обучение : дайджест российской и зарубежной прессы. — М. : Современная гуманитарная академия, 2012. — С. 93-100.
- Подход к разработке алгоритмов диагностирования блока гироскопических датчиков [Текст] / И.А. Булгаков, В.А. Мясов, С.В. Николаенко // Проблемы информатики в создании автоматизированных систем : сб. научных трудов / Гос. комитет СССР по народному образованию, Харьков. авиац. ин-т им. Н.Е. Жуковского. — Х. : ХАИ, 1990. — С. 126-133.
- Поиск лиувиллевых решений линейных рекуррентных уравнений в системе компьютерной алгебры Maple [Текст] / Д.Е. Хмельнов // . — С. 25-31.
- Построение алгоритмов спекулятивных оптимизаций [Текст] / А.А. Белеванцев, С.С. Гайсарян, В.П. Иванников // . — C.21-41.
- Построение и анализ вычислительных алгоритмов [Текст] / под ред. Ю.В. Матиясевича. — М. : Мир, 1979. — 536 с.
1
2
3
4
|
