Институт компьютерных наук и технологий

Высшая школа интеллектуальных систем и суперкомпьютерных технологий

ООП: 02.03.03_01 Математическое обеспечение и администрирование информационных систем. Информационные системы и базы данных, 09.03.03_03 Прикладная информатика в области информационных ресурсов

Курс: 4 курс, 7 семестр. 

 

Учебная дисциплина «Математическая логика» относится к базовой части профессионального цикла общих математических и естественно-научных дисциплин учебного плана бакалавриата и ставит своей целью формирование у будущих бакалавров:

  • фундаментальных знаний в области математической логики;
  • навыков применения методов математической логики для дальнейшего применения их в практических задачах и информационных технологиях.