Обсуждение:Теорема о рекурсии - История изменений

Dgerasimov в 21:06, 12 декабря 2012

2012-12-12T21:06:09Z

Dgerasimov в 07:59, 5 декабря 2012

2012-12-05T07:59:03Z

Dgerasimov в 07:58, 5 декабря 2012

2012-12-05T07:58:57Z

Tsar: Комментарий мой

2012-01-24T18:30:06Z

Комментарий мой

Vincent в 01:29, 23 января 2012

2012-01-23T01:29:18Z

Berezhkovskaya: Новая страница: «Ладно, по сути претензий вроде нет, но вот оформление... Пожалуйста, расставь знаки препина...»

2012-01-20T15:23:16Z

Новая страница: «Ладно, по сути претензий вроде нет, но вот оформление... Пожалуйста, расставь знаки препина...»

Новая страница

Ладно, по сути претензий вроде нет, но вот оформление...
Пожалуйста, расставь знаки препинания в концах предложений (ты с завидной регулярностью теряешь там точки), запятые и замени минусы на тире.
Русский язык местами оставляет желать лучшего, но вот первое предложение доказательства второй формулировки меня убило.
"Так как <tex>U</tex> - универсальная, то найдется для любой вычислимой всюду определенной <tex>n</tex> найдется такая вычислимая всюду определенная <tex>num</tex>, что <tex>n=U_{num(n)}</tex>". Сам-то понял, что сказал? [[Участник:Berezhkovskaya|Алёна Бережковская]]

@@ Строка 2: / Строка 2: @@
 : {{tick}} дать ссылки на английские источники и термины
 : {{tick}} у меня такое ощущение, что эта версия программы, использующей свой код неправильно будет работать когда мы попытаемся что-нибудь экранировать. Надо либо показать, где мы экранируем, либо написать версию, которая была на паре (с символом $). Да, надо написать версию с $, чтобы показать, что getOtherSrc можно написать в любом месте программы, а не только в конце.
-: {{tick}} следующая теорема о рекурсии во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить и + у нее есть простое доказательство в Sipser'е, надо его добавить.
+: {{tick}} следующая теорема о рекурсии (которая на самом деле называется теоремой о неподвижной точке) во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить.
 --[[Участник:Dgerasimov|Дмитрий Герасимов]] 11:59, 5 декабря 2012 (GST)

@@ Строка 4: / Строка 4: @@
 : {{tick}} следующая теорема о рекурсии во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить и + у нее есть простое доказательство в Sipser'е, надо его добавить.
 : {{tick}} пока все, может еще что обнаружится
---[[Участник:Dgerasimov|Дмитрий Герасимов]] 11:58, 5 декабря 2012 (GST)
+--[[Участник:Dgerasimov|Дмитрий Герасимов]] 11:59, 5 декабря 2012 (GST)

@@ Строка 1: / Строка 1: @@
-Ладно, по сути претензий вроде нет, но вот оформление...
+: {{tick}} во-первых, теоремы именные, соответственно надо эти имена вписать (русские и английские)
-Пожалуйста, расставь знаки препинания в концах предложений (ты с завидной регулярностью теряешь там точки), запятые и замени минусы на тире.
+: {{tick}} дать ссылки на английские источники и термины
-Русский язык местами оставляет желать лучшего, но вот первое предложение доказательства второй формулировки меня убило.
+: {{tick}} у меня такое ощущение, что эта версия программы, использующей свой код неправильно будет работать когда мы попытаемся что-нибудь экранировать. Надо либо показать, где мы экранируем, либо написать версию, которая была на паре (с символом $). Да, надо написать версию с $, чтобы показать, что getOtherSrc можно написать в любом месте программы, а не только в конце.
-"Так как <tex>U</tex> - универсальная, то найдется для любой вычислимой всюду определенной <tex>n</tex> найдется такая вычислимая всюду определенная <tex>num</tex>, что <tex>n=U_{num(n)}</tex>". Сам-то понял, что сказал? [[Участник:Berezhkovskaya|Алёна Бережковская]]
+: {{tick}} следующая теорема о рекурсии во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить и + у нее есть простое доказательство в Sipser'е, надо его добавить.
+: {{tick}} пока все, может еще что обнаружится
-Просто война. [[Участник:Vincent|Владислав Кононов]]
+--[[Участник:Dgerasimov|Дмитрий Герасимов]] 11:58, 5 декабря 2012 (GST)

← Предыдущая		Версия 18:30, 24 января 2012
Строка 5:		Строка 5:

	Просто война. [[Участник:Vincent\|Владислав Кононов]]		Просто война. [[Участник:Vincent\|Владислав Кононов]]
		+
		+	Народ, финальная версия p(y) просто бред какой-то. Постараюсь потом написать как надо. Там getOtherSource() должна делать return "весь код кроме того, что внутри своего return, а на этом месте спецсимвол @". А getSrc() должен получить other source и заменить в нём спецсимвол на него же. [[Участник:Tsar\|Иоанн Волков]]

← Предыдущая		Версия 01:29, 23 января 2012
Строка 3:		Строка 3:
	Русский язык местами оставляет желать лучшего, но вот первое предложение доказательства второй формулировки меня убило.		Русский язык местами оставляет желать лучшего, но вот первое предложение доказательства второй формулировки меня убило.
	"Так как <tex>U</tex> - универсальная, то найдется для любой вычислимой всюду определенной <tex>n</tex> найдется такая вычислимая всюду определенная <tex>num</tex>, что <tex>n=U_{num(n)}</tex>". Сам-то понял, что сказал? [[Участник:Berezhkovskaya\|Алёна Бережковская]]		"Так как <tex>U</tex> - универсальная, то найдется для любой вычислимой всюду определенной <tex>n</tex> найдется такая вычислимая всюду определенная <tex>num</tex>, что <tex>n=U_{num(n)}</tex>". Сам-то понял, что сказал? [[Участник:Berezhkovskaya\|Алёна Бережковская]]
		+
		+	Просто война. [[Участник:Vincent\|Владислав Кононов]]