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

Бази даних


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

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=алгебра логики<.>
Загальна кількість знайдених документів : 10
Показані документи с 1 за 10
1.
681.51:004
Л36


    Левин, Виталий Ильич.
    Введение в динамическую теорию конечных автоматов [] / В. И. Левин ; Акад. наук Латв. ССР, Ин-т электроники и вычисл. техники. - Рига : Зинатне, 1975. - 376 с. : рис., табл. - Лит.: с. 363-368. - Предм. указ.: с. 369-371. - 1.67 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Наукові видання
   
Кл.слова (ненормовані):
бесконечная логика -- безкінцева логіка -- эквивалентные преобразования -- еквівалентні перетворення -- конечные автоваты без памяти -- кінцеві автомати без пам'яті -- динамика конечных автоматов -- динаміка кінцевих автоматів -- метод декомпозиции -- метод декомпозиції -- метод эквивалентных схем -- метод еквівалентних схем -- входные воздействия кратности -- вхідні впливи кратності -- обнаружение ошибок -- виявлення помилок -- устранение ошибок -- усунення помилок -- квазистатический анализ конечного автомата -- квазістатичний аналіз кінцевого автомату -- численные процедуры -- численні процедури -- алгебра логики -- алгебра логіки -- итеративный динамический анализ -- ітеративний динамічний аналіз -- декомпозиція
Анотація: Методы анализа динамики конечных автоматов и в некоторой степени - методов синтеза автоматов с заданной динамикой.

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

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

2.
007:681.5
Р12


    Рабинович, Авраам Нахимович.
    Как машина стала автоматом [] / А. Н. Рабинович. - К. : Техніка, 1976. - 152 с. : рис. - 0.30 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Популярні видання
   
Кл.слова (ненормовані):
развитие машин -- розвиток машин -- датчик -- преобразователь -- перетворювач -- исчисление высказываний -- обчислення висловів -- алгебра логики -- алгебра логіки -- запоминающие устройства -- запам'ятовуючі пристрої -- программное управление -- програмне управління -- автоматические линии -- автоматичні лінії -- комплексная автоматизация -- комплексна автоматизація -- усилители мощности -- підсилювачі потужності -- распознавание образов -- розпізнання образів
Анотація: Металлообрабатывающие и другие автоматы, принципы и особенности их действия, функции человека в производственном процессе.

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

3.
681.5:681.5.012:681.5.013
Ч-65


    Чирков, Михаил Константинович.
    Основы общей теории конечных автоматов [] / М. К. Чирков ; Ленингр. Ордена Ленина и Ордена Труд. Красного Знамени гос. ун-т им. А. А. Жданова. - Л. : Изд-во Ленингр. ун-та, 1975. - 279 с. : рис., табл. - Лит.: с. 271-273. - 1.64 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Практичні посібники
   
Кл.слова (ненормовані):
конечные автоматы -- кінцеві автомати -- вероятностные автоматные отображения -- ймовірні автоматичні відображення -- способы задания автоматов -- способи задання автоматів -- детерминированные автоматные отображения -- детермініровані автоматні відображення -- эквивалентность вероятностных автоматов -- еквівалентність ймовірних автоматів -- представление событий -- представлення подій -- алгебра событий -- алгебра подій -- регулярность событий -- регулярність подій -- теорема Клини -- теорема Кліні -- абстрактный анализ -- абстрактний аналіз -- минимизация автоматов -- мінімізація автоматів -- структурный анализ -- структурний аналіз -- синтез автоматов -- синтез автоматів -- алгебра логики -- алгебра логіки -- минимизация функций -- мінімізація функцій -- надежностный анализ -- надійністний аналіз
Анотація: Вопросы абстрактной и структурной теории вполне определенных и не полностью определенных вероятностных конечных автоматов.

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

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

4.
621.3.049.77
А47


    Алексеенко, Андрей Геннадьевич.
    Современная микросхемотехника [] / А. Г. Алексеенко ; [редкол.: А. И. Берг и др.]. - М. : Энергия, 1979. - 112 с. : рис., табл. - (Массовая радиобиблиотека ; вып. 994). - Лит.: с. 111. - 0.50 р.
