Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

у знайденому

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

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

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

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

1-20 21-21

512.56(075.8)
К 88

Кублій, Лариса Іванівна.
Вибрані розділи дискретної математики. Алгебричні структури. Алгебра логіки. Математична логіка [Текст] : навчальний посібник / Л. І. Кублій, М. В. Ногін ; М-во освіти і науки, молоді та спорту України, Нац. техн. ун-т України "Київськ. політехніч. ін-т". - Київ : НТУУ "КПІ", 2012. - 170[2] с. - 10.00 грн.

ДРНТІ	27.17.21
УДК	512.56(075.8)

Рубрики: Математика--Дискретна

Математична логіка--Навчальні видання

Кл.слова (ненормовані):
дискретна математика -- алгебра Буля -- алгебра Жегалкіна -- алгебричні структури -- логіка висловлювань -- логічна функція -- логіка предикатів
Дод.точки доступу:
Ногін, Микола Васильович

Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)

Знайти схожі

Шифр: У616793/2012/2
Журнал

Українська мова [Текст] : науково-теорет. журнал/ Національна академія наук України Інститут української мови. - Київ : Інститут української мови НАН України, 2001 - . - ISSN 1682-3540. - Виходить кожного кварталу
2012р. N 2

Зміст:
Вихованець, Іван. Дієслівно-іменниковий граматичний тип української мови / І. Вихованець. - С.3-10. - Библиогр. в конце ст.
Кл.слова: ГРАМАТИЧНА КАТЕГОРІЯ, МОРФОЛОГІЯ, СЛОВОТВОРЕННЯ
Масицька, Тетяна. Функційні типи семантичних залежностей у структурі простого речення / Т. Масицька. - С.24-33. - Библиогр. в конце ст.
Кл.слова: СЕМАНТИЧНА ЗАЛЕЖНІСТЬ, СИНКТАСИЧНА ЗАЛЕЖНІСТЬ, ВАЛЕНТНІСТЬ
Симонова, Катерина. Граматичні категорії дієслова: основні підходи до вивчення / К. Симонова. - С.34-44. - Библиогр. в конце ст.
Кл.слова: ГРАМАТИЧНІ КАТЕГОРІЇ, МІЖРІВНЕВІ КАТЕГОРІЇ, ДІЄСЛОВО
Лаврінець, Олена. З історії вивчення предикативних форм на -но, -то в українській мові / О. Лаврінець. - С.45-57. - Библиогр. в конце ст.
Кл.слова: ПРЕДИКАТИВНІ ФОРМИ НА -НО, -ТО, ПАСИВНА КОНСТРУКЦІЯ, АКТИВНА КОНСТРУКЦІЯ
Косенко, Катерина. Формально-синтаксичні кореляти предикатів кількості в українській мові / К. Косенко. - С.58-66. - Библиогр. в конце ст.
Кл.слова: ПРЕДИКАТИ КІЛЬКОСТІ, КОРЕЛЯЦІЯ ПРЕДИКАТІВ, ЧИСЛІВНИК
Туровська, Людмила. Історичне термінознавство в Україні кінця XX початку XXI ст. / Л. Туровська. - С.67-79. - Библиогр. в конце ст.
Кл.слова: ІСТОРИЧНЕ ТЕРМІНОЗНАВСТВО, ПРОТОТЕРМІНИ, ТЕРМІНОСИСТЕМА
Овсейчик, Станіслава. Екологічний термін як одиниця галузевої терміносистеми / С. Овсейчик. - С.80-86. - Библиогр. в конце ст.
Кл.слова: ЕКОЛОГІЯ, ТЕРМІНОЛОГІЯ, ЕКОЛОГІЧНИЙ ТЕРМІН
Пашинська, Людмила. Напрями дослідження неофраземіки в сучасній лінгвістиці / Л. Пашинська. - С.87-96
Кл.слова: ФРАЗЕОЛОГІЯ, НЕОФРАЗЕОЛОГІЯ, НЕОЛОГІЗМИ
БОЙЧУК, Марія. Полілексемні неологізми у заголовках періодичних інтернет-видань / М. БОЙЧУК. - С.97-103. - Библиогр. в конце ст.
Кл.слова: ПОЛІЛЕКСЕМНІ НЕОЛОГІЗМИ , ЗАГОЛОВК, СЛОВОСПОЛУЧЕННЯ
Рак, Мацей. Рутеніка в зібраннях антропологічної комісії Польської Академії Мистецтв / М. Рак. - С.104-111. - Библиогр. в конце ст.
Кл.слова: РУТЕНІКА, ІСТОРІЯ НАРОДОЗНАВСТВА, ПОЛЬСЬКА АКАДЕМІЯ МИСТЕЦТВ
НАЄНКО, Галина. Адресантність наукових текстів середньоукраїнського періоду / Г. НАЄНКО. - С.112-128. - Библиогр. в конце ст.
Кл.слова: НАУКОВИЙ ТЕКСТ, АДРЕСАНТНІСТЬ, ДІАЛОГІЧНА МОДЕЛЬ
Лучик, Василь. Системне дослідження сучасної української псевдонімії : [рецензія] / В. Лучик. - С.129-135. - Библиогр. в конце ст.
Кл.слова: ОНОМАСТИКА, АНТРОПОНІМ, ПОЛІТИЧНА ПСЕВДОНІМІЯ
Степаненко, Микола. Науковий восьмигранник М. Я. Плющ : [рецензія] / М. Степаненко, С. Педченко. - С.136-140
Кл.слова: ЛІНГВІСТИКА ТЕКСТУ, ЛІНГВОДИДАКТИКА, ТЕОРЕТИЧНА ГРАМАТИКА
Клименко, Ніна. Земська Олена Андріївна / Н. Клименко. - С.141-143
Кл.слова: РОЗМОВНЕ МОВЛЕННЯ, РОСІЙСЬКА МОВА, СЛОВОТВОРЕННЯ
Є примірники у відділах: всього 2 : ГП ЧЗ (2)
Вільні: ГП ЧЗ (2)

