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