Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории,...
Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционирования и технология разработки экспертных систем,...
Исследована методика формирования математической компетентности в электронной среде.
Предназначена аспирантам, преподавателям и научным работникам, а также магистрантам направления 44.04.01...