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