Рабочая программа и аннотация
- МЛ_о.2016.pdf - для просмотра файла необходимо авторизоваться
Методические рекомендации -
Методические рекомендации.pdf
1. Цели и задачи изучения дисциплины Основной целью курса является развитие логического и алгоритмического мышления студентов, позволяющего повысить их способность к самоорганизации и самообразованию. Основными задачами изучения дисциплины «Математическая логика» являются: - овладение фундаментальными знаниями по математической логике и теории алгоритмов: целостное представление о науке и ее роли в развитии информационных и компьютерных технологий; владеть общими вопросами теории разработки алгоритмов; - приобретение навыков логического и алгоритмического мышления; - приобретение практических навыков по решению задач математической логики основам алгоритмизации и программирования. 2. Краткая характеристика учебной дисциплины Целью преподавания дисциплины «Математической логики» является изучение студентами основ математической логики, применяемой для решения прикладных инженерных задач, а также задач описания и проектирования цифровых устройств. Курс призван ознакомить студентов с элементами логики высказываний, логическими функциями, методами минимизации логических функций, приемами синтеза логических и переключательных и каскадных схем, основами теории алгоритмов. 3. Место дисциплины в структуре образовательной программы Дисциплина входит в базовую часть "Блок 1" образовательной программы бакалавриата, реализуется на 2-м году обучения с трудоемкостью освоения - 6.0 Зет. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки Предшествующая дисциплина: «Высшая математика», "Дискретная математика". Компетенции, сформированные в результате освоения содержания дисциплины необходимы для освоения последующих дисциплин: «Вычислительная математика», а также для подготовки выпускной квалификационной работы. 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины, у обучающихся должны быть сформированы следующие компетенции: ОК 7 - Способность к самоорганизации и самообразованию