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

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 14: Строка 14:
 
Теперь комментарии к <tex>p(x)|_{TL}</tex> вообще исчезли. Верни обратно пояснение, просто напиши его понятным языком.
 
Теперь комментарии к <tex>p(x)|_{TL}</tex> вообще исчезли. Верни обратно пояснение, просто напиши его понятным языком.
 
По прежнему нет доказательства 3 <tex>\Rightarrow</tex> 2. [[Участник:Berezhkovskaya|Алёна]]
 
По прежнему нет доказательства 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|Рома]]

Версия 05:53, 19 декабря 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. Разве нет? Остальное исправил. Рома