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 року заморозив мету

Автор мети

Александра

Росія, Зеленоград

37 Рік / року / років

Загальна

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

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

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

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

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

 Особисті ресурси

Время

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

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

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

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

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

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

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

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

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

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

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

  12. Игры

  13. Коды

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

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

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

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

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

  • 846
  • 25 червня 2016, 17:50

Реєстрація

Можливості
безмежні.
Настав час
відкрити свої.

Уже зарегистрированы?
Вхід на сайт

Заходьте.
Відкрито.

Ще не зареєстровані?
 
Підключіться до будь-якого з ваших акаунтів, ваші дані будуть взяті з акаунту.
Забули пароль?