Изменения

Перейти к: навигация, поиск

Производящие функции:Тикеты

713 байт убрано, 22:19, 9 марта 2019
Примеры неразрешимых задач
== 1 Производящие функции ==
# взяли [[Производящая функция]] 0,5## См. также добавить# взяли [[Арифметические действия с формальными степенными рядами]] 0.5## "(a0+a1s+a2s2+⋯+ak−1sk−1sk" забыта скобка# взяли [[Производящие функции нескольких переменных]] 0.5## Заменить дефис на тире, там где должно быть тире
# [[Разложение рациональной функции в ряд]]
# взяли [[Задача о счастливых билетах]] 0.5## Поправить тех# взяли [[Произведение Адамара рациональных производящих функций|Произведение Адамара]] 0.5## Поместить все цифры в тех (в заголовках)
# [[Интегрирование/дифференцирование производящих функций]]
# взяли [[Производящая функция Дирихле]] 3-8## Поправить тех## Интервики## Добавить, чем хороша функция Дирихле## Добавить примеров задач, которые решают функции Дирихле## "Attention! Можно привести доказательство теоремы об обратной функции для дзета-функции Римана" Сделать с этим что-то## Дописать конспект
== 2 Теория вычислимости ==
=== Разрешимые и перечислимые языки ===
# [[Разрешимые (рекурсивные) языки]]
# взяли [[Перечислимые языки]] 0.5
## добавить см также
# взяли [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]] 0.5
## поправить тех
# взяли [[Вычислимые функции]] 0.5
## добавить см также
# взяли [[Вычислимые числа]] 0.5
## поправить тех
# [[Универсальная функция]]
<ol>
<li value="14">[[Машина Тьюринга]] </li>
<li> взяли [[Лямбда-исчисление]] 0.5</li>
# Поправить тех
<li>взяли [[Примитивно рекурсивные функции]] 0.5 </li>
# Поправить тех
<li> [[Частично рекурсивные функции]] </li>
<li> взяли [[Стековые машины, эквивалентность двухстековой машины МТ]] 0.5 </li>
# Добавить см также
<li> взяли [[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]] 0.5 </li>
# Добавить см также
# поправить тех
<li> взяли [[Линейный клеточный автомат, эквивалентность МТ]] 0.5 </li>
# добавить см также
<li> взяли [[Возможность порождения формальной грамматикой произвольного перечислимого языка]] 0.5 </li>
# поправить тех
<li> [[Линейный ограниченный автомат]]</li>
<li> взяли [[Сверхтьюринговые вычисления (гипервычисления)]] 0.5</li>
# увеличить дроби
<li> взяли [[Тьюринг-полнота]] (4)</li>
# Провести аналогию с теоремой Геделя о неполноте
</ol>
<li> [[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]] </li>
<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>
<li> взяли [[Неразрешимость задачи об эквивалентности КС-грамматик]] 0.5</li>
# поправить тех
# добавить см также

Навигация