Б24 Бардачов, Юрій Миколайович. Дискретна математика [] / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков; за ред. В. Є. Ходакова. - 2-е вид., переробл. і допов. - К. : Вища школа, 2008. - 384 с. : рис., табл. - Л-ра в кінці розд. - Дод.: с. 377-383. - ISBN 978-966-642-384-2 : 34.50 грн, 50.30 грн, 30.00 грн
Рубрики: Дискретна математика--Навчальні видання для вищої школи фывфывфыв: множини -- множества -- булеві функції -- булевы функции -- булева алгебра -- алгоритми -- алгоритмы -- рекурсивні функції -- рекурсивные функции -- тезис Черча -- теза Черча -- машини Тьюрінга -- машины Тьюринга -- теорема Райса -- формальні системи -- формальные системы -- алгебри -- алгебры -- комбінаторика -- комбинаторика -- теорія графів -- теория графов Аннотация: Основні поняття і наукові результати теорій множин, математичної логіки, відношень, формальних систем, алгоритмів, алгебр, комбінаторики, графів. Держатели документа: ЖОУНБ Доп.точки доступа: Соколова, Надія Андріївна; Ходаков, ВІктор Єгорович; Ходаков, Віктор Єгорович \ред.\ Экземпляры всего: 3 ЧЗ (3) Свободны: ЧЗ (3) |
Б 86 Бохманн, Дитер. Двоичные динамические системы [] / Д. Бохманн, Х. Постхоф ; под ред. О. П. Кузнецова ; пер. с нем. М. Г. Гаазе-Рапопорта. - М. : Энергоатомиздат, 1986. - 400 с. : рис., табл. - Лит.: с. 386-394. - Указ.: с. 395-396. - Алф.-предм. указ.: с. 397-399. - 3.10 р.
Рубрики: Кібернетика--Наукові видання фывфывфыв: автомат автономний -- автомат автономный -- базис нульвого простору -- базис нулевого пространства -- булева алгебра -- варіація -- вариация -- вектор -- гомоморфізм -- гомоморфизм -- графи -- дифференциал -- диференціал -- элемент максимальный -- елемент максимальний -- функціональна множина -- функциональное множество -- еквівіалентність -- эквивалентность Аннотация: Изложены теоретические основы булева дифференциального исчисления. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Постхоф, Христиан; Кузнецов, О. П. \ред.\; Гаазе-Рапопорт, М. Г. \пер.\ Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |
С59 Соколов, Олександр Павлович. Основи мікроелектроніки та схемотехніки [] : навч. посібник / О. П. Соколов, О. Л. Коренівська ; М-во освіти і науки, молоді та спорту України, Житомир. держ. технол. ун-т. - Житомир : ЖДТУ, 2013. - 295, [1] с. : табл., рис. - Покажч.: с. 289-291. - ISBN 978-966-683-365-8 : 24.00 грн
Рубрики: Мікроелектроніка--Навчальні видання фывфывфыв: місцеві видання -- местные издания -- цифрові аналогові мікросхеми -- цифровые аналоговые микросхемы -- інтегральні мікросхеми -- интегральные микросхемы -- транзистори -- напівпровідникові конденсатори -- полупроводниковые конденсаторы -- булева алгебра -- булевая алгебра -- логічні функції -- логические функции -- логічні елементи -- логические елементы -- цифрові пристрої інтегральних схем -- цифровые устройства интегральных схем -- тригерні пристрої -- тригерные устройства -- регістри -- регистры -- лічильники імпульсів -- счетчики импульсов -- аналого-цифрові перетворювачі -- аналого-цифровые преобразователи -- цифро-аналоговіі перетворювачі -- цифро-аналоговые преобразователи -- пристрої пам'яті -- устройства памяти Аннотация: У посібнику викладено основні аспекти мікроелектроники та мікросхемотехніку аналогових інтегральних схем, основні поняття та закони алгебри логіки, процедури та правила мінімізації двозначних функцій. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Коренівська, Оксана Леонідівна; Соколов, Олександр Павлович (кандидат технічних наук) \про нього\; Організація і розвиток науки у краї 11.02; Міністерство освіти і науки, молоді та спорту УкраїниЖитомирський державний технологічний університет Экземпляры всего: 2 КР (1), ВВ (1) Свободны: КР (1), ВВ (1) |
П18 Парницкий, Габор. Основы статистической информатики [] = A statisztikai informatika alapjai / Г. Парницкий ; пер. с венг. Ю. А. Данилова. - М. : Финансы и статистика, 1981. - 200 с. : табл. - Библиогр. в подстрочном примеч. - Лит.: с. 193-199. - 0.85 р.
Рубрики: Математична статистика--Навчальні видання Інформатика--Навчальні видання фывфывфыв: операції над множинами -- операции над множествами -- абстрактна булева алгебра -- абстрактная булева алгебра -- алгебра контакних схем -- алгебра контактных схем -- булева алгебра -- бінарні відносини -- бинарные отношения -- симетрія -- симметрия -- рефлексивність -- рефлексивность -- формальні граматики -- формальные грамматики -- автоматична класифікація -- автоматическая классификация -- кодування -- кодирование Аннотация: Рассмотрены методы переработки больших массивов информации. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Данилов, Ю. А. \пер.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К63 Компьютеры : справочное руководство [Текстььь] = The McGRA W-HILL Computer HANDBOOK : в 3 т. / под ред. Г. Хелмса. - М. : Мир, 1986. Т. 1 / [Г. Хеллерман и др.] ; пер. с англ. под ред. И. О. Автовмяна ; [пер. выполнен Дадашевым Т. М. и др.]. - 416 с. : рис., табл. - Авт. зазначено на звороті тит. арк. - Предм. указ.: с. 402-410. - 1.60 р.
Рубрики: Комп'ютери--Програмне забезпечення--Довідкові видання фывфывфыв: история вычислительных машин -- історія обчислювальних машин -- структуры ЭВМ -- структури ЕОМ -- системные счисления -- системні обчислення -- коды -- коди -- булева алгебра -- логические схемы -- логічні схеми -- последовательные схемы -- послідовні схеми -- арифметико-логическое устройство -- арифметико-логічний пристрій -- элемент памяти -- елемент пам'яті -- программное обеспечение -- програмне забезпечення -- устройства ввода -- пристрої вводу -- устройства вывода -- пристрої виводу -- системы с разделением времени -- системи з розподілом часу Аннотация: Рассматриваются аппаратные средства ЭВМ, приводятся основы машинной графики, булевой алгебры, цифровой схемотехники, описание основных компонентов. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Хелмс, Г. \ред.\; Хеллерман, Г.; Гамахер, В.; Вранежич, З.; Заки, З.; Автовмян, И. О. \ред., пер.\; Дадашев, Т. М. \пер.\; Кисельников, В. М. \пер.\; Чепуро, В. С. \пер.\; Штаркман, В. С. \пер.\ Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |
Ц75 Цифрова схемотехніка. Елементи дискретних пристроїв нформаційно-комунікаційних систем [] : навч. посібник / В. М. Максимович [та ін.] ; М-во освіти і наук України, Нац. ун-т "Львів. політехніка". - Л. : Вид-во Львів. політехніки, 2015. - 134, [2] с. : рис., табл. - Авт. зазначено на звороті тит. арк. - Л-ра: с. 131. - ISBN 978-617-607-870-8 : 61.00 грн
Рубрики: Схемотехніка--Навчальні видання фывфывфыв: булева алгебра -- цифрові пристрої -- цифровые устройства -- комбінаційні пристрої -- комбинационные устройства -- логічне проектування -- логическое проектирование -- синтез комбінаційних пристроїв -- синтез комбинационных устройств -- дешифратори -- дешифраторы -- шифратори -- шифраторы -- перетворювачі кодів -- преобразователи кодов -- мультиплексори -- мультиплексоры -- демультиплексори -- демультиплексоры -- програмовані логічні матриці -- программируемые логические матрицы -- комбінаційні суматори -- комбинационные сумматоры -- пристрої порівняння -- устройства сравнения -- тригери -- тригеры -- лічильники імпульсів -- счетчики импульсов -- регістри -- регистры -- застосування цифрових пристроїв -- применение цифровых устройств -- програмовані логічні інтегральні схеми -- программируемые логические интегральные схемы Аннотация: Алгебра логіки, принципи функціонування та побудови комбінаційних та послідовнісних цифрових пристроїв, особливості елементної бази цифрової схемотехніки. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Максимович, В. М.; Горпенюк, А. Я.; Костів, Ю. М.; Лужецька, Н. М.; Міністерство освіти і науки України; Національний університет "Львівська політехніка" Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |
Р26 Рафикузаман, Мохамед Микропроцессоры и машинное проектирование микропроцессорных систем [Текстььь] = Microprocessos and microcomputer development systems Designing microprocessor-based systems : 2 кн. / М. Рафикузаман. - Москва : Мир, 1988. Кн. 1 / пер. с англ.: Е. К. Масловского, Л. В. Шабанова. - 312 с. : рис., табл. - ISBN 5-03-001135-8 : 2.30 р.
Рубрики: Мікропроцесори--Мікропроцесорні системи--Проектування--Наукові видання фывфывфыв: аппаратные средства -- апаратні засоби -- программные средства -- програмні засоби -- булева алгебра -- декодирование адресов -- декодування адрес -- запоминающие устройства -- запам'ятовуючі пристрої -- внешние устройства -- зовнішні пристрої -- микропроцессор 8085 -- мікропроцесор 8085 -- микропроцессоры 8086 -- мікропроцесори 8086 -- микропроцессор 68000 -- мікропроцесор 68000 -- микропроцессор модели 432 -- мікропроцесор моделі 432 -- интерфейсные микросхемы устройств -- інтерфейсні мікросхеми пристроїв Аннотация: Системы проектирования микропроцессоров, описание микропроцессоров Интел, Моторола, Зилог, а также их программное обеспечение. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Масловский, Е. К. \пер.\; Шабанов, Л. В. \пер.\ Экземпляры всего: 4 ФОНД (1), ВВ (2), АБ (1) Свободны: ФОНД (1), ВВ (2), АБ (1) |
К41 Киносита, Кодзо. Логическое проектирование СБИС [] / К. Киносита, К. Асада, О. Карацу ; пер. с яп. : Д. А. Ковтунова, Л. В. Поспелова ; под ред. Л. В. Поспелова. - Москва : Мир, 1988. - 309 с. : рис., табл. - Предм. указ.: с. 306-308. - ISBN 5-03-000393-3 : 1.70 р. Рубрики: Мікроелектроніка--Автоматичні системи проектування--Моделювання--Практичні посібники фывфывфыв: микроэлектроника -- автоматизированные системы проектирования -- моделирование -- булева алгебра -- логическое проектирование -- логічне проектування -- языки структурного описания -- мови структурного опису -- языки функционального описания -- мови функціонального опису -- языки графического описания -- мови графічного опису -- логическое моделирование -- логічне моделювання -- алгоритмические способы синтеза тестов -- алгоритмічні способи синтезу тестів -- моделирование неисправностей -- моделювання несправностей -- тестовые последовательности -- тестові послідовності -- модели неисправностей -- моделі несправностей -- проектирование легкотестируемых схем -- проектування легкотестованих схем Аннотация: Математическая теория логического проектирования, проблемы упрощения логических функций и языки описания, которые используются для автоматизации процессов проектирования и моделирования. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Асада, Кунихиро; Карацу, Осаму; Ковтунов, Д. А. \пер.\; Поспелов, Л. В. \пер.\; Поспелов, Л. В. \ред.\ Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |