Seriously? IE? Go here and download normal browser.

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

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