1) автор/составитель: лектор курса В.И. Иордан, практические занятия по курсу В.И. ЯИордан;
2) уровень образования: бакалавриат;
3) шифр и наименование направления/специальности подготовки: 09.03.01 – информатика и вычислительная техника, 10.03.01 – Информационная безопасность;
4) форма обучения: очная;
5) факультет, курс, семестр: ФТФ, 1 курс, 2 семестр.
Цель изучения дисциплины – формирование у будущих специалистов теоретических знаний и практических навыков по применению основ математической логики и теории алгоритмов для решения широкого спектра задач в различных областях с использованием современных персональных компьютеров и программных средств, а именно: ознакомить студентов с основами теории алгоритмов и математической логики; привить навыки решения задач математической логики, разработки алгоритмов и оценки их сложности; изложить основные разделы математической логики и теории алгоритмов.
Основными задачами изучения дисциплины «Математическая логика и теория алгоритмов» являются:
- овладение фундаментальными знаниями по математической логике и теории алгоритмов: целостное представление о науке и ее роли в развитии информационных и компьютерных технологий; владеть общими вопросами теории разработки алгоритмов;
- приобретение навыков логического и алгоритмического мышления;
- приобретение практических навыков по решению задач математической логики основам алгоритмизации и программирования.
- Преподаватель: Шмаков Игорь