Курс математической логики для студентов вечерней магистратуры образовательных программ «Проектирование и разработка информационных систем» и «Разработка и администрирование систем управления базами данных».

Подразделение: кафедра «Компьютерные интеллектуальные технологии».

Форма обучения: очно-заочная.
Направление ВПО: 02.04.03 «Математическое обеспечение и администрирование информационных систем».

Магистерские образовательные программы «Проектирование и разработка информационных систем» и «Разработка и администрирование систем управления базами данных».
Курсы: 1-2.

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

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

Математическая логика для студентов V курса (магистратура)

Оптимизация баз данных Oracle - для магистров второго года обучения.