К 88 Кублій, Лариса Іванівна. Вибрані розділи дискретної математики. Алгебричні структури. Алгебра логіки. Математична логіка [Текст] : навчальний посібник / Л. І. Кублій, М. В. Ногін ; М-во освіти і науки, молоді та спорту України, Нац. техн. ун-т України "Київськ. політехніч. ін-т". - Київ : НТУУ "КПІ", 2012. - 170[2] с. - 10.00 грн.
Рубрики: Математика--Дискретна Математична логіка--Навчальні видання Кл.слова (ненормовані): дискретна математика -- алгебра Буля -- алгебра Жегалкіна -- алгебричні структури -- логіка висловлювань -- логічна функція -- логіка предикатів Дод.точки доступу: Ногін, Микола Васильович Примірників всього: 1 Вул. Левка Лук'яненка, 13-Б Читальний зал (1) Вільні: Вул. Левка Лук'яненка, 13-Б Читальний зал (1) |
К 64 Конверский, А. Е. Логика традиционная и современная : учебник / А. Е. Конверский. - Москва : Идея-Пресс, 2010. - 377 с. - ISBN 978-903927-07-4 : 103.00 грн.
Рубрики: Логіка--традиційна логіка--Підручники для вищих навчальних закладів Кл.слова (ненормовані): судження -- модальна логіка -- формули логіки -- дидукція -- логіка предикатів Примірників всього: 1 Вул. Левка Лук'яненка, 13-Б Книгосховище (1) Вільні: Вул. Левка Лук'яненка, 13-Б Книгосховище (1) |
Шифр: П739395/2016/1 Журнал 2016р. N 1 (71) Дурняк, Б. В. Синтез моделей ризику з інформаційними компонентами / Б. В. Дурняк, T. М. Майба. - С.11-29. - Библиогр. в конце ст. Кл.слова: модель ризику, процеси синтезу, атаки Сеньківський, В. М. Теоретичні основи забезпечення якості видавничо-поліграфічних процесів (Частина 2. Синтез моделей пріоритетності дії факторів) / В. М. Сеньківський [и др.]. - С.20-29. - Библиогр. в конце ст. Інші автори: Піх І. В., Кудряшова А. В., Литовченко Н. М. Кл.слова: процес, фактор, логіка предикатів Дурняк, Б. В. Методи адаптації процесів захисту доступу користувачів до соціальних систем / Б. В. Дурняк, T. М. Хомета. - С.30-38. - Библиогр. в конце ст. Кл.слова: адаптація, система захисту доступу (SZD), система засобів захисту (SZZ) Верхола, М. І. Інформаційна технологія аналізу фарбодрукарської системи з чотирма накочувальними валиками на основі її тривимірної математичної моделі / М. І. Верхола. - С.39-50. - Библиогр. в конце ст. Кл.слова: фарбодрукарська система, фарбоживильний пристрій, розтиральний циліндр Терновий, А. М. Побудова математичної моделі ієрархії критеріїв якості мультимедійних видань з відеоконтентом / А. М. Терновий, С. П. Васюта, О. Г. Хамула. - С.51-59. - Библиогр. в конце ст. Кл.слова: мультимедіа, користувач, граф Пановик, У. П. Інформаційна технологія оптимізації процесу попереднього заповнення фарбою фарбодрукарської системи з двома накочувальними валиками / У. П. Пановик. - С.60-66. - Библиогр. в конце ст. Кл.слова: оптимізація друкарського процесу, фарбодрукарська система, робочий режим роботи Сеньківський, В. М. Синтез моделей пріоритетного впливу факторів на якість процесу створення програмного забезпечення мобільних пристроїв / В. М. Сеньківський, Ю. Ф. Петяк. - С.67-78. - Библиогр. в конце ст. Кл.слова: інформаційна безпека, мобільні пристрої, фактор Шовгенюк, М. В. Кількісна оцінка якості кольороподілу зображення для кольорового друку / М. В. Шовгенюк [и др.]. - С.79-90. - Библиогр. в конце ст. Інші автори: Ковальський Б. М., Семенів М. Р., Занько Н. В., Писанчин Н. С. Кл.слова: допустима кількість фарб, сумарна площа накладання, стандартні профілі Шибанов, В. В. Пластифікація дієн-стиренових фотополімеризаційноздатних матеріалів / В. В. Шибанов. - С.91-97. - Библиогр. в конце ст. Кл.слова: дієн-стиренові блок-кополімери, пружно-еластична деформація, пластична деформація Луцків, М. М. Чутливість тонопередавання коротких фарбодрукарських систем паралельної структури / М. М. Луцків, М. Б. Гладченко. - С.98-107. - Библиогр. в конце ст. Кл.слова: тонопередача, друкарська система, граф Чехман, Я. І. Система для забезпечення рівномірного натягу стрічки в процесі розмотування в рулонній ротаційній машині / Я. І. Чехман, А. І. Шустикевич. - С.108-112. - Библиогр. в конце ст. Кл.слова: рулонна друкарська машина, амортизаційний валик, натяг паперової стрічки Благодір, О. Л. Аналіз розвитку технологій друкування з використанням анілоксових валиків / О. Л. Благодір, О. М. Величко. - С.113-118. - Библиогр. в конце ст. Кл.слова: патентні дослідження, анілоксовий валик, фарбоживильні системи Нерода, Т. Дослідження компонентів видавничих систем на джерелах матеріальної культури / Т. Нерода. - С.119-128. - Библиогр. в конце ст. Кл.слова: інформаційна технологія, друкована продукція, верстка Пасіка, В. Р. Кінематичний синтез механізму штанцювального преса з умови рівності прямого і зворотного ходів / В. Р. Пасіка, В. В. Влах. - С.129-139. - Библиогр. в конце ст. Кл.слова: штанцювальний прес, кінематичний синтез, рівність ходів Гриценко, О. О. Розрахунок технологічних параметрів маркування паковання з нанофотонними елементами / О. О. Гриценко. - С.140-146. - Библиогр. в конце ст. Кл.слова: маркування паковання, нанофотонні елементи, фотолюмінесценція Лупенко, С. А. Умовний циклічний випадковий процес як математична модель коливних сигналів та процесів із подвійною стохастичністю / С. А. Лупенко [и др.]. - С.147-159. - Библиогр. в конце ст. Інші автори: Сверстюк А. С., Луцик Н. С., Стадник Н. Б. Зозуля А. М. Кл.слова: математична модель, циклічний сигнал, випадковий процес Румянцев, Ю. М. Глітерна паста на полімерній основі для оздоблення видавничої продукції / Ю. М. Румянцев, М. Ф. Ясінський, Л. М. Ясінська-Дамрі. - С.160-167. - Библиогр. в конце ст. Кл.слова: глітерна паста, глітерування, трафаретний спосіб Черниш, Н. І. Електронні енциклопедії в Україні / Н. І. Черниш. - С.168-183. - Библиогр. в конце ст. Кл.слова: мережеві енциклопедичні ресурси, електронна енциклопедія, класифікація електронних енциклопедій Огар, Е. І. Конвергентні медіа для дітей в українському інформаційному просторі / Е. І. Огар. - С.184-191. - Библиогр. в конце ст. Кл.слова: дигіталізація медіа, паперові медіа, цифрові медіа Бондаренко, Т. Г. Інформаційний онлайновий спецпроект для медіа аудиторії: поняття, типології, вплив / Т. Г. Бондаренко. - С.192-202. - Библиогр. в конце ст. Кл.слова: інформаційний спецпроект, спецтема, тематичний пакет Бессараб, А. О. Соціально-комунікаційний аспект взаємодії мистецтва книги та кіно у формуванні інтересу до читання / А. О. Бессараб. - С.203-208. - Библиогр. в конце ст. Кл.слова: автор, екранізація, книга Ткаченко, О. О. Специфіка рекламної діяльності навчальних закладів у контексті їх позиціонування / О. О. Ткаченко. - С.209-215. - Библиогр. в конце ст. Кл.слова: рекламна діяльність, позиціонування, освітня послуга Курбан, Олександр Васильович. Загальна характеристика сучасного інтернет-простору в контексті використання соціальних онлайн-мереж / О. В. Курбан. - С.216-225. - Библиогр. в конце ст. Кл.слова: web 1.0, web 2.0, web 3.0 Ковпак, В. А. Медіатексти як результат інформаційно-комункаційної діяльності еміграційної громади в контексті етнокультурної компетенції / В. А. Ковпак. - С.226-237. - Библиогр. в конце ст. Кл.слова: медіатекст, інформаційно-комунікаційна діяльність, еміграційна діяльність Балюн, О. О. Чинник страху як інструмент збільшення продажів / О. О. Балюн. - С.238-247. - Библиогр. в конце ст. Кл.слова: страх, ЗМІ, ринок Нікішова, К. К. Текст в інтерактивних формах популяризації знань: редакторський аспект / К. К. Нікішова. - С.248-256. - Библиогр. в конце ст. Кл.слова: популяризація науки, редакторське опрацювання, моделі наукової комунікації Женченко, М. І. Цифрові трансформації моделей видання наукової періодики / М. І. Женченко. - С.257-266. - Библиогр. в конце ст. Кл.слова: гібридні журнали, журнали відкритого доступу, оверлейні журнали Савчук, Г. М. Документознавча характеристика Литовської, Коронної та Мазовецької метрик / Г. М. Савчук. - С.267-274. - Библиогр. в конце ст. Кл.слова: Литовська Метрика, Коронна Метрика, Мазовецька Метрика Дзьомба, Н. М. Християнська релігія як чинник українського націогенезу: публіцистична інтерпретація шістдесятників / Н. М. Дзьомба. - С.275-284. - Библиогр. в конце ст. Кл.слова: націєтворчий процес, Православна Церква, Українська Греко-Католицька Церква Є примірники у відділах: ГП ЧЗ (29.08.2016р. Прим. 1 - ) (вільний) Ф3 (13.09.2016р. Прим. 2 - Б.ц.) (вільний) Учбова література: ФУФКМ / ВС / 035 / Комп`ютерні видавничі технології / 7 / ДОП ФУФКМ / ВС / 029 / Комп’ютерно-видавничі технології / 8 / ОСН ФУФКМ / ВС / 035 / Комп`ютерні видавничі технології / 8 / ДОП |
Теоретичні основи забезпечення якості видавничо-поліграфічних процесів (Частина 2. Синтез моделей пріоритетності дії факторів) [Текст] / В. М. Сеньківський [и др.] // Поліграфія і видавнича справа. - Львів, 2016. - N 1(71). - С. 20-29. - Библиогр. в конце ст. Кл.слова (ненормовані): процес -- фактор -- логіка предикатів Дод.точки доступу: Сеньківський, В. М. Піх, І. В. Кудряшова, А. В. Литовченко, Н. М. Є примірники у відділах: ГП ЧЗ (29.08.2016р. Прим. 1 - ) (вільний) Ф3 (13.09.2016р. Прим. 2 - Б.ц.) (вільний) |
Сеньківський, В. М. Семантична мережа факторів формування видавничого портфелю [Текст] / В. М. Сеньківський, А. В. Кудряшова, Р. О. Козак // Поліграфія і видавнича справа : наук.-техн. зб. - 2018. - N 2(76). - С. 39-45. - Бібліогр. в кінці ст. . - ISSN 0554-4866 Кл.слова (ненормовані): формування видавничого портфелю -- семантична мережа -- логіка предикатів -- предикатна формула -- фактор -- функціональний зв’язок -- якість -- книжкове видання Дод.точки доступу: Кудряшова, А. В. Козак, Р. О. Є примірники у відділах: всього 3 : ГП ЧЗ (2), Ф3 (1) Вільні: ГП ЧЗ (2), Ф3 (1) |
Сеньківський, В. М. Формалізоване подання зв’язків між факторами проектування післядрукарських процесів [Текст] / В. М. Сеньківський, А. В. Кудряшова // Поліграфія і видавнича справа : наук.-техн. зб. - 2019. - N 1. - С. 70-77. - Бібліогр. в кінці ст. . - ISSN 0554-4866 Кл.слова (ненормовані): післядрукарський процес -- семантична мережа -- логіка предикатів -- предикатна формула -- фактор -- функціональний зв’язок -- якість -- книжкове видання Дод.точки доступу: Кудряшова, А. В. Є примірники у відділах: всього 2 : ГП ЧЗ (1), Ф3 (1) Вільні: ГП ЧЗ (1), Ф3 (1) |
Лахно, Валерій Анатолійович. Проектування бази знань для систем кібербезпеки на основі методу змістовної ідентифікації об'єктів / В. А. Лахно, Д. Ю. Касаткін, А. І. Блозва // Кібербезпека: освіта, наука, техніка : електронне наукове видання. - 2020. - N 8. - С. 135-148, DOI 10.28925/2663-4023.2020.8.135148. - Бібліогр. в кінці ст. . - ISSN 2663-4023 Кл.слова (ненормовані): інформаційна безпека -- експертна система -- база знань -- силогізм -- логіка предикатів -- метод змістовної ідентифікації об’єктів Анотація: У статті викладені результати досліджень, виконаних в процесі проектування експертної системи (ЕС), призначеної для визначеної для оцінки загроз інформаційної безпеки (ІБ) критично важливих об'єктів інформатизації (КВОІ). Запропоновано підхід до проектування експертної системи на основі силогізмів і логіки предикатів, а також методу змістовної ідентифікації об’єктів бази знань (БЗ). Суть методу полягає в тому, що кожному об'єкту БЗ проектованої ЕС, ставиться у відповідність кортеж ключових слів (КС), значимість яких визначається експертним шляхом. Таким чином, кожен об'єкт БЗ ставиться у відповідність елементу кінцевого нечіткого топологічного простору об'єктів БЗ. Змістовна ідентифікація проходить по відстані між об'єктами БЗ. Запропонований в роботі підхід, в порівнянні з рішеннями інших авторів, має низку переваг. А саме дозволяє: моделювати різноваріативні сценарії реалізації кіберзагроз для КВОІ і їх наслідки; визначати загальну картину ймовірності реалізації кіберзагрози для КВОІ; моделювати взаємодію всіх факторів ІБ і при необхідності візуалізувати цю взаємодію; розраховувати і в подальшому ранжувати значення ймовірностей кіберзагроз для КВОІ для конкретних сценаріїв реалізації загроз; автоматизувати за рахунок застосування розробленого ПО процеси моделювання загроз і значно скоротити час на аудит загроз. Показано, що використання методу змістовної ідентифікації, дозволяє підвищити адекватність моделей обраної предметної області, а також запобігти помилкове введення в ЗЕС однакових за змістом суджень експертів іцілей,зокрема при об'єднанні ієрархій цілей, сформованих різними експертними групами. Показано,що метод також може використовуватися для пошуку цілей ієрархії, точні формулювання яких, за ключовими словами, невідомі Перейти до зовнішнього ресурсу https://csecurity.kubg.edu.ua Дод.точки доступу: Касаткін, Дмитро Юрійович Блозва, Андрій Ігорович Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Ж 79 Жоль, К. К. Вступ до сучасної логіки / К. К. Жоль. - Київ : Либiдь, 2002. - 152 с. - ISBN 966-06-0241-3 : 15.00 грн.
Рубрики: Логіка--Підручники для вищих навчальних закладів Кл.слова (ненормовані): прийняття рішень -- металогіка -- логіка висловлень -- пропозиційна логіка -- логіка предикатів -- логічні ідеї -- логічні системи -- кібернетика Примірників всього: 1 Фаховий коледж «Універсум» (1) Вільні: Фаховий коледж «Універсум» (1) |