Д48 Дискретна математика. Практикум [] : навч. посіб. / О. С. Манзій [та ін.] ; М-во освіти і науки України, Нац. ун-т "Львів. політехніка". - Львів : Вид-во Львів. політехніки, 2016. - 211, [1] с. : рис., табл. - Літ.: с. 207. - ISBN 978-617-607-990-3 : 100.00 грн
Рубрики: Дискретна математика--Навчальні видання для вищої школи фывфывфыв: теорія множин -- комбінаторика -- алгебра логіки -- теорія графів -- біном Ньютона -- поліноміальні коефіцієнти -- числа Фібоначі -- твірні функції -- алгебра Буля -- алгебра Жегалкіна -- двоїсті функції -- булеві функції -- графи (математика) -- многочлен Жегалкіна -- задачі на графах -- множини -- рекурентні співвідношення -- дискретна математика Аннотация: Навчальний посібник містить теоретичні відомості з чотирьох розділів: “Теорія множин”, “Комбінаторика”, “Алгебра логіки” та “Теорія графів”. Наприкінці кожного розділу подано перелік типових теоретичних запитань для самоконтролю та практичні завдання. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Манзій, Олександра Степанівна; Тесак, Ірина Євгенівна; Ковалець, Ірина Іванівна; Чарковська, Надія Василівна; Міністерство освіти і науки України; Національний університет "Львівіська політехніка" Экземпляры всего: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Л85 Лупенко, Сергій Анатолійович. Комп'ютерна логіка [] : навч. посіб. / С. А. Лупенко, В. В. Пасічник, Є. В. Тиш ; за заг. наук. ред. В. В. Пасічника ; М-во освіти і науки України. - Львів : Магнолія - 2006, 2018. - 353, [1] с. : рис., табл. - (Комп'ютинг). - Літ.: с. 343-344. - ISBN 978-617-574-109-2 : 280.00 грн
Рубрики: Комп'ютери--Математична логіка--Навчальні видання для вищої школи фывфывфыв: логіка висловлювань -- алгебра логіки -- системи числення -- арифметичні дії в комп'ютерних системах -- теорія абстрактних цифрових автоматів -- алгебра Жегалкіна -- система булевих функцій -- мінімізація функцій перемикання -- мінімізація кон'юктивних нормальних форм -- комбінаційні схеми -- методи синтезу -- аналіз комбінаційних схем -- структурний синтез цифрових автоматів -- мікропрограмні комп'ютерні системи Аннотация: Логіка функціонування класичних комп'ютерів як детермінованих цифрових автоматів: теорія систем числення, форми подання та кодування чисел в комп'ютерах. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Пасічник, Володимир Володимирович; Тиш, Євгенія Володимирівна; Пасічник, Володимир Володимирович \ред.\; Міністерство освіти і науки України Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |