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

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

Дисциплина «Математическая логика и теория алгоритмов» обеспечивает приоб-ретение знаний и умений в соответствии с ФГОС ВПО, содействует формирова-нию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория алгоритмов» является подготовка специалистов к деятельности в сфере разработки, исследования и эксплуатации информационных систем. Задачи изучения дисциплины: 1) Познакомить с методами формально-логического решения задач; 2) Познакомить с различными моделями и системами представления и ис-пользования знаний; 3) Сформировать компетенции применения в практической деятельности различных подходов к формализации и решению задач формально-логическими и алгоритмическими методами.

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

Предметом дисциплины являются Формально-логические операции, булевы алгебры, машина Тьюринга, нормальные алгоритмы, рекурсивные алгоритмы, предикаты и операции с ними, алгебры высказываний

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

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

ПК-1 Способен проводить анализ предметной области и формулировать требования к разработке программного обеспечения для решения задач профессиональной деятельности, применять современные методы и средства проектирования программного обеспечения с учетом архитектуры вычислительных систем (включая многопроцессорные вычислительные системы), использовать инструментальные и вычислительные средства при разработке алгоритмических и программных решений