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

Цели и задачи дисциплины

Цель дисциплины «Математическая логика и теория алгоритмов» состоит в обеспечении студентов базовыми знаниями в области логики высказываний, логики предикатов и алгоритмической логики, а также в приобретении навыков использования математического аппарата для системного анализа проблем, решения практических задач, связанных с формализацией и алгоритмизацией процессов получения, переработки информации. В результате изучения дисциплины "Математическая логика и теория алгоритмов" студенты должны: - владеть и свободно оперировать терминологией алгебры логики, логики предикатов, теории алгоритмов, употреблять математическую символику для выражения количественных и качественных отношений объектов; - знать основы построения правильного логического вывода на основе схем формализации суждений на естественном языке; - получить углубленное представление о предикатах, как формальном средстве отображения математических утверждений и теорем; - иметь представление о современных достижениях темпоральных и модальных логик, перспективах их применения в информационных и технических системах различного назначения; - знать основы теории алгоритмов и получить практические навыки по выявлению алгоритмически неразрешимых, легко и трудно разрешимых проблем, оценки мер сложности алгоритмов; - усвоить принцип логического программирования, элементы алгоритмической логики, лежащие в основе проектирования программного обеспечения компьютерной техники.

Краткое содержание дисциплины

Учебный курс знакомит студентов с методологическими аспектами и математическим аппаратом современной информатики, лежащими в основе широкого спектра научно-технических и социально-экономических информационных технологий, которые реально используются современным мировым профессиональным сообществом в теоретических исследованиях и практической деятельности. В курсе дисциплины затрагиваются следующие вопросы. Понятие алгоритма и алгоритмической вычислимости. Машина Поста. Машина Тьюринга. Нормальные алгоритмы Маркова. Рекурсивные функции. Алгебра высказываний, операции и формулы. Исчисление высказываний. Формулы логики предикатов. Исчисление предикатов.

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ПК-3 Способен анализировать требования к компонентам аппаратно-программных комплексов и программному обеспечению