- Преподаватель: Пак Вадим Геннадьевич
Skill Level: Beginner
Skill Level: Beginner
|
Институт компьютерных наук и кибербезопасности Высшая школа технологийй искусственного интеллекта ООП: 02.04.03_01 Математическое обеспечение и администрирование информационных систем. Разработка и математическое обеспечение интеллектуальных информационных систем Курс: 1 курс, 1 семестр |
Учебная дисциплина «Математическая логика» ставит своей целью формирование:
- Фундаментальных знаний в области автоматического доказательства теорем;
- Навыков применения методов математической логики в практических задачах информатики, программирования и искусственного интеллекта, в том числе автоматизации логического вывода и моделирования рассуждений.
- Преподаватель: Пак Вадим
- Преподаватель: Самойленко Евгения Сергеевна
Skill Level: Beginner
Skill Level: Beginner
