3622
правки
Изменения
→Примеры неразрешимых задач
=== Примеры неразрешимых задач ===
<ol>
<li value="20"> '''взяли''' [[m-сводимость]] (3) </li>
# Англоязычные термины правильно оформить
# Добавить примеры m-сведения задач
# Ссылку на ПСП оформить правильно
# Переменные и константы взять в Tex
<li> '''fixed''' [[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]] </li># Англоязычные термины правильно оформить# Заменить дефисы на тире# Заменить знаки неравенств# Все переменные и константы взять в Tex# Добавить примеров решения задач ПСП# Отфомартировать псевдокод# Добавить больше подзаголовков нижнего уровня# Больше интервики# Заменить источники на источники информации# Добавить категории, см. также<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] (0.5) </li>
# Источники информации
# Добавить см. также
# Англ. термины<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность Неразрешимость задачи об эквивалентности КС-грамматикиграмматик]]</li># Добавить см. также<li> '''!!!''' [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]] (6) </li>
# Оформить правильно англоязычные термины
# Написать более подробное и понятное доказательство
# Добавить категории
# Добавить см. также
<li> '''!!!''' [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]] (5) </li>
# Англоязычные термины оформить правильно
# Заменить дефисы на тире
# Добавить информацию по последнему замечанию из обсуждений
# Добавить см. также
<li> [[Неразрешимость исчисления предикатов первого порядка]] (0.5) </li>
# Добавить см. также
# Интервики на конспекты по математической логигике
# Заменить ссылки на источники информации
<li> '''!!!''' [[Неразрешимость проблемы существования решения диофантова уравления в целых числах]] (1) </li>
# написать. Тут все не написать, но хотелось бы какой-нибудь скетч доказательства с выделением основных технических моментов, примерами диофантовых множеств, всякими трюками, с ними связанными.
<li> '''!!!''' [[Теорема Райса-Шапиро]] (8) </li>
# Англоязычные термины
# Отформатировать псевдокоды