УДК
ББК 32.844.1
Рубрики: Мікросхемотехніка--Практичні посібники
   
Кл.слова (ненормовані):
планарная технология -- планарна технологія -- алгебра логики -- алгебра логіки -- логические операции -- логічні операції -- проектирование цифровых устройств -- проектування цифрових пристроїв -- проектирование комбинационных устройств -- проектування комбінаційних пристроїв -- последовательностные цифровые цепи -- послідовнісні цифрові ланцюги -- проектирование триггерных схем -- проектування тригерних схем -- автоматы интегральных микропроцессоров -- автомати інтегральних мікропроцесорів -- запоминающие устройства -- запам'ятовуючі пристрої -- микросхемотехника аналоговых устройств -- мікросхемотехніка аналогових пристроїв -- интегральный операционный усилитель -- інтегральний операційний підсилювач -- усилитель радиочастот -- підсилювач радіочастот
Анотація: Основы микроэлектроники и микросхемотехники - фундамента методов построения электронных систем.

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

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

5.
004(075.8)
З-68


    Злобін, Григорій Григорович.
    Архітектура та апаратне забезпечення ПЕОМ [] : навч. посібник / Г. Г. Злобін, Р. Є. Рикалюк ; М-во освіти і науки, молоді та спорту України, Львів. нац. ун-т ім. І. Франка. - 2-ге вид., переробл. и допов. - К. : Каравела, 2012. - 223, [1] с. : рис., табл. - Л-ра: с. 223. - ISBN 966-8019-41-5 : 62.00 грн
УДК
ББК 32.973я73
Рубрики: Комп'ютерна техніка--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
алгебра логіки -- алгебра логики -- архітектура обчислювальних систем -- архитектура вычислительных систем -- мікропроцесори -- микропроцессоры -- системне програмне забезпечення -- ситемное программное обеспечение -- оперативна пам'ять -- оперативная память -- відеосистеми -- видеосистемы -- апаратне забезпечення -- аппаратное обеспечение -- паралельні інтерфейси -- паралельные интерфейсы -- локальні мережі -- локальные сети -- глобальні мережі -- глобальные сети
Анотація: Викладено історію розвитку комп'ютерної техніки, основи алгебри логіки, головна елемента база сучасних ПЕОМ.

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

Дод.точки доступу:
Рикалюк, Роман Євстахович; Міністерство освіти і науки, молоді та спорту УкраїниЛьвівській національний університет імені Івана Франка
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

6.
621.382:621.3.049.77
П18


    Партала, О. Н.
    Цифровая электроника [] / О. Н. Партала ; под ред. С. Л. Корякина-Черняка. - 2-е изд., доп. - СПб. : Наука и техника, 2001. - 224 с. : рис. - Лит.: с. 2019. - ISBN 5-94387-050-4 : 32.00 грн
УДК
ББК 32.844.1
Рубрики: Цифрова електроніка--Мікросхеми--Популярні видання
   
Кл.слова (ненормовані):
цифровые устройства -- цифрові пристрої -- алгебра логики -- алгебра логіки -- цифровые генераторы сигналов -- цифрові генератори сигналів -- запоминающие устройства -- запам'ятовуючі пристрої -- триггеры -- тригери -- цифровые фильтры -- цифрові фільтри -- цифровые эквиваленты -- цифрові еквіваленти -- цифровые микросхемы -- цифрові мікросхеми -- функциональные преобразователи -- функціональні перетворювачі -- арифметические устройства -- арифметичні пристрої
Анотація: Книга поможет инженеру, студенту, школьнику и просто радиолюбителю узнать секреты построения схем цифровой электроники.

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

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

7.
373.5.016:51
Ш84


    Шпорер, Златко.
    Ох, эта математика! [] = Uh, ta matematika! / З. Шпорер ; [пер. с хорв.-серб. Д. П. Мансфельда ; ред. пер., авт. предисл. Д. С. Апокорин ; худож. В. И. Шкарбан]. - 2-е изд., испр. - М. : Педагогика, 1985. - 128 с. : ил. - 0.35 р.
