Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

104 3. Требования к результатам освоения дисциплины: Процесс изучения дисциплины «Математическая логика и теория алгоритмов» направлен на формирование следующих компетенций: ОК: 1, ПК: 19, 20 (указываются в соответствии с ФГОС ВПО) 1. Владеет культурой мышления, способен к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения (ОК-1). 2. Использовать соответствующий математический аппарат и инструментальные средства для обработки, анализа и систематизации информации по теме исследования (ПК-19). 3. Готовить научно-технические отчеты, презентации, научные публикации по результатам выполненных исследований (ПК-20). В результате изучения дисциплины «Математическая логика и теория алгоритмов» студент должен: Знать: 1. концепции дисциплин: Дискретная математика, Математическая логика и теория алгоритмов, 2. основные законы теоретического исследования. Уметь: 1. использовать основные законы теоретического исследования; решать прикладные задачи по дисциплине «Математическая логика и теория алгоритмов», 2. разрабатывать и реализовывать процессы жизненного цикла информационных систем, программного обеспечения, сервисов систем информационных технологий, а также методы и механизмы оценки и анализа функционирования средств и систем информационных технологий, относящихся к дисциплине «Математическая логика и теория алгоритмов». Владеть: 1. современным математическим аппаратом; 2. вычислительными средствами; 3. базовыми математическими знаниями.