Знайти схожі
Перейти до описів статей

16(075)
К 64

Конверський, А. Є.
Логіка (традиційна та сучасна) : підручник для студентів вищих навчальних закладів / А. Є. Конверський ; Міністерство освіти і науки України, Київський національний університет імені Тараса Шевченка. - 2-ге видання. - Київ : Центр учбової літератури, 2008. - 535 с. - ISBN 978-966-364-735-7 : 40.00 грн., 79.00 грн., 80.00 грн., 40.00 грн.

ДРНТІ	02.21
УДК	16(075)

Рубрики: Логіка--Підручники для вищих навчальних закладів

Кл.слова (ненормовані):
висловлювання -- предикатів -- класична -- некласична -- метод -- закони мислення -- мислення -- сучасна -- багатозначна -- модальна -- поняття -- судження -- умовивід -- аргументація -- алгебраїчна система -- система модальної логіки -- числення логіки висловлювань -- числення логіки предикатів
Анотація: У підручнику розкрито метод логіки, проаналізовано основні форми і закони мислення. Розглянуто передумови виникнення сучасноої логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій у межах логіки висловлювань і логіки предикатів. Вміщено досить ретельний опис витоків некласичної логіки, аналіз канонічних систем багатозначної логіки. На підставі логіко-філософського аналізу характеризуються підрозділи системи модальної логіки.
Дод.точки доступу:
Міністерство освіти і науки України
Київський національний університет імені Тараса Шевченка

Примірників всього: 166
Вул. Левка Лук'яненка, 13-Б (2),
Вул. Левка Лук'яненка, 13-Б Абонемент (44),
Бульвар І. Шамо, 18/2 (99),
Фаховий коледж «Універсум» (17),
Левка Лук'яненка, 13-Б. Філія 1 (4)
Вільні:
Вул. Левка Лук'яненка, 13-Б (2),
Вул. Левка Лук'яненка, 13-Б Абонемент (44),
Бульвар І. Шамо, 18/2 (99),
Фаховий коледж «Універсум» (17),
Левка Лук'яненка, 13-Б. Філія 1 (4)

Знайти схожі

16(075.8)
К 64

