Математическая логика и теория алгоритмов

Цели и задачи дисциплины
Цель дисциплины "Математическая логика и теория алгоритмов" – формирование у студентов представления о математической логики как универсальном языке науки, средстве моделирования явлений и процессов, а также применении для разработки вычислительной техники. Для достижения поставленной цели необходимо решить следующие задачи: - формирование первоначальных знаний об основах теории алгоритмов - формирование первоначальных знаний об элементах математической логики; - обучение рациональному использованию полученных знаний для решения типовых задач по математической логике и теории алгоритмов, а также для разработки вычислительной техники.
Краткое содержание дисциплины
В процессе освоения дисциплины студенты изучают: синтез логических схем, другие логики, предикаты и операции над ними, свойства операций квантификации, предикатные формулы, равносильность, нормальные формы, тождественноистинные формулы, аксиоматический способ в исчислении предикатов, теоремы о непротиворечивости и полноте системы аксиом в исчислении предикатов, понятие алгоритма, свойства алгоритмов.
Компетенции обучающегося, формируемые в результате освоения дисциплины
Выпускник должен обладать:
  • ПК-3 Способен анализировать требования к компонентам аппаратно-программных комплексов и программному обеспечению
You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.