Многотомник

Кононюк, Анатолий Ефимович.
Истины и информация. (Фундаментальная теория представления истин и информации) [Электронный ресурс] : в 16 кн. / А. Е. Кононюк. – Киев : Освіта України, 2016. – (Парадигма развития науки)
ISBN 978-966-373-693-3.
Електронний ресурс
ЭР

Кн. 1 : Представление истин . – Электрон. кн. – 2016. – 570 с. : рис., сх., портр.
На тит. экране загл. сер.: Парадигма развития науки . – Загл. с тит. экрана . – Электрон. версия печ. публ.
ISBN 978-966-373-694-4.

Многотомная работа посвящена систематическому изложению общих формализмов, математических моделей и алгоритмических методов, которые могут быть используемых при моделировании и исследованиях математических моделей истин и информации. Развиваются представления и методы решения, основанные на теориях эвристического поиска и автоматическом доказательстве теорем, а также процедуральные методы, базирующиеся на классе проблемно-ориентированных языков, сочетающих свойства языков программирования и автоматических решателей задач отображения истин и информации различными математическими средствами. В работе излагаются основы теории отображения истин и информации такими математическими дисциплинами как: множества, отношения, поверхности, пространства, алгебраические системы, матрицы, графы, математическая логика и др. Для бакалавров, специалистов, магистров, аспирантов, докторантов всех специальностей.

ББК Ю421
ББК Ю413

Предметні рубрики = Логика : логические формы и законы : термин, имя, понятие
Предметні рубрики = Електронний ресурс
Предметні рубрики = Логика : логический синтаксис и семантика, семиотика : семантические определители истины, формализация понятия истины

ОФ - 1 экз.