Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов

1. 00:00:19 Алгоритм 2. 00:14:48 Тезис Чёрча 3. 00:26:00 Разрешимые множества 4. 00:38:39 Примеры разрешимых множеств 5. 00:56:32 Перечислимые множества Ссылки плейлист:    • Математическая логика 2 - Яворская Татьяна...