Алексеев В. Б. - Дискретная математика - Теорема Мура

0:00:10 1. Теорема Мура 0:06:08 2. Лемма 0:48:46 3. Теорема (Существует автомат с тремя состояниями, в котором каждая пара состояний отлична, но не существует эксперимента, который бы однозначно определял начальное значение автомата) 1:04:53 4. Схемный сумматор порядка N 1:08:35 5. Теорема (Существует схема функциональных элементов в стандартном базисе, которая является сумматором и имеет сложность)