Обсуждение:Характеристика перечислимых множеств через вычислимые функции — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «Претензия по сути: отсутствует доказательство 3 <tex>\Rightarrow</tex> 2. По оформлению претензий мн...»)
 
 
(не показаны 4 промежуточные версии 2 участников)
Строка 7: Строка 7:
 
Во-вторых, в пункте «2 <tex>\Rightarrow</tex> 1» есть второе предложение, нуждающееся в переформулировке. <tex>p(x)|_{TL}</tex> — это не «запустить», это некоторый объект, как видно из следующего предложения. Короче, с этим надо что-то делать. И да, зачем вокруг тире по 3 пробела?
 
Во-вторых, в пункте «2 <tex>\Rightarrow</tex> 1» есть второе предложение, нуждающееся в переформулировке. <tex>p(x)|_{TL}</tex> — это не «запустить», это некоторый объект, как видно из следующего предложения. Короче, с этим надо что-то делать. И да, зачем вокруг тире по 3 пробела?
  
И список литературы выглядит криво — почему вместо тире два дефиса?
+
И список литературы выглядит криво — почему вместо тире два дефиса? [[Участник:Berezhkovskaya|Алёна]]
 +
 
 +
 
 +
Пожалуйста, если что-то исправляешь — отмечай здесь.
 +
Знаешь, стало не сильно лучше. Да, после двоеточия идет строчная буква, но вот после точки — прописная. Так что определение №4 верни как было.
 +
Теперь комментарии к <tex>p(x)|_{TL}</tex> вообще исчезли. Верни обратно пояснение, просто напиши его понятным языком.
 +
По прежнему нет доказательства 3 <tex>\Rightarrow</tex> 2. [[Участник:Berezhkovskaya|Алёна]]
 +
 
 +
 
 +
Доказательство 3 <tex>\Rightarrow</tex> 2 : 3 <tex>\Rightarrow</tex> 1 <tex>\Rightarrow</tex> 4 <tex>\Rightarrow</tex> 2. Разве нет? Остальное исправил.
 +
[[Участник:Roman Livarsky|Рома]]
 +
 
 +
 
 +
Изменил определение для <tex>p(x)|_{TL}</tex>.
 +
[[Участник:Roman Livarsky|Рома]]
 +
 
 +
 
 +
Ну наконец-то. Ладно, живи. [[Участник:Berezhkovskaya|Алёна]]

Текущая версия на 04:02, 20 декабря 2011

Претензия по сути: отсутствует доказательство 3 [math]\Rightarrow[/math] 2.

По оформлению претензий много. В определениях: во-первых, после двоеточия пишется строчная буква, даже на следующей строке. Во-вторых, перед причастным оборотом ставится запятая (первое определение). В-третьих, слова «вычислимая функция» лучше сделать ссылкой на соответствующую статью.

В доказательстве теоремы: во-первых, в псевдокоде не стоит после if писать then, тем более на следующей строке. Во-вторых, в пункте «2 [math]\Rightarrow[/math] 1» есть второе предложение, нуждающееся в переформулировке. [math]p(x)|_{TL}[/math] — это не «запустить», это некоторый объект, как видно из следующего предложения. Короче, с этим надо что-то делать. И да, зачем вокруг тире по 3 пробела?

И список литературы выглядит криво — почему вместо тире два дефиса? Алёна


Пожалуйста, если что-то исправляешь — отмечай здесь. Знаешь, стало не сильно лучше. Да, после двоеточия идет строчная буква, но вот после точки — прописная. Так что определение №4 верни как было. Теперь комментарии к [math]p(x)|_{TL}[/math] вообще исчезли. Верни обратно пояснение, просто напиши его понятным языком. По прежнему нет доказательства 3 [math]\Rightarrow[/math] 2. Алёна


Доказательство 3 [math]\Rightarrow[/math] 2 : 3 [math]\Rightarrow[/math] 1 [math]\Rightarrow[/math] 4 [math]\Rightarrow[/math] 2. Разве нет? Остальное исправил. Рома


Изменил определение для [math]p(x)|_{TL}[/math]. Рома


Ну наконец-то. Ладно, живи. Алёна