Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текстььь] : [монография : в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4. Т. 3, кн. 6 : Функции и аппликативные системы. - 2007. - 288 с. - Библиогр.: с. 273-282 . - ISBN 966-651-375-7 (том 3). - ISBN 978-966-651-466-3 (книга 6) : 35.16 грн
Рубрики: Математика --Математична логіка -- Навчальні видання для вищої школи фывфывфыв: дельта-исчисление -- дельта-числення -- теорема Райса-Шапиро -- теорема Райса Шапіро -- теорія макроперетворювачів -- теория макропреобразователей -- аналитические множества -- аналітичні множини -- машина Поста -- ламбда -числення -- ламбда-исчисление -- континуум-гипотеза -- континуум-гіпотеза -- борелівські множини -- борелевские множества -- емементарна функція Кальмара -- элементарная функция Кальмара -- гильбертово пространство -- гільбертовий простір -- метод паралельного стекінгу -- метод параллельного стекинга Аннотация: Исследование результатов теории частично ракурсивных и частично непрерывных функций, а также обзор основных результатов теории трансдьюсеров как с конечной, так и с бесконечной памятью. Рассматриваются вопросы вычислимости и невычислимости функционалов и др. вопросы. Держатели документа: ЖОУНБ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К63 Комбинаторика и логика [] / сост. А. А. Егоров. - М. : Бюро Квантум, 2003. - 128 с. : рис. - (Приложение к журналу "Квант" ; № 1/2003). - Библиогр. в подстрочном примеч. - ISBN 5-85843-041-4 : 13.69 грн
Рубрики: Комбінаторика--Навчальні видання Логіка--Навчальні видання фывфывфыв: топология графов -- топологія графів -- машина Тьюринга -- машина Тьюринга -- машина Поста -- машина Поста -- генетика популяций -- генетика популяцій -- графы -- графи -- плоские переключательные схемы -- плоскі перемикальні схеми -- алгоритмы -- алгоритми -- теория множеств -- теорія множин -- транспортные сети -- транспортні мережі -- электрические сети -- електричні мережі Аннотация: Книга представляет собой сборник статей по логике и комбинаторике. Статьи охватывают широкий круг вопросов - от теории множеств и теории графов до разрешимости математических проблем и генетики популяций. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Егоров, А. А. \сост.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
В96 Вьюкова, Надежда Ивановна. Систематический подход к программированию [] / Н. И. Вьюкова, В. А. Галатенко, А. Б. Ходулев ; под ред. Ю. М. Баяковского. - М. : Наука, Гл. ред. физ.-мат. лит., 1988. - 208 с. : рис., табл. - (Библиотечка программиста). - Лит.: с. 203-204. - Предм. указ.: с. 205-206. - ISBN 5-02-013771-5 : 0.85 р.
Рубрики: Програмування--Навчальні видання фывфывфыв: теория алгоритмов -- теорія алгоритмів -- машина Поста -- язык паскаль -- мова паскаль -- Паскаль-машина -- условные инструкции -- умовні інструкції -- инструкции цикла -- інструкції цикла -- анализ алгоритмов -- аналіз алгоритмів -- переборные задачи -- переборні задачі -- множества -- множини -- бинарные деревья -- бінарні дерева Аннотация: Содержит систематическое введение в программирование. Главная цель - научить методам разработки программ. Основные компоненты систематического подхода - математическое исследование задачи, пошаговая детализация и обоснование правильности программ, анализ алгоритмов. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Галатенко, Владимир Антонович; Ходулев, Андрей Борисович; Баяковский, Ю. М. \ред.\ Экземпляры всего: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Б83 Бородкіна, Ірина Лаврентіївна. Теорія алгоритмів [] : навч. посіб. для студентів вищ. навч. закл. / І. Л. Бородкіна, Г. О. Бородкін ; М-во освіти і науки України, Нац. ун-т біоресурсів і природокористування України. - Київ : Центр учб. літ., 2018. - 184, [1] с. : рис., табл. - Дод.: с. 177-182. - Літ.: с. 183-184. - ISBN 978-611-01-1233-8 : 135.00 грн
Рубрики: Алгоритмів теорія--Розробки програм--Навчальні видання для вищої школи фывфывфыв: властивості алгоритмів -- процес розробки алгоритмів -- тестування алгоритмів -- алгоритми циклічної структури -- рекурсивні алгоритми -- ітеграційні алгоритми -- обробка одновимірних масивів -- обробка двовимірних масивів -- оцінка складності алгоритмів -- машина Тюринга -- технології розробки програм -- машина Поста -- нормальні алгоритми Маркова -- марківські підстановки Аннотация: Формалізація поняття алгоритма (машина Тюринга, машина Поста, та нормальні алгоритми Маркова), методи та технології іх розробки. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Бородкін, Георгій Олексійович; Міністерство освіти і науки УкраїниНаціональний університет біоресурсів і природокористування України Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |