- Цели и задачи дисциплины
- Основной целью изучения данной дисциплины является освоение фундаментальных знаний об информации и закономерностях ее использования, о логических устройствах для ее преобразования и хранения; освоение знаний о логических основах современной математики и умение применять полученные знания для решения практических задач. Задачами изучения курса являются: - формирование знаний и умений в области управления информацией; - фундаментальная подготовка по основам профессиональных знаний в области компьютерных наук; - формирование математической культуры, развитие способностей к логическому и алгоритмическому мышлению; - способность выделять главные смысловые аспекты в математических доказательствах. - приобретение навыков работы с информационными и логическими объектами.
- Краткое содержание дисциплины
- Понятие информации. Свойства информации. Измерение, кодирование и хранение информации. Логические основы компьютеров. Системы счисления. Информационные процессы и системы. Логика высказываний, логика предикатов. Понятие логического вывода в логике высказываний и логике предикатов. Строение математических теорем, схемы доказательств теорем, принцип дедукции. Значение математической логики для исследования математических теорий. Применение логики в в математической практике и системах искусственного интеллекта.
- Компетенции обучающегося, формируемые в результате освоения дисциплины
- Выпускник должен обладать:
- ОПК-1 Способен применять фундаментальные знания, полученные в области математических и (или) естественных наук, и использовать их в профессиональной деятельности
- Образование
- Учебный план 01.03.02, 2024, (4.0), Прикладная математика и информатика
- Основы математической логики и информатики