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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

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

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

Форма документа : Багатотомне видання
Шифр видання : 51(075.8)/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров: [монография : в 3 т.]/ Л. П. Лисовик. - (Математическое мышление). Т. 3 . кн. 6 : Функции и аппликативные системы
Вихідні дані : К.: Феникс, 2007
Кільк.характеристики :288 с
Примітки : Библиогр.: с. 273-282
ISBN, Ціна 966-651-375-7: 35.16 грн
ISBN, Ціна 978-966-651-466-3: Б.ц.
УДК : 51(075.8)
ББК : 22.18я73
Предметні рубрики: Математика
Географіч. рубрики: -- Математична логіка
Анотація: Исследование результатов теории частично ракурсивных и частично непрерывных функций, а также обзор основных результатов теории трансдьюсеров как с конечной, так и с бесконечной памятью. Рассматриваются вопросы вычислимости и невычислимости функционалов и др. вопросы.
Примірники :ЧЗ(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)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 519.85/В96
Автор(и) : Вьюкова, Надежда Ивановна, Галатенко, Владимир Антонович, Ходулев, Андрей Борисович
Назва : Систематический подход к программированию
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1988
Кільк.характеристики :208 с.: рис., табл.
Серія: Библиотечка программиста
Примітки : Лит.: с. 203-204. - Предм. указ.: с. 205-206
ISBN, Ціна 5-02-013771-5: 0.85 р.
УДК : 519.85
ББК : 22.183.4
Предметні рубрики: Програмування
Географіч. рубрики:
Анотація: Содержит систематическое введение в программирование. Главная цель - научить методам разработки программ. Основные компоненты систематического подхода - математическое исследование задачи, пошаговая детализация и обоснование правильности программ, анализ алгоритмов.
Примірники : всього : ЧЗ(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)
Знайти схожі

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