В. Б. Гисин Дисциплина по выбору «Математическая логика и теория алгоритмов» Настоящий спецкурс предлагается в качестве дисциплины по выбору для студентов, обучающихся по программа

Вид материалаПрограмма
Подобный материал:
Кафедра «Математика»

Ведущий лектор – зав.каф. В.Б. Гисин


Дисциплина по выбору

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


Настоящий спецкурс предлагается в качестве дисциплины по выбору для студентов, обучающихся по программам подготовки бакалавров (направления подготовки «Прикладная математика и информатика», «Прикладная информатика»). Изучив дисциплину, студент познакомится с основными понятиями и фактами математической логики и теории алгоритмов, необходимыми при разработке и анализе вычислительных алгоритмов и программ, баз и банков данных. Курс является основой для дальнейшего более глубокого изучения информатики.