Конверский, А. Е.
Логика традиционная и современная : учебник / А. Е. Конверский. - Москва : Идея-Пресс, 2010. - 377 с. - ISBN 978-903927-07-4 : 103.00 грн.

ДРНТІ	02.21.11
УДК	16(075.8)

Рубрики: Логіка--традиційна логіка--Підручники для вищих навчальних закладів

Кл.слова (ненормовані):
судження -- модальна логіка -- формули логіки -- дидукція -- логіка предикатів

Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Книгосховище (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Книгосховище (1)

Знайти схожі

Шифр: П739395/2016/1
Журнал

Поліграфія і видавнича справа [Текст] : наук.-техн. зб./ Укр. акад. друкарства. - Львів, 1964 - . - ISSN 0554-4866. - Виходить двічі на рік
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 / ДОП
Знайти схожі
Перейти до описів статей

Косенко, Катерина.
Формально-синтаксичні кореляти предикатів кількості в українській мові [Текст] / К. Косенко // Українська мова. - Київ : Інститут української мови НАН України, 2012. - N 2. - С. 58-66. - Библиогр. в конце ст.

Кл.слова (ненормовані):
предикати кількості -- кореляція предикатів -- ЧИСЛІВНИК

Є примірники у відділах: всього 2 : ГП ЧЗ (2)
Вільні: ГП ЧЗ (2)

Знайти схожі

Теоретичні основи забезпечення якості видавничо-поліграфічних процесів (Частина 2. Синтез моделей пріоритетності дії факторів) [Текст] / В. М. Сеньківський [и др.] // Поліграфія і видавнича справа. - Львів, 2016. - N 1(71). - С. 20-29. - Библиогр. в конце ст.

Кл.слова (ненормовані):
процес -- фактор -- логіка предикатів
Дод.точки доступу:
Сеньківський, В. М.
Піх, І. В.
Кудряшова, А. В.
Литовченко, Н. М.

Є примірники у відділах:
ГП ЧЗ (29.08.2016р. Прим. 1 - ) (вільний)
Ф3 (13.09.2016р. Прим. 2 - Б.ц.) (вільний)

Знайти схожі

811.161.2’367
Ш 85

Шрамко, Руслана Григорівна.
Ізофункційні парадигми в системі предикатів стану в українській мові : монографія / Р. Г. Шрамко, М. І. Степаненко ; Міністерство освіти і науки України, Полтавський національний педагогічний університет імені В. Г. Короленка. - Полтава : ПП Астрая, 2017. - 284 с. - ISBN 978-966-97714-6-9 : 70.00 грн.

ДРНТІ	16
УДК	811.161.2’367

Рубрики: Українська мова--Синтаксис--Монографії

Кл.слова (ненормовані):
ізофункційні парадигми
Дод.точки доступу:
Степаненко, Микола Іванович
Міністерство освіти і науки України
Полтавський національний педагогічний університет імені В. Г. Короленка

Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)

Знайти схожі

Шифр: П312121815/2019/1
Журнал

Проблеми програмування [Текст] : науковий журнал/ Інститут програмних систем НАН України. - Київ : Інститут програмних систем НАН України, 1999 - . - ISSN 1727-4907. - Виходить кожного кварталу
2019р. № 1

Зміст:
Нікітченко, М. С. Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк. - С.3-13. - Бібліогр. в кінці ст.
Шкільняк, О. С. Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів / О. С. Шкільняк. - С.14-26. - Бібліогр. в кінці ст.
Дорошенко, А. Ю. Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу / А. Ю. Дорошенко, М. М. Бондаренко, О. А. Яценко. - С.27-36. - Бібліогр. в кінці ст.
Овдій, О. М. До питання автоматизації проектування робочих процесів на основі алгеброалгоритмічного та онтологічного інструментарію / О. М. Овдій. - С.37-47. - Бібліогр. в кінці ст.
Шевченко, Р. С. TermWare-3 – система переписування термів, заснована на контекстному численні / Р. С. Шевченко, А. Ю. Дорошенко. - С.48-56. - Бібліогр. в кінці ст.
Рогушина, Ю. В. Засоби та методи аналізу неструктурованих даних / Ю. В. Рогушина. - С.57-77. - Бібліогр. в кінці ст.
Яловець, А. Л. Методи розпізнавання агентом невідомого середовища / А. Л. Яловець. - С.78-89. - Бібліогр. в кінці ст.
Григорян, Р. Д. Симулятор механизмов срочной регуляции гемодинамики человека / Р. Д. Григорян, А. Г. Дегода, В. С. Харсун. - С.90-98. - Бібліогр. в кінці ст.
Перейти до зовнішнього ресурсу ПОВНИЙ ТЕКСТ
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі
Перейти до описів статей

