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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

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

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

004.89(075)
Г 56

Гнучкі комп'ютерно-інтегровані системи: планування, моделювання, верифікація, управління [] : комплекс підручників / Л. С. Ямпольский [и др.]. - Житомир : ЖДТУ, 2010. - 786 с. : рис. - Л-ра: с. 757-769. - Предм. покажч.: с.770. - ISBN 978-966-683-273-6 : 101.00 грн

УДК

004.89(075)

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

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.854(075)
Т76

Трохимчук, Ростислав Миколайович.
Основи дискретної математики [] : практикум / Р. М. Трохимчук ; Міжрегіон. акад. упр. персоналом. - К. : МАУП, 2004. - 168 с. : мал., табл. - Л-ра: с. 162-163. - ISBN 966-608-415-5 : 12.50 грн

УДК

519.854(075)

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

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

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

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

519.854
К82

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

УДК

519.854

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

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

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

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

004.272.4
К49

Клингман, Эдвин.
Проектирование специализированных микропроцессорных систем [] = Microprocessor Systems Design / Э. Клингман ; пер. с англ. В. И. Гуревича, Н. П. Фурсикова, Л. В. Шабанова ; [ред. Л. А. Паршина]. - М. : Мир, 1985. - 363 с. : рис., табл. - Предм. указ.: с. 358-361. - 1.90 р.

УДК

004.272.4

ББК 32.973.2
Рубрики: Мікропроцесорні системи--Проектування--Практичні посібники

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

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

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

519.854(075.8)
М33

Матвієнко, Микола Павлович.
Дискретна математика XXI століття [] : навч. посібник / М. П. Матвієнко ; М-во освіти і науки, молоді та спорту України. - К. : Ліра-К, 2014. - 347, [1] с. : рис., табл. - Л-ра: с. 342-344. - ISBN 978-966-2609-32-5 : 160.00 грн

УДК

519.854(075.8)

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

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

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

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

004.415(075.8)
М33

Матвієнко, Микола Павлович.
Проектування цифрових пристроїв [] : підручник / М. П. Матвієнко ; М-во освіти і науки України, Конотоп. ін-т Сум. держ. ун-ту. - Київ : Ліра-К, 2019. - 362, [2] с. : рис., табл. - Літ.: с. 354-356. - ISBN 978-617-7605-59-0 : 360.00 грн

УДК

004.415(075.8)

ББК 32.973.2.04я73
Рубрики: Цифрові пристрої--Проектування--Навчальні видання для вищої школи

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

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

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

32.81
Г 55

   Глушков, Виктор Михайлович
    Кибернетика, вычислительная техника, информатика [Текст] : избранные тр. : в 3 т. / В. М. Глушков ; [редкол.: В. С. Михалевич (отв. ред.) и др.] ; Акад. наук УССР, Ин-т киберн. им. В. М. Глушкова . - Киев : Наукова думка, 1990.
   Т. 1 : Математические вопросы кибернетики. - 1990. - 264 с. : рис. - Библиогр. в конце разд. - ISBN 5-12-001273-6 : 4.10 р.

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

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

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

Дод.точки доступу:
Михалевич, В. С. \ред.\; Волкович, В. Л. \ред.\; Деркач, В. П. \ред.\; Каныгин, Ю. М. \ред.\; Глушков, Віктор Михайлович (вчений-кібернетик, основоположник інформаційної техніки в Україні ; 1923 - 1982) \про нього\; Академия наук Украинской ССР; Институт кибернетики им. В. М. Глушкова
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

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