Институт компьютерных наук и технологий Высшая школа интеллектуальных систем и суперкомпьютерных технологий ООП: 02.03.03_01 Математическое обеспечение и администрирование информационных систем. Информационные системы и базы данных, 09.03.03_03 Прикладная информатика в области информационных ресурсов Курс: 4 курс, 7 семестр.
|
Учебная дисциплина «Математическая логика» относится к базовой части профессионального цикла общих математических и естественно-научных дисциплин учебного плана бакалавриата и ставит своей целью формирование у будущих бакалавров:
- фундаментальных знаний в области математической логики;
- навыков применения методов математической логики для дальнейшего применения их в практических задачах и информационных технологиях.

- Преподаватель: Пак Вадим