10.

Нікітченко, М. С.
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 3-13. - Бібліогр. в кінці ст. . - ISSN 1727-4907

Кл.слова (ненормовані):
логіка -- предикат -- логічний наслідок -- секвенційне числення
Дод.точки доступу:
Шкільняк, О. С.
Шкільняк, С. С.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

11.

Шкільняк, О. С.
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів / О. С. Шкільняк // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 14-26. - Бібліогр. в кінці ст. . - ISSN 1727-4907

Кл.слова (ненормовані):
логіка -- алгебра -- недетермінований предикат -- 7-значний предикат

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

12.

Сеньківський, В. М.
Семантична мережа факторів формування видавничого портфелю [Текст] / В. М. Сеньківський, А. В. Кудряшова, Р. О. Козак // Поліграфія і видавнича справа : наук.-техн. зб. - 2018. - N 2(76). - С. 39-45. - Бібліогр. в кінці ст. . - ISSN 0554-4866

Кл.слова (ненормовані):
формування видавничого портфелю -- семантична мережа -- логіка предикатів -- предикатна формула -- фактор -- функціональний зв’язок -- якість -- книжкове видання
Дод.точки доступу:
Кудряшова, А. В.
Козак, Р. О.

Є примірники у відділах: всього 3 : ГП ЧЗ (2), Ф3 (1)
Вільні: ГП ЧЗ (2), Ф3 (1)

Знайти схожі

13.

Сеньківський, В. М.
Формалізоване подання зв’язків між факторами проектування післядрукарських процесів [Текст] / В. М. Сеньківський, А. В. Кудряшова // Поліграфія і видавнича справа : наук.-техн. зб. - 2019. - N 1. - С. 70-77. - Бібліогр. в кінці ст. . - ISSN 0554-4866

Кл.слова (ненормовані):
післядрукарський процес -- семантична мережа -- логіка предикатів -- предикатна формула -- фактор -- функціональний зв’язок -- якість -- книжкове видання
Дод.точки доступу:
Кудряшова, А. В.

Є примірники у відділах: всього 2 : ГП ЧЗ (1), Ф3 (1)
Вільні: ГП ЧЗ (1), Ф3 (1)

Знайти схожі

14.

Піх, І. В.
Моделі факторів формування якості процесу запису видання на носій [Текст] / І. В. Піх, В. М. Сеньківський, О. В. Литовченко // Поліграфія і видавнича справа : наук.-техн. зб. - 2019. - N 1. - С. 86-92. - Бібліогр. в кінці ст. . - ISSN 0554-4866

Кл.слова (ненормовані):
фактор -- якість запису видання на носій -- множина факторів -- семантична мережа -- мова предикатів -- матриця досяжності -- багаторівнева модель
Дод.точки доступу:
Сеньківський, В. М.
Литовченко, О. В.

Є примірники у відділах: всього 2 : ГП ЧЗ (1), Ф3 (1)
Вільні: ГП ЧЗ (1), Ф3 (1)

Знайти схожі

15.

Шифр: П312121815/2019/3
Журнал

