Производящие функции:Тикеты — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Примеры неразрешимых задач)
 
(не показано 5 промежуточных версий этого же участника)
Строка 1: Строка 1:
 
== 1 Производящие функции ==
 
== 1 Производящие функции ==
# взяли [[Производящая функция]] 0,5
+
# [[Производящая функция]]  
## См. также добавить
+
# [[Арифметические действия с формальными степенными рядами]]  
# взяли [[Арифметические действия с формальными степенными рядами]] 0.5
+
# [[Производящие функции нескольких переменных]]  
## "(a0+a1s+a2s2+⋯+ak−1sk−1sk" забыта скобка
 
# взяли [[Производящие функции нескольких переменных]] 0.5
 
## Заменить дефис на тире, там где должно быть тире
 
 
# [[Разложение рациональной функции в ряд]]
 
# [[Разложение рациональной функции в ряд]]
# взяли [[Задача о счастливых билетах]] 0.5
+
# [[Задача о счастливых билетах]]  
## Поправить тех
+
# [[Произведение Адамара рациональных производящих функций|Произведение Адамара]]
# взяли [[Произведение Адамара рациональных производящих функций|Произведение Адамара]] 0.5
 
## Поместить все цифры в тех (в заголовках)
 
 
# [[Интегрирование/дифференцирование производящих функций]]
 
# [[Интегрирование/дифференцирование производящих функций]]
# взяли [[Производящая функция Дирихле]] 3-8
+
# [[Производящая функция Дирихле]]
## Поправить тех
+
 
## Интервики
+
== 2 Теория вычислимости ==
## Добавить, чем хороша функция Дирихле
+
===  Разрешимые и перечислимые языки ===
## Добавить примеров задач, которые решают функции Дирихле
+
# [[Разрешимые (рекурсивные) языки]]
## "Attention! Можно привести доказательство теоремы об обратной функции для дзета-функции Римана" Сделать с этим что-то
+
# взяли [[Перечислимые языки]] 0.5
## Дописать конспект
+
## добавить см также
 +
# взяли [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]] 0.5
 +
## поправить тех
 +
# взяли [[Вычислимые функции]] 0.5
 +
## добавить см также
 +
# взяли [[Вычислимые числа]] 0.5
 +
## поправить тех
 +
#  [[Универсальная функция]]
 +
# [[Свойства перечислимых языков. Теорема Успенского-Райса]] 0.5
 +
## поправить тех и псевдокод
 +
# [[Неотделимые множества]]
 +
## поправить тех
 +
## добавить см также
 +
# [[Иммунные и простые множества]]
 +
# [[Теорема о рекурсии]] 0.5
 +
## поправить псевдокод
 +
## поправить тех
 +
## сделать см также на проверяемые конспекты
 +
# [[Квайны]] 0.5
 +
## поправить псевдокод
 +
## добавить см также
 +
# [[Busy beaver]] 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>
 +
 
 +
=== Примеры неразрешимых задач ===
 +
<ol>
 +
<li value="24"> [[m-сводимость]] </li>
 +
<li> [[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]] </li>
 +
<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>
 +
<li> взяли [[Неразрешимость задачи об эквивалентности КС-грамматик]] 0.5</li>
 +
# поправить тех
 +
# добавить см также
 +
# добавить источники информации
 +
<li> [[Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик|Пустота пересечения КС-грамматик]] 0.5 </li>
 +
# поправить тех
 +
<li> [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]] </li>
 +
<li> [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]] </li>
 +
<li> [[Неразрешимость исчисления предикатов первого порядка]] </li>
 +
<li> [[Неразрешимость проблемы существования решения диофантова уравнения в целых числах]] (10) </li>
 +
# дописать, чтобы было классно
 +
<li> [[Неразрешимость задачи вывода типов в языке с зависимыми типами]] (3)</li>
 +
# <tex>\beta</tex>-эквивалентны в интервики
 +
# добавить пару примеров вывода типа в данной системе
 +
<li> [[Игра «Жизнь»]] </li>
 +
<li> [[Неразрешимость игры Braid]] </li>
 +
<li> [[Теорема Райса-Шапиро]] </li>
 +
</ol>

Текущая версия на 22:19, 9 марта 2019

1 Производящие функции

  1. Производящая функция
  2. Арифметические действия с формальными степенными рядами
  3. Производящие функции нескольких переменных
  4. Разложение рациональной функции в ряд
  5. Задача о счастливых билетах
  6. Произведение Адамара
  7. Интегрирование/дифференцирование производящих функций
  8. Производящая функция Дирихле

2 Теория вычислимости

Разрешимые и перечислимые языки

  1. Разрешимые (рекурсивные) языки
  2. взяли Перечислимые языки 0.5
    1. добавить см также
  3. взяли Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций 0.5
    1. поправить тех
  4. взяли Вычислимые функции 0.5
    1. добавить см также
  5. взяли Вычислимые числа 0.5
    1. поправить тех
  6. Универсальная функция
  7. Свойства перечислимых языков. Теорема Успенского-Райса 0.5
    1. поправить тех и псевдокод
  8. Неотделимые множества
    1. поправить тех
    2. добавить см также
  9. Иммунные и простые множества
  10. Теорема о рекурсии 0.5
    1. поправить псевдокод
    2. поправить тех
    3. сделать см также на проверяемые конспекты
  11. Квайны 0.5
    1. поправить псевдокод
    2. добавить см также
  12. Busy beaver 0.5
    1. поправить псевдокод
  13. Колмогоровская сложность 0.5
    1. поправить всевдокод

Вычислительные формализмы

  1. Машина Тьюринга
  2. взяли Лямбда-исчисление 0.5
    1. Поправить тех
  3. взяли Примитивно рекурсивные функции 0.5
    1. Поправить тех
  4. Частично рекурсивные функции
  5. взяли Стековые машины, эквивалентность двухстековой машины МТ 0.5
    1. Добавить см также
  6. взяли Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ 0.5
    1. Добавить см также
    2. поправить тех
  7. взяли Линейный клеточный автомат, эквивалентность МТ 0.5
    1. добавить см также
  8. взяли Возможность порождения формальной грамматикой произвольного перечислимого языка 0.5
    1. поправить тех
  9. Линейный ограниченный автомат
  10. взяли Сверхтьюринговые вычисления (гипервычисления) 0.5
    1. увеличить дроби
  11. взяли Тьюринг-полнота (4)
    1. Провести аналогию с теоремой Геделя о неполноте

Примеры неразрешимых задач

  1. m-сводимость
  2. Проблема соответствий Поста
  3. Однозначность КС-грамматики
  4. взяли Неразрешимость задачи об эквивалентности КС-грамматик 0.5
    1. поправить тех
    2. добавить см также
    3. добавить источники информации
  5. Пустота пересечения КС-грамматик 0.5
    1. поправить тех
  6. Задача о замощении полимино
  7. Задача о выводе в полусистеме Туэ
  8. Неразрешимость исчисления предикатов первого порядка
  9. Неразрешимость проблемы существования решения диофантова уравнения в целых числах (10)
    1. дописать, чтобы было классно
  10. Неразрешимость задачи вывода типов в языке с зависимыми типами (3)
    1. [math]\beta[/math]-эквивалентны в интервики
    2. добавить пару примеров вывода типа в данной системе
  11. Игра «Жизнь»
  12. Неразрешимость игры Braid
  13. Теорема Райса-Шапиро