Кудрявцев, Валерий Борисович (доктор физико-математических наук ; 1936—2021). Интеллектуальные системы [Text] : учебник и практикум для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. - 2-е изд., исправленное и дополненное. - Москва : Юрайт, 2020. - 164, [1] с. : ил. - (Высшее образование) (УМО ВО рекомендует). - ^aБиблиография: с. 156—160 (82 назв.). - ISBN 978-5-534-07779-7 (в переплете) : Б. ц.
ЭКСПЕРТНЫЕ СИСТЕМЫ РАСПОЗНАВАНИЕ ОБРАЗОВ БАЗЫ ДАННЫХ ЛОГИКА ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ЛОГИКА ПРЕДИКАТОВ Доп.точки доступа: Гасанов, Эльяр Эльдарович (доктор физико-математических наук); Подколзин, Александр Сергеевич (доктор физико-математических наук) Свободных экз. нет |
Задорожнюк, Мария Викторовна (кандидат физико-математических наук ; род. 1975). Математическая логика [Text] : учебно-методическое пособие / М. В. Задорожнюк, С. М. Евтухова ; Министерство образования Республики Беларусь, Учреждение образования "Гомельский государственный технический университет им. П. О. Сухого", Кафедра "Высшая математика". - Гомель : ГГТУ, 2022. - 81 с. : ил., табл. - ^aБиблиография: с. 81 (9 назв.). - ISBN 978-985-535-508-4 : Б. ц.
МНОЖЕСТВА (мат.) ОТНОШЕНИЯ (мат.) КОМБИНАТОРИКА ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ЛОГИЧЕСКИЕ ФУНКЦИИ БУЛЕВА АЛГЕБРА Доп.точки доступа: Евтухова, Светлана Михайловна (кандидат физико-математических наук) Свободных экз. нет |