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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

Пошуковий запит: <.>K=машины Тьюринга<.>

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

519.854(075.8)
Б24

Бардачов, Юрій Миколайович.
Дискретна математика [] / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков; за ред. В. Є. Ходакова. - 2-е вид., переробл. і допов. - К. : Вища школа, 2008. - 384 с. : рис., табл. - Л-ра в кінці розд. - Дод.: с. 377-383. - ISBN 978-966-642-384-2 : 34.50 грн, 50.30 грн, 30.00 грн

УДК

519.854(075.8)

ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи

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

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

Дод.точки доступу:
Соколова, Надія Андріївна; Ходаков, ВІктор Єгорович; Ходаков, Віктор Єгорович \ред.\
Примірників всього: 3
ЧЗ (3)
Свободны: ЧЗ (3)
Знайти схожі

510.51:510.57
М21

Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции [] / А. И. Мальцев. - 2-е изд. - М. : Наука, Гл. ред. физ.-мат. лит., 1986. - 368 с. - Лит.: с. 348-354. - Прил.: с. 355-364. - Предм. указ.: с. 365-367. - 1.70 р.

УДК

510.51:510.57

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

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

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

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