Википедия

Алгоритмическая разрешимость: различия между версиями

Интерактивная навигация по истории
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
→‎Примеры неразрешимых теорий: Подзаголовок: ссылка на страницу Алгоритмически неразрешимая задача.
Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
м исправление формата дат шаблона {{В планах}} по запросу
Строка 16:
 
=== Примеры разрешимых теорий ===
{{В планах|дата=31 января 2017-01-31}} <!-- нужно перевести соотв. список из en-wiki -->
 
=== Примеры неразрешимых теорий ===
{{seealso|Алгоритмически неразрешимая задача}}
{{В планах|дата=31 января 2017-01-31}} <!-- нужно перевести соотв. список из en-wiki -->
 
== Полуразрешимость и автоматическое доказательство ==
Источник — https://ru.wikipedia.org/wiki/Алгоритмическая_разрешимость