Зміст:
Шкільняк, О. С. Відношення логістичного наслідку в логіках часткових предикатів з композицією предикатного доповнення / О. С. Шкільняк. - С.11-27. - Бібліогр. в кінці ст.
Шкільняк, С. С. / С. С. Шкільняк. - С.28-44. - Бібліогр. в кінці ст.
Сидоров, Н. А. Основы программирования в контексте инженерии программного обеспечения / Н. А. Сидоров. - С.45-57. - Бібліогр. в кінці ст.
Балабанов, О. С. Задачі та методи аналізу великих даних / О. С. Балабанов. - С.58-85. - Бібліогр. в кінці ст.
Резниченко, В. А. Что такое Big Data / В. А. Резниченко. - С.86-100. - Бібліогр. в кінці ст.
Захарова, О. Платформи великих даних. Основні задачі, властивості та переваги / О. Захарова. - С.101-115. - Бібліогр. в кінці ст.
Дорошенко, А. Ю. Програмна система аналізу хмарності за даними супутникових спостережень / А. Ю. Дорошенко, В. М. Шпиг, О. М. Овдій. - С.116-126. - Бібліогр. в кінці ст.
Перейти до зовнішнього ресурсу ПОВНИЙ ТЕКСТ
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі
Перейти до описів статей

16.

Шкільняк, О. С.
Відношення логістичного наслідку в логіках часткових предикатів з композицією предикатного доповнення / О. С. Шкільняк // Проблеми програмування : науковий журнал. - 2019. - № 3. - С. 11-27. - Бібліогр. в кінці ст. . - ISSN 1727-4907

Кл.слова (ненормовані):
логіка -- частковий предикат -- композиційна алгебра -- логістичний наслідок

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

17.

Тугай, О. М.
Модальність волевиявлення складного речення у синхронії [Текст] / О. М. Тугай // Studia Philologica = Філологічні студії : збірник наукових праць. - 2021. - Вип. 17. - С. 65-78. - Бібліогр. в кінці ст. . - ISSN 2311-2425

Кл.слова (ненормовані):
складне речення -- модальність волевиявлення -- суб’єктивна волітивна модальність -- об’єктивна пропозитивна модальність -- волюнтативний / оптативний модус -- пропозитивний диктум -- ранньоновоанглійська мова
Анотація: У пропонованій статті схарактеризовано модальність волевиявлення складного речення в історичному розвитку англійської мови у синхронії, а саме в ранньоновоанглійській мові. Модальність складного речення визначено як функціонально-семантичну категорію із відношенням змісту висловлення до дійсності з урахуванням предикативних ознак категорії часу та волітивної модальності як реалізації події або ситуації. Синтаксичну категорію модальності волевиявлення зафіксовано в парадигмі модусно-диктумних відношень з виділенням предикатів модусу для фіксації факту наявності мовленнєвої ситуації та вираження пропозиції адресанта. Комунікативне призначення модальності волевиявлення складного речення окреслено з погляду відношення мовця до пропозитивної або диктумної основи змісту висловлення. Виокремлено категорії суб’єктивної та об’єктивної модальностей у складному реченні вольової семантики ранньоновоанглійської мови. Суб’єктивну модальність визначено як волітивну у головній клаузі речення із розмежуванням на волюнтативну та оптативну модальності зі значеннями прояву волі наказу, команди, бажання, прохання, інтенції адресанта тощо. Об’єктивну модальність визначено як пропозитивну у підрядній фінітній або інфінітивній предикаційній клаузі як реалізації пропозиції висловлення. Окреслено модально-прагматичну перспективу складного речення з фінітною та інфінітивною предикацією дієслів волевиявлення. Встановлено, що суб’єктивна волітивна (волюнтативна та оптативна) модальність реалізується в модусній модально-прагматичній рамці, тоді як об’єктивна пропозитивна модальність експлікується в диктумній модально-прагматичній рамці досліджуваного речення. Проаналізовано реалізацію суб’єктивно-об’єктивних модальних відношень в ранньоновоанглійському складному реченні. Доведено, що волюнтативні модальні відношення виражаються в парадигмі «волюнтативний модус — пропозитивний диктум», тоді як оптативні модальні відношення актуалізуються в парадигмі «оптативний модус — пропозитивний диктум». Засвідчено реалізацію волюнтативної та оптативної модальностей прояву волевиявлення адресанта та модально-часову парадигму актуалізації ситуації в реченняхвисловленнях. Встановлено, що волюнтативна модальність визначає модальні відношення як «актуальні (потенційні) — реальні / реальні (ірреальні)» на позначення актуальної / потенційної реальної або нереальної здійсненої ситуації. Модальні відношення оптативної модальності окреслено як «актуальні (потенційні) — ірреальні (реальні) / ірреальні» на позначення актуальної / потенційної нереальної або реальної, але не можливої здійсненої ситуації. Модально-часову парадигму реалізації ситуації в складних реченнях зафіксовано в парадигмі «індикатив / імператив — суб’юнктив / інфінітив».

