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

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

Класична логіка

Підтеми:

• Класична пропозиційна логіка (числення висловлень)
• Класична логіка предикатів першого порядку

Документи:

• Методи та засоби формування баз онтологічних знань на підставі джерел табличних структур [Текст] / Харків. нац. ун-т радіоелектроніки. — Харків, 2006. — 19 с.
• Методы и средства формирования баз онтологических знаний на основе источников табличных структур [Текст] : дис. ... канд. техн. наук : 05.13.23 "Системы и средства искусственного интеллекта" / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2006. — 148 с.
• A simple numeric set-theoretical methjd of the logic differential calculus [Текст] = Простой числовой теоретико-множественный метод логического дифференциального исчисления / B.Y. Rytsar // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — P. 12-23.