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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

Пошуковий запит: <.>K=теорія алгоритмів<.>

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

51(075)
М 69

Михайленко, Віктор Мефодійович.
Спеціальні розділи математики [] : навч. посібник / В. М. Михайленко, Н. Д. Федоренко. - К. : Вища школа, 1992. - 214 с. : іл. - ISBN 5-11-003602-0 : 6.00 крб

УДК

51(075)

ББК 22.1я73
Рубрики: Математика--Навчальні видання

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

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

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

007
М 80

Мороз, Алексей Яковлевич.
Кибернетика в системе современного научного знания [] / А. Я. Мороз ; ред. М. В. Попович ; Ин-т философии. - К. : Наук. думка, 1988. - 232 с. - Лит.: с. 213-230. - ISBN 5-12-000936-0 : 3.60 р.

УДК

007

ББК 32.81
Рубрики: Кібернетика--Наукові видання

Кл.слова (ненормовані):
кібернетична наука -- кибернетическая наука -- кибернетический метод -- кібернетичний метод -- теорія інформації -- теория информации -- теорія алгоритмів -- теория алгоритмов -- теорія автоматів -- теория автоматов -- теорія ігор -- теория игр -- соціальна кібернетика -- социальная кибернетика -- інтегративна кібернетика -- интегративная кибернетика
Анотація: Сущность кибернетики как научного направления, ее статус в современном научном познании.

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

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

001.891(075.8)*М
П16

Панішев, Анатолій Васильович.
Методологія наукових досліджень [] : навч. посібник / А. В. Панішев, О. Б. Мацій, Т. І. Пількевич ; М-во освіти та науки України, Житомир. держ. технол. ун-т. - Житомир : ЖДТУ, 2013. - 147, [1] с. : рис., табл. - Предм. покажч.: с. 136-144. - Літ.: с. 145-147. - ISBN 978-966-683-370-2 : 33.00 грн

УДК

001.891(075.8)*М

ББК 72.4я73
Рубрики: Наукові дослідження--Навчальні видання

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

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

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

510.6
М50

Мендельсон, Элиот.
Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.

УДК

510.6

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

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

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

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

510.6(075.8)
К60

Колмогоров, Андрей Николаевич.
Математическая логика. Дополнительные главы [] : учеб. пособие для студентов вузов, обучающихся по специальности "Математика" / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1984. - 120 с. - Лит.: с. 119. - 0.25 р.

УДК

510.6(075.8)

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

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

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

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

519.1
К89

Кузнецов, Олег Петрович.
Дискретная математика для инженера [] / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - М. : Энергоатомиздат, 1988. - 480 с. : рис., табл. - Лит.: с. 473-475. - Предм. указ.: с. 476-478. - ISBN 5-283-01568-7 : 1.80 р.

УДК

519.1

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

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

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

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

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)
Знайти схожі

510.6(075.8)
М33

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

УДК

510.6(075.8)

510.5(075.8)

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

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

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

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

519.854(076.1)
Г12

Гаврилов, Гарий Петрович.
Сборник задач по дискретной математике [] : учеб. пособие для студентов вузов, обуч. по спец. "Прикладная математика" / Г. П. Гаврилов, А. А. Сапоженко. - М. : Наука, Гл. ред. физ.-мат. лит., 1977. - 368 с. : ил. - Лит.: с. 358-359. - Предм. указ.: с. 360-364. - Указ. обозн.: с. 365-368. - 0.84 р.

УДК

519.854(076.1)

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

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

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

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

10.

519.854
К82

Кривий, Сергій Лук'янович.
Дискретна математика. Вибрані питання [] : навч. посібник / С. Л. Кривий ; М-во освіти і науки України, Ін-т кіберн. ім. В. М. Глушкова НАН України, Хмельн. нац. ун-т. - К. : Києво-Могил. акад., 2007. - 570, [2] с. : рис., табл. - Бібліогр.: с. 550-564. - ISBN 978-966-518-432-4 : 35.00 грн

УДК

519.854

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

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

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

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

11.

510.51
У77

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

УДК

510.51

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

Кл.слова (ненормовані):
алгоритми -- алгоритмы -- теорія алгоритмів -- теория алгоритмов -- математична логіка -- математическая логика -- теорія ймовірностей -- теория вероятностей -- теорія інформації -- теория информации -- алгоритмічна практика -- алгоритмическая практика
Анотація: В книге дается обзор важнейших достижений теории алгоритмов.

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

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

12.

519.7/.8
У77

Успенский, Владимир Андреевич.
Машина Поста [] / В. А. Успенский. - 2-е изд., перераб. - Москва : Наука, Гл. ред. физ.-мат. лит., 1988. - 96 с. : ил. - (Популярные лекции по математике ; вып. 54). - Библиогр. в подстрочном примеч. - ISBN 5-02-013735-9 : 0.20 р.

УДК

519.7/.8

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

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

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