Є примірники у відділах: всього 5 : ГП ЧЗ (2), Ф1 (1), Ф2 (1), Ф3 (1)
Вільні: ГП ЧЗ (2), Ф1 (1), Ф2 (1), Ф3 (1)

Знайти схожі

18.

Лахно, Валерій Анатолійович.
Проектування бази знань для систем кібербезпеки на основі методу змістовної ідентифікації об'єктів / В. А. Лахно, Д. Ю. Касаткін, А. І. Блозва // Кібербезпека: освіта, наука, техніка : електронне наукове видання. - 2020. - N 8. - С. 135-148, DOI 10.28925/2663-4023.2020.8.135148. - Бібліогр. в кінці ст. . - ISSN 2663-4023

Кл.слова (ненормовані):
інформаційна безпека -- експертна система -- база знань -- силогізм -- логіка предикатів -- метод змістовної ідентифікації об’єктів
Анотація: У статті викладені результати досліджень, виконаних в процесі проектування експертної системи (ЕС), призначеної для визначеної для оцінки загроз інформаційної безпеки (ІБ) критично важливих об'єктів інформатизації (КВОІ). Запропоновано підхід до проектування експертної системи на основі силогізмів і логіки предикатів, а також методу змістовної ідентифікації об’єктів бази знань (БЗ). Суть методу полягає в тому, що кожному об'єкту БЗ проектованої ЕС, ставиться у відповідність кортеж ключових слів (КС), значимість яких визначається експертним шляхом. Таким чином, кожен об'єкт БЗ ставиться у відповідність елементу кінцевого нечіткого топологічного простору об'єктів БЗ. Змістовна ідентифікація проходить по відстані між об'єктами БЗ. Запропонований в роботі підхід, в порівнянні з рішеннями інших авторів, має низку переваг. А саме дозволяє: моделювати різноваріативні сценарії реалізації кіберзагроз для КВОІ і їх наслідки; визначати загальну картину ймовірності реалізації кіберзагрози для КВОІ; моделювати взаємодію всіх факторів ІБ і при необхідності візуалізувати цю взаємодію; розраховувати і в подальшому ранжувати значення ймовірностей кіберзагроз для КВОІ для конкретних сценаріїв реалізації загроз; автоматизувати за рахунок застосування розробленого ПО процеси моделювання загроз і значно скоротити час на аудит загроз. Показано, що використання методу змістовної ідентифікації, дозволяє підвищити адекватність моделей обраної предметної області, а також запобігти помилкове введення в ЗЕС однакових за змістом суджень експертів іцілей,зокрема при об'єднанні ієрархій цілей, сформованих різними експертними групами. Показано,що метод також може використовуватися для пошуку цілей ієрархії, точні формулювання яких, за ключовими словами, невідомі
Перейти до зовнішнього ресурсу https://csecurity.kubg.edu.ua

Дод.точки доступу:
Касаткін, Дмитро Юрійович
Блозва, Андрій Ігорович

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

19.

16(075.8)
Ж 79

Жоль, К. К.
Вступ до сучасної логіки / К. К. Жоль. - Київ : Либiдь, 2002. - 152 с. - ISBN 966-06-0241-3 : 15.00 грн.

ДРНТІ	02.21
УДК	16(075.8)

Рубрики: Логіка--Підручники для вищих навчальних закладів

Кл.слова (ненормовані):
прийняття рішень -- металогіка -- логіка висловлень -- пропозиційна логіка -- логіка предикатів -- логічні ідеї -- логічні системи -- кібернетика

Примірників всього: 1
Фаховий коледж «Універсум» (1)
Вільні:
Фаховий коледж «Універсум» (1)

Знайти схожі

20.

Шифр: П739395/2022/2
Журнал

Поліграфія і видавнича справа [Текст] : наук.-техн. зб./ Укр. акад. друкарства. - Львів, 1964 - . - ISSN 0554-4866. - Виходить двічі на рік
2022р. N 2

