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

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

Некласичні логіки

Підтеми:

• Модальні логіки
• Багатозначні логіки
• Індуктивна логіка
• Ймовірнісна логіка
• Імплікативні числення
• Інтуїціоністська логіка та суперінтуїціоністські логіки
• Формалізація традиційних логік. Силогістики

Документи:

• Вычисления на квантовых компьютерах на основе неклассической теории вероятностей [Текст] / Н.Н. Попов, В.И. Цурков // Известия РАН.Теория и системы управления  : научный журнал / РАН. Известия АН. — С. 65-79.
• Квантовые вычисления и неклассические марковские процессы [Текст] / В.Ю. Игнатьев, И.И. Мороз, Н.Н. Попов, В.И. Цурков // Известия РАН.Теория и системы управления  : научный журнал / РАН. Известия АН. — С. 50-55.
• Моделирование процессов оперативного управления противодействиям чрезвычайным ситуациям [Текст] / В.Я. Кондращенко, А.Л. Яловец // Электронное моделирование. — 2011. — С. 23-37.
• Нелинейная целочисленная транспортная задача с дополнительными пунктами производства и потребления [Текст] / А.С. Есенков, В.Ю. Леонов, А.П. Тизик, В.И. Цурков // Известия РАН.Теория и системы управления  : научный журнал / РАН. Известия АН. — С. 88-94.