История

Статья Обсуждение

Алгоритмическая разрешимость

24 мая 2021

Alex NB OT
исправление формата дат шаблона {{В планах}} по запросу
м
18:31
−20

24 января 2021

Amk1925
→‎Примеры неразрешимых теорий: Подзаголовок: ссылка на страницу Алгоритмически неразрешимая задача.
06:46
+79

27 сентября 2020

Pilot Ang
нет описания правки
00:24
+63

14 марта 2019

188.244.33.227
→‎См. также
05:31
+58

5 декабря 2018

АРГО-67
→‎История вопроса и предпосылки: удаление неактуального шаблона
11:41
−24

29 августа 2018

Кубаноид
→‎Преамбула: пунктуация
м
21:34
−1

22 марта 2017

AbiyoyoBot
подстановка дат в шаблоны (по месяцу ревизии), оформление, шаблоны
м
08:28
+76

23 января 2017

12 января 2017

178.76.229.74
→‎Связь разрешимости и полноты: исправлена оговорка, "разрешимы" вместо "рекурсивны".
16:00
−4

2 декабря 2014

19 октября 2014

46.251.64.150
→‎Связь разрешимости и полноты
00:05
−1

18 октября 2014

KrBot
подстановка даты в шаблон:Нет источника
м
00:01
+7

17 октября 2014

РоманСузи
поставил на основе сомнения на СО
17:19
+20

21 сентября 2014

РоманСузи
→‎Литература: оформление
16:48
+435

30 мая 2014

92.242.89.226
→‎Общие сведения
11:53
−3

18 мая 2014

Bezik
стандартизация преамбулы, уточнение ссылок, rq
м
08:31
−2

13 марта 2013

EmausBot
Перемещение 10 интервики-ссылок в Викиданные (d:Q430001)
м
21:43
−234

27 декабря 2012

83.149.48.93
→‎Примеры разрешимых теорий
17:04
−162

26 декабря 2012

10 октября 2012

95.65.126.199
→‎Связь разрешимости и полноты
11:33
−2

18 сентября 2012

9 июля 2012

13 октября 2011

94.228.203.142
→‎См. также: ссылка на статью о разрешимых множествах
11:08
+46

7 июля 2011

LaaknorBot
робот добавил: pt:Decidibilidade
м
02:01
+22

18 февраля 2011

VAP+VYK
→‎Полуразрешимость и автоматическое доказательство
16:40
−544

4 ноября 2010

A5b
ppПроблема разрешимостиъъ
м
00:39
+4

21 октября 2010

W2
→‎Полуразрешимость и автоматическое доказательство
м
13:04
−49

7 сентября 2010

6 мая 2010

VladimirReshetnikov
→‎См. также
17:10
+73

22 февраля 2010

Ptbotgourou
робот изменил: fr:Décidabilité
м
19:22
−20

17 января 2010

1 января 2010

21 июля 2009

AVB
← Откат правок Уинстон (обс) к версии AVB
м
14:00
−33

20 июля 2009

Уинстон
нет описания правки
23:48
+33

19 июля 2009

AVB
исправление ссылка
м
13:11
−33

19 мая 2009

WindBot
→‎Полуразрешимость и автоматическое доказательство: Bot: Простановка даты для запроса источника + clean up
м
14:49
+10

29 апреля 2009

Nickst
убрана категория «Теория вычислений» с помощью HotCat
м
10:17
−57

23 февраля 2009

Fractaler
→‎Связь разрешимости и полноты: викификация
м
15:18
+46

50 более старых

Источник — https://ru.wikipedia.org/wiki/Служебная:History/Алгоритмическая_разрешимость