Преподаватель кафедры математической кибернетики Института математики и информатики РАУ, доктор физико-математических наук, профессор, заслуженный педагог Армении Анаит Чубарян издала пособие учебное пособие "Лекции по предмету “Математическая логика”".

 

"В рамках исследований по созданию искусственного интеллекта очень важно научить его мыслить, рассуждать. Согласно одному из самых распространённых определений, логика есть анализ методов правильных рассуждений. Если в рамках рассуждений применяется определённый математический аппарат, то речь идёт о математической логике", - поделилась профессор.

 

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

 

"Составляющими частями изложенной в данном пособии теории являются: исчисление высказываний, исчисление предикатов и формальная арифметика, которая завершается знаменитой теоремой Гёделя о неполноте арифметики, а также комментариев, появившихся как разъяснения на задаваемые студентами, на первый взгляд, странные вопросы", - отметила Анаит Чубарян.

 

Пособие (см. на сайте РАУ по ссылке >>) содержит также тематические подборки задач и упражнений, которые могут быть использованы как для практических занятий, так и на письменных и устных экзаменах.