Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=машина Поста<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

51(075.8)
Л 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 грн

УДК

51(075.8)

ББК 22.18я73
Рубрики: Математика
--Математична логіка -- Навчальні видання для вищої школи
Кл.слова (ненормовані):
дельта-исчисление -- дельта-числення -- теорема Райса-Шапиро -- теорема Райса Шапіро -- теорія макроперетворювачів -- теория макропреобразователей -- аналитические множества -- аналітичні множини -- машина Поста -- ламбда -числення -- ламбда-исчисление -- континуум-гипотеза -- континуум-гіпотеза -- борелівські множини -- борелевские множества -- емементарна функція Кальмара -- элементарная функция Кальмара -- гильбертово пространство -- гільбертовий простір -- метод паралельного стекінгу -- метод параллельного стекинга
Анотація: Исследование результатов теории частично ракурсивных и частично непрерывных функций, а также обзор основных результатов теории трансдьюсеров как с конечной, так и с бесконечной памятью. Рассматриваются вопросы вычислимости и невычислимости функционалов и др. вопросы.

Утримувачі документа:
ЖОУНБ
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

510.584(075)
К63

Комбинаторика и логика [] / сост. А. А. Егоров. - М. : Бюро Квантум, 2003. - 128 с. : рис. - (Приложение к журналу "Квант" ; № 1/2003). - Библиогр. в подстрочном примеч. - ISBN 5-85843-041-4 : 13.69 грн

УДК

510.584(075)

ББК 22.141я721
Рубрики: Комбінаторика--Навчальні видання
Логіка--Навчальні видання

Кл.слова (ненормовані):
топология графов -- топологія графів -- машина Тьюринга -- машина Тьюринга -- машина Поста -- машина Поста -- генетика популяций -- генетика популяцій -- графы -- графи -- плоские переключательные схемы -- плоскі перемикальні схеми -- алгоритмы -- алгоритми -- теория множеств -- теорія множин -- транспортные сети -- транспортні мережі -- электрические сети -- електричні мережі
Анотація: Книга представляет собой сборник статей по логике и комбинаторике. Статьи охватывают широкий круг вопросов - от теории множеств и теории графов до разрешимости математических проблем и генетики популяций.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Егоров, А. А. \сост.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

519.85
В96

Вьюкова, Надежда Ивановна.
Систематический подход к программированию [] / Н. И. Вьюкова, В. А. Галатенко, А. Б. Ходулев ; под ред. Ю. М. Баяковского. - М. : Наука, Гл. ред. физ.-мат. лит., 1988. - 208 с. : рис., табл. - (Библиотечка программиста). - Лит.: с. 203-204. - Предм. указ.: с. 205-206. - ISBN 5-02-013771-5 : 0.85 р.

УДК

519.85

ББК 22.183.4
Рубрики: Програмування--Навчальні видання

Кл.слова (ненормовані):
теория алгоритмов -- теорія алгоритмів -- машина Поста -- язык паскаль -- мова паскаль -- Паскаль-машина -- условные инструкции -- умовні інструкції -- инструкции цикла -- інструкції цикла -- анализ алгоритмов -- аналіз алгоритмів -- переборные задачи -- переборні задачі -- множества -- множини -- бинарные деревья -- бінарні дерева
Анотація: Содержит систематическое введение в программирование. Главная цель - научить методам разработки программ. Основные компоненты систематического подхода - математическое исследование задачи, пошаговая детализация и обоснование правильности программ, анализ алгоритмов.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Галатенко, Владимир Антонович; Ходулев, Андрей Борисович; Баяковский, Ю. М. \ред.\
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

004.421.2
Б83

Бородкіна, Ірина Лаврентіївна.
Теорія алгоритмів [] : навч. посіб. для студентів вищ. навч. закл. / І. Л. Бородкіна, Г. О. Бородкін ; М-во освіти і науки України, Нац. ун-т біоресурсів і природокористування України. - Київ : Центр учб. літ., 2018. - 184, [1] с. : рис., табл. - Дод.: с. 177-182. - Літ.: с. 183-184. - ISBN 978-611-01-1233-8 : 135.00 грн

УДК

004.421.2

ББК 32.973я73
Рубрики: Алгоритмів теорія--Розробки програм--Навчальні видання для вищої школи

Кл.слова (ненормовані):
властивості алгоритмів -- процес розробки алгоритмів -- тестування алгоритмів -- алгоритми циклічної структури -- рекурсивні алгоритми -- ітеграційні алгоритми -- обробка одновимірних масивів -- обробка двовимірних масивів -- оцінка складності алгоритмів -- машина Тюринга -- технології розробки програм -- машина Поста -- нормальні алгоритми Маркова -- марківські підстановки
Анотація: Формалізація поняття алгоритма (машина Тюринга, машина Поста, та нормальні алгоритми Маркова), методи та технології іх розробки.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Бородкін, Георгій Олексійович; Міністерство освіти і науки УкраїниНаціональний університет біоресурсів і природокористування України
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)