Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


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

Вид пошуку

Зона пошуку
у знайденому
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>S=Алгоритмів теорія<.>
Загальна кількість знайдених документів : 4
Показані документи с 1 за 4
1.
510.51:510.57
М21


    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции [] / А. И. Мальцев. - 2-е изд. - М. : Наука, Гл. ред. физ.-мат. лит., 1986. - 368 с. - Лит.: с. 348-354. - Прил.: с. 355-364. - Предм. указ.: с. 365-367. - 1.70 р.
УДК
ББК 22.127
Рубрики: Алгоритмів теорія--Навчальні видання
   
Кл.слова (ненормовані):
функции -- функції -- вычислимые операторы -- обчислювальні оператори -- рекурсивные функции -- рекурсивні функції -- рекурсивно перечислимые множества -- рекурсивно перелічувальні множини -- нумерованные совокупности -- нумеровані сукупності -- креативность множеств -- креативність множин -- машины Тьюринга -- операторные алгоритмы -- операторні алгоритми -- нормальные алгоритмы -- нормальні алгоритми -- диофантовы уравнения -- діофантови рівняння -- диофантовы предикаты -- діофантови предикати -- алгоритми
Анотація: Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов.

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

2.
510.6(075.8)
М33


    Матвієнко, Микола Павлович.
    Математична логіка та теорія алгоритмів [] : навч. посібник / М. П. Матвієнко, С. П. Шаповалов ; М-во освіти і науки України, Сум. держ. ун-т. - К. : Ліра-К, 2015. - 211, [1] с. : рис., табл. - Л-ра: с. 210-211. - ISBN 978-966-2609-74-5 : 92.00 грн, 100.00 грн
УДК
ББК 22.122я73 + 22.127я73
Рубрики: Математична логіка--Навчальні видання для вищої школи
   Алгоритмів теорія--Навчальні видання для вищої школи

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

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

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

3.
510.51(075.8)
М33


    Матвієнко, Микола Павлович.
    Теорія алгоритмів [] : навч. посібник / Матвієнко М. П. ; М-во освіти і науки України. - К. : Ліра-К, 2016. - 339, [1] с. : рис., табл. - Л-ра: с. 337-339. - ISBN 978-966-2609-34-9 : 165.00 грн
УДК
ББК 22.127я73
Рубрики: Алгоритмів теорія--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
властивості алгоритмів -- свойства алгоритмов -- аналіз алгоритмів -- анализ алгоритмов -- складність алгоритмів -- сложность алгоритмов -- нумерації -- нумерации -- алгоритмічні моделі -- алгоритмические модели -- нормальні алгоритми -- нормальные алгоритмы -- операторні алгоритми -- операторные алгоритмы -- алгоритми на орграфах -- алгоритмы на орграфах -- алгоритми кодування -- алгоритмы кодирования -- криптографічні алгоритми -- криптографические алгоритмы -- еволюційні алгоритми -- эволюционные алгоритмы -- генетичні алгоритми -- генетические алгоритмы
Анотація: У першій частині навчального посібника розглянуто теоретичні основи побудови, математичного аналізу, складності і порівняння алгоритмів, їхні математичні моделі, а друга частина присвячена розгляду і побудові більше ніж 60 різних нормальних та операторних алгоритмів, алоритмів сортування і т. п. Робота кожного алгоритму розглянута на конкретному прикладі.

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

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

4.
510.51
У77


    Успенский, Владимир Андреевич.
    Теория алгоритмов: основные открытия и приложения [] / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. : рис. - (Библиотечка программиста). - Прил.: с. 231-243. - Лит.: с. 245-271. - Указ. имен: с. 272-275. - Предм. указ.: с. 276-288. - 1.20 р.
УДК
ББК 22.127
Рубрики: Алгоритмів теорія--Наукові видання
   
Кл.слова (ненормовані):
алгоритми -- алгоритмы -- теорія алгоритмів -- теория алгоритмов -- математична логіка -- математическая логика -- теорія ймовірностей -- теория вероятностей -- теорія інформації -- теория информации -- алгоритмічна практика -- алгоритмическая практика
Анотація: В книге дается обзор важнейших достижений теории алгоритмов.

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

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

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