Основы математической логики и информатики

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