Курс по теоретической информатике. Вычислимость

Теоретическая информатика — раздел математики, связанный с логикой, алгоритмами, сложностью. Из этого курса вы узнаете про общую теорию вычислимости (что в принципе могут делать алгоритмы —- если отвлечься от практических ограничений, а что не могут)

1. О курсе

2. Вычислимость, разрешимость, перечислимость

3. Свойства перечислимых множеств, теорема Поста

4. Графики, проекции

5. Графики, проекции

6. Вычислимые действительные числа

7. Отступление- вычислимые функции и конструктивные рассуждения

Источник: www.youtube.com

Комментарии: