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

Подразделение: Высшая инженерная школа.

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

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

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

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

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