Теория вычислимости:Тикеты - История изменений

Maintenance script: rollbackEdits.php mass rollback

2022-09-04T16:38:32Z

rollbackEdits.php mass rollback

23.128.248.38 в 03:49, 1 сентября 2022

2022-09-01T03:49:05Z

Lapenok.aleksej: /* Примеры неразрешимых задач */

2018-06-02T21:36:06Z

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

Lapenok.aleksej: /* Вычислительные формализмы */

2018-06-02T21:28:57Z

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

Lapenok.aleksej: /* Разрешимые и перечислимые языки */

2018-06-02T21:16:46Z

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

Lapenok.aleksej: /* Разрешимые и перечислимые языки */

2018-06-02T21:16:31Z

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

Lapenok.aleksej: /* Вычислительные формализмы */

2017-05-19T19:38:32Z

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

Lapenok.aleksej: /* Примеры неразрешимых задач */

2017-05-19T19:24:27Z

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

Lapenok.aleksej: /* Вычислительные формализмы */

2017-05-19T19:04:39Z

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

Lapenok.aleksej: /* Примеры неразрешимых задач */

2017-05-17T20:38:34Z

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

← Предыдущая		Версия 16:38, 4 сентября 2022
Строка 1:		Строка 1:
−	~~{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"~~
−	\|+
−	~~\|-align="center"~~
−	~~\|'''НЕТ ВОЙНЕ'''~~
−	~~\|-style="font-size: 16px;"~~
−	\|
−	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
−
−	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
−
−	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
−
−	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
−
−	~~''Антивоенный комитет России''~~
−	~~\|-style="font-size: 16px;"~~
−	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
−	~~\|-style="font-size: 16px;"~~
−	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
−	\|}
−
	== 3. Теория вычислимости ==		== 3. Теория вычислимости ==
	=== Разрешимые и перечислимые языки ===		=== Разрешимые и перечислимые языки ===

← Предыдущая		Версия 03:49, 1 сентября 2022
Строка 1:		Строка 1:
		+	{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
		+	\|+
		+	\|-align="center"
		+	\|'''НЕТ ВОЙНЕ'''
		+	\|-style="font-size: 16px;"
		+	\|
		+	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
		+
		+	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
		+
		+	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
		+
		+	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
		+
		+	''Антивоенный комитет России''
		+	\|-style="font-size: 16px;"
		+	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
		+	\|-style="font-size: 16px;"
		+	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
		+	\|}
		+
	== 3. Теория вычислимости ==		== 3. Теория вычислимости ==
	=== Разрешимые и перечислимые языки ===		=== Разрешимые и перечислимые языки ===

@@ Строка 58: / Строка 58: @@
 <li> [[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]] </li>
 <li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>
-<li> [[Неразрешимость задачи об эквивалентности КС-грамматик]]</li>
+<li> [[Неразрешимость задачи об эквивалентности КС-грамматик]] 0.5</li>
-<li> [[Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик|Пустота пересечения КС-грамматик]] </li>
+# поправить тех
 <li> [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]] </li>
 <li> [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]] </li>

@@ Строка 32: / Строка 32: @@
 <ol>
 <li value="14">[[Машина Тьюринга]] </li>
-<li> [[Лямбда-исчисление]]</li>
+<li> [[Лямбда-исчисление]] 0.5</li>
-<li>[[Примитивно рекурсивные функции]] </li>
+# Поправить тех
 <li> [[Частично рекурсивные функции]]  </li>
-<li> [[Стековые машины, эквивалентность двухстековой машины МТ]] </li>
+<li> [[Стековые машины, эквивалентность двухстековой машины МТ]] 0.5 </li>
-<li> [[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]] </li>
+# Добавить см также
-<li> [[Линейный клеточный автомат, эквивалентность МТ]] </li>
+<li> [[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]] 0.5 </li>
-<li> [[Возможность порождения формальной грамматикой произвольного перечислимого языка]] </li>
+# Добавить см также
 <li> [[Линейный ограниченный автомат]]</li>
-<li> [[Сверхтьюринговые вычисления (гипервычисления)]]</li>
+<li> [[Сверхтьюринговые вычисления (гипервычисления)]] 0.5</li>
 <li> [[Тьюринг-полнота]] (4)</li>
 # Провести аналогию с теоремой Геделя о неполноте

@@ Строка 26: / Строка 26: @@
 # [[Busy beaver]] 0.5
 ## поправить псевдокод
-# [[Колмогоровская сложность]]
+# [[Колмогоровская сложность]] 0.5
 ## поправить всевдокод

@@ Строка 2: / Строка 2: @@
 === Разрешимые и перечислимые языки ===
 # [[Разрешимые (рекурсивные) языки]]
-# [[Перечислимые языки]]
+# [[Перечислимые языки]] 0.5
-# [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]]
+## добавить см также
-# [[Вычислимые функции]]
+# [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]] 0.5
-# [[Вычислимые числа]]
+## поправить тех
 #  [[Универсальная функция]]
-# [[Свойства перечислимых языков. Теорема Успенского-Райса]]
+# [[Свойства перечислимых языков. Теорема Успенского-Райса]] 0.5
 # [[Неотделимые множества]]
 # [[Иммунные и простые множества]]
-# [[Теорема о рекурсии]]
+# [[Теорема о рекурсии]] 0.5
-# [[Квайны]]
+## поправить псевдокод
-# [[Busy beaver]]
+## поправить тех
 # [[Колмогоровская сложность]]
 === Вычислительные формализмы ===

@@ Строка 36: / Строка 36: @@
 <li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>
 <li> [[Неразрешимость задачи об эквивалентности КС-грамматик]]</li>
 <li> [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]] </li>
 <li> [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]] </li>
@@ Строка 41: / Строка 42: @@
 <li> [[Неразрешимость проблемы существования решения диофантова уравнения в целых числах]] (10) </li>
 # дописать, чтобы было классно
 <li> [[Игра «Жизнь»]] </li>
 <li> [[Неразрешимость игры Braid]] </li>
 <li> [[Теорема Райса-Шапиро]] </li>
 </ol>