1

Этап 1

Разрешающие деревья

2

Этап 2

Схемы из функциональных элементов

3

Этап 3

Пропозициональная логика

4

Этап 4

Вычислимость

5

Этап 5

Программы и универсальные функции

6

Этап 6

Машины Тьюринга

7

Этап 7

Ассоциативные исчисления

8

Этап 8

Переборные задачи и их сложность

9

Этап 9

Ускорение перебора

10

Этап 10

Конечные автоматы

11

Этап 11

Контекстно-свободные языки

12

Этап 12

Игры

13

Этап 13

Коды

14

Этап 14

Коммуникационная сложность

15

Этап 15

Ликбез по арифметике: числа, остатки, алгоритм Евклида

16

Этап 16

Криптография

17

Этап 17

Интерактивные доказательства

18

Этап 18

Правила Хоара

1

Этап 1

Разрешающие деревья

2

Этап 2

Схемы из функциональных элементов

3

Этап 3

Пропозициональная логика

4

Этап 4

Вычислимость

5

Этап 5

Программы и универсальные функции

6

Этап 6

Машины Тьюринга

7

Этап 7

Ассоциативные исчисления

8

Этап 8

Переборные задачи и их сложность

9

Этап 9

Ускорение перебора

10

Этап 10

Конечные автоматы

11

Этап 11

Контекстно-свободные языки

12

Этап 12

Игры

13

Этап 13

Коды

14

Этап 14

Коммуникационная сложность

15

Этап 15

Ликбез по арифметике: числа, остатки, алгоритм Евклида

16

Этап 16

Криптография

17

Этап 17

Интерактивные доказательства

18

Этап 18

Правила Хоара

25 июня 2016 01 июня 2017
Цель просрочена на 2732 дня

Цель заморожена

Автор цели 29 июня 2016 года заморозил цель

Автор цели

Общая

Введение в теоретическую информатику.

Очень интересный курс. Но остается все время у меня на втором плане. Находится что-то нужнее.

https://stepic.org/course/Введение-в-теоретическую...

 Критерий завершения

Закончить курс )

 Личные ресурсы

Время

  1. Разрешающие деревья

  2. Схемы из функциональных элементов

  3. Пропозициональная логика

  4. Вычислимость

  5. Программы и универсальные функции

  6. Машины Тьюринга

  7. Ассоциативные исчисления

  8. Переборные задачи и их сложность

  9. Ускорение перебора

  10. Конечные автоматы

  11. Контекстно-свободные языки

  12. Игры

  13. Коды

  14. Коммуникационная сложность

  15. Ликбез по арифметике: числа, остатки, алгоритм Евклида

  16. Криптография

  17. Интерактивные доказательства

  18. Правила Хоара

  • 847
  • 25 июня 2016, 17:50
Регистрация

Регистрация

Уже зарегистрированы?
Быстрая регистрация через соцсети
Вход на сайт

Входите.
Открыто.

Еще не зарегистрированы?
 
Войти через соцсети
Забыли пароль?