УДК
ББК 74.262.21
Рубрики: Математика--Методика викладання--Навчальні видання
Кл.слова (ненормовані):
теория множеств -- теорія множин -- теория чисел -- теорія чисел -- натуральные числа -- натуральні числа -- математическая логика -- математична логіка -- алгебра логики -- алгебра логіки -- предикаты -- предикати -- методика преподавания математики -- методика викладання математики
Анотація: В книге в научно-популярной форме излагается введение в теорию множеств и теорию чисел (натуральные числа), которые вместе с математической логикой составляют основу современной математики.

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

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

8.
519.617(075.8)
Я14


    Яблонский, Сергей Всеволодович.
    Введение в дискретную математику [] : учеб. пособие для студентов вузов, обуч. по спец. "Прикладная математика" / С. В. Яблонский. - 2-е изд., перераб. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1988. - 384 с. - Лит.: с. 370-372. - Предм. указ.: с. 373-380. - 0.95 р.
УДК
ББК 22.18я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
алгебра логіки -- алгебра логики -- еквівалентність формул -- эквивалентность формул -- детерміновані функції -- детерминованные функции -- обчислювані функції -- вычислимые функции -- комбінаторний аналіз -- комбинаторный анализ -- теорія кодування -- теория кодирования -- кібернетика -- кибернетика -- графи (мат.) -- графи (мат.) -- сети (мат.) -- мережі (мат.)
Анотація: Изложены основы дискретной математики. В книге широко используется геометрический язык и содержательные интерпретации понятий.

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

9.
004+621.3.049.77
З-91


    Зубчук, Виктор Иванович.
    Справочник по цифровой схемотехнике [] / В. И. Зубчук, В. П. Сигорский, А. Н. Шкуро ; [под ред. З. В. Божко]. - К. : Тэхника, 1990. - 448 с. : рис., табл. - Лит.: с. 441-445. - ISBN 5-335-00584-X : 1.70 р.
УДК
ББК 32.973.204я2 + 32.844.1я2
Рубрики: Схемотехніка--Інтегральні мікросхеми--Довідкові видання
   
Кл.слова (ненормовані):
системы счисления -- системи числення -- преобразование чисел -- перетворення чисел -- алгебра логики -- алгебра логіки -- карты Карно -- карти Карно -- логические функции -- логічні функції -- элементы цифровой схемотехники -- елементи цифрової схемотехніки -- логические элементи -- логічні елементи -- комбинационные функциональные узлы -- комбінаційні функціональні вузли -- последовательностные схемы -- послідовні схеми -- полупроводниковые запоминающие устройства -- напівпровідникові запам'ятовуючі пристрої -- компоненты цифровых систем -- компоненти цифрових систем -- аналого-цифровые преобразователи -- аналого-цифрові перетворювачі -- однокристальные микро-ЭВМ -- однокристалеві мікро-ЕОМ
Анотація: Схемы реализации цифровых интегральных микросхем комбинационного и последовательностного типов, структуры и особенности функционирования микропроцессорных комплектов.

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

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

10.
004
Щ32


    Щеголева, Людмила Ивановна.
    Основы вычислительной техники и программирования [] : учебник / Л. И. Щеголева, А. Ф. Давыдов. - Ленинград : Энергоиздат, 1981. - 256 с. : рис., табл. - Лит.: с. 247-248. - Предм. указ.: с. 249-250. - 0.80 р.
УДК
ББК 32.973я7
Рубрики: Обчислювальна техніка--Програмування--Навчальні видання
   
Кл.слова (ненормовані):
вычислительная техника -- программирование -- виды математического программирования -- види математичного програмування -- нелинейные решающие элементы -- нелінійні вирішальні елементи -- цифровые вычислительные машины -- цифрові обчислювальні машини -- алгебра логики -- алгебра логіки -- синтез цифровых устройств -- синтез цифрових пристроїв -- типовые функциональные схемы -- типові функціональні схеми -- процессоры -- процесори -- запоминающие устройства -- запам'ятовуючі пристрої -- устройства управления -- пристрої управління -- построения вычислительных систем -- побудова обчислювальних систем -- программа вычислений -- програма обчислень
Анотація: Принципы построения цифровых и аналоговых вычислительных машин.

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

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

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