Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Класична логіка

Класична логіка предикатів першого порядку

Документи:

• Алгебраический метод нахождения аппроксимаций приближенных множеств и формирование на их основе логических правил [Текст] / Д.Э. Ситников, О.С. Вильчинская, Н.С. Кравец // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.66-71.
• Математические модели знаний и их реализация с помощью алгебропредикатных структур [Текст] : [моногр.] / МОН Украины, Нац. техн. ун-т "Харьк. политех. ин-т", Макеев. зкон.-гуманит. ин-т. — Донецк : Дмитренко Л. Р., 2010. — 304 с.
• Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Нац. техн. ун-т "Харків. політехн. ін-т". — Харків, 2011. — 20 с.
• Моделі та інформаційні технології підтримки процесів вимірювання в системі управління якістю вищого навчального закладу [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2015. — 20 с.
• Поиск иерархических зависимостей между признаками элементов приближенных множеств [Текст] / Д.Э. Ситников, О.С. Вильчинская, Н.С. Кравец // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.21-27.
• Предикатні моделі, методи та технологія обробки процесних знань в інформаційних системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Нац. техн. ун-т "Харк. політехн. ін-т". — Харків, 2016. — 20 с.
• Предикатні моделі неявних зв'язків при процесному представленні знань [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 "Системи та засоби штучного інтелекту" / МОНМС України, Харків. нац. ун-т радіоелектроніки. — Харків, 2013. — 19 с.
• Предикатные модели неявных связей при процессном представлении знаний [Текст] : дис. ... канд. техн. наук : 05.13.23 "Системы и средства искусственного интеллекта" / МОНМС Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2013. — 145 с.