Зміст:
Сеньківський, В. М. Методологічні засади формування якості програмного забезпечення (Частина 1: Базова модель факторів якості) / В. М. Сеньківський, І. В. Піх, І. В. Калинів. - С.9-21. - Бібліогр. в кінці ст.
Кл.слова: інженерія програмного забезпечення, мова логіки предикатів, матриця досяжності
Грабовський, Є. М. Methodology for designing a mobile application for people with an active lifestyle / Є. М. Грабовський, П. Г. Коц. - С.22-35. - Бібліогр. в кінці ст.
Кл.слова: мобільний додаток, активний спосіб життя, методологія
Кудряшова, А. В. Роль онтології в оцінюванні компетентності експертів. Методика опрацювання експертних висновків щодо факторів впливу на якість післядрукарського опрацювання книжкових видань / А. В. Кудряшова, Р. А. Сельменський. - С.36-43. - Бібліогр. в кінці ст.
Кл.слова: онтологія, таксономія, експерт
Семенів, М. Р. Особливості опрацювання цифрових зображень для багатофарбового друку / М. Р. Семенів, В. В. Семенів. - С.44-53. - Бібліогр. в кінці ст.
Кл.слова: колірне охоплення, кольороподіл, програмний модуль
Дубневич, М. М. Доцільність застосування засобів корекції експозиції для формування оптимального тоновідтворення цифрового фото / М. М. Дубневич, Т. С. Голубник, Л. Я. Маїк. - С.54-66. - Бібліогр. в кінці ст.
Кл.слова: фотографія, діаграма, графічний редактор
Маїк, Л. Я. Аналіз процесів макетування і верстання тактильних видань для дітей з проблемами зору / Л. Я. Маїк, Н. Д. Лотошинська, Т. С. Голубник. - С.67-78. - Бібліогр. в кінці ст.
Кл.слова: макетування, верстання, рельєфне зображення
Морозов, А. С. Real properties of metalized printing coatings / А. С. Морозов, О. М. Гресь. - С.79-87. - Бібліогр. в кінці ст.
Кл.слова: поверхні матеріалів, металеві пігменти, фрактали
Регей, І. І. Комплексний аналіз функціонування механізмів привода натискної плити у штанцювальних пресах / І. І. Регей, В. В. Влах, О. Б. Книш. - С.88-98. - Бібліогр. в кінці ст.
Кл.слова: штанцювальний прес, картонна розгортка, розклинювальний механізм
Четербух, О. Ю. Порівняльна силова характеристика плоскоштанцювального преса / О. Ю. Четербух. - С.99-108. - Бібліогр. в кінці ст.
Кл.слова: приводний механвізм, порівняльна зарактеристика, закон періодичного руху
Коляно, Я. Ю. Дослідження кондуктивного нагрівання дво та тришарових поліграфічних матеріалів / Я. Ю. Коляно, В. М. Сеньківський, К. І. Мельник. - С.109-122. - Бібліогр. в кінці ст.
Кл.слова: теплова обробка, поліграфічна гулузь, математична модель
Михайлович, О. П. Роль візуальної комунікації у формуванні та розвитку бренду / О. П. Михайлович, Л. О. Івасенко, І. І. Капраль. - С.123-129. - Бібліогр. в кінці ст.
Кл.слова: візуальна комунікація, дизайн, індивідуальність бренду
Куца, О. О. Потенціал українського горору: стан ринку та стратегії видавничої комунікації / О. О. Куца, Г. Б. Листвак. - С.130-142. - Бібліогр. в кінці ст.
Кл.слова: видавнича комунікація, література жахів, видавничий репертуар
Копильчак, Х. С. Гендерні стереотипи в сучасному українському мальописі / Х. С. Копильчак. - С.143-150. - Бібліогр. в кінці ст.
Кл.слова: комікс, специфіка українського фемінізму, гендерні стереотипи
Є примірники у відділах: всього 2 : Ф3 (1), ГП ЧЗ (1)
Вільні: Ф3 (1), ГП ЧЗ (1)

Знайти схожі

1-